Abstract
Discrete-event systems are driven by events and generate events. To describe their evolution, the dater approach associate to each event a sequence of dates, namely a dater, corresponding to the dates at which the event occurs.
In this paper, we show that for a large class of discrete-event systems, the dater approach makes it possible to cast the characterization of the set of all parameters that are consistent with some collected dater, in a bounded-error context, into a set-inversion framework. Set inversion consists of characterizing the reciprocal image of a given set by a known function. Provided that an inclusion function is known for the function to be inverted, the characterization can be performed by the interval-based algorithm SIVIA. A short presentation of this algorithm is recalled in this paper. The approach is illustrated through three examples.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Baccelli, F., Cohen, G., Olsder, G. J., and Quadrat, J. P.: Synchronization and Linearity. An Algebra for Discrete Event Systems, John Wiley & Sons, New York, 1992.
Boimond, J. L., Hardouin, L., and Chiron, P.: A Modeling Method of Siso Discrete Event Systems in Max-Algebra, in: ECC'95, Roma, 1995, pp. 2023–2027.
Braker, J. G.: Algorithms and Applications in Timed Discrete Event Systems, PhD thesis, Department of Technical Mathematics and Informatics, Delft University of Technology, the Netherlands, 1993.
Cassandras, C. G., Lafortune, S., and Olsder, G. J.: Introduction to the Modelling, Control and Optimization of Discrete Event Systems, in: Isidori, A. (ed.), Trends in Control: A European Perspective, 1995.
Dicesare, F., Harhalakis, G., Proth, J. M., Silva, M., and Vernadat, F. B.: Practice of Petri Nets in Manufacturing, Chapman & Hall, 1993.
Hansen, E.: Global Optimization Using Interval Analysis, Marcel Dekker, New York, 1992.
Hillion, H. P. and Proth, J. M.: Performance Evaluation of Job-Shop Systems Using Timed-Event Graph, IEEE Transactions on Automatic Control 34 (1989), pp. 3–9.
Jaulin, L. and Walter, E.: Set Inversion via Interval Analysis, Automatica 29(4) (1993), pp. 1053–1064.
Moore, R. E.: Methods and Applications of Interval Analysis, SIAM, Philadelphia, 1979.
Moore, R. E.: Parameter Set for Bounded-Error Data, Math. Comput. Simulation 34 (1992), pp. 113–119.
Murata, T.: Petri Nets: Properties, Analysis and Applications, in: Proceedings of the IEEE 77(4) (1989), pp. 541–579.
Silva, M. and Valette, R.: Petri Nets and Flexible Manufacturing, in: Advances in PN'89, (Lecture Notes in Comp. Science 84), Springer-Verlag, Berlin, 1990.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Jaulin, L., Boimond, JL. & Hardouin, L. Estimation of Discrete-Event Systems Using Interval Computation. Reliable Computing 5, 165–173 (1999). https://doi.org/10.1023/A:1009957622907
Issue Date:
DOI: https://doi.org/10.1023/A:1009957622907