Abstract
From this point on we will concentrate on timed models of DES. This means that the sample paths we consider can no longer be specified as event sequences {e 1, e 2,...} or state sequences {x 0, x 1,...}, but they must include some form of timing information. For example, let, t k , k = 1, 2,..., denote the time instant when the kth state transition occurs (with to given); then a timed sample path of a DES may be described by the sequence {(x 0, t 0), (x 1, t 1),...}. Creating a framework for timed DES models will enable us to address questions such as “how many events of a particular type can occur in a given time interval?”, or “how long does the system spend in a given state?” These issues are of critical importance in analyzing the behavior of DES such as computer systems and communication networks, since they provide us with particularly useful measures of system performance.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Selected References
Timed Automata and Timed Petri Nets
Alur, R., and D.L. Dill, “A Theory of Timed Automata,” Theoretical Computer Science, No. 126, pp. 183–235, 1994.
Brandin, B., and W.M. Wonham, “Supervisory Control of Timed Discrete-Event Systems,” IEEE Transactions on Automatic Control, Vol. 39, No. 2, pp. 329–342, February 1994.
David, R., and H. Alla, Petri Nets and Grafcet: Tools for Modelling Discrete Event Systems, Prentice-Hall, New York, 1992.
Murata, T., “Petri Nets: Properties, Analysis and Applications,” Proceedings of the IEEE, Vol. 77, 4, pp. 541–580, 1989.
Ostroff, J.S., Temporal Logic for Real-Time Systems, Research Studies Press and John Wiley & Sons, New York, 1989.
Max-Plus Algebra
Baccelli, F., G. Cohen, G.J. Olsder, and J.P. Quadrat, Synchronization and Linearity, Wiley, 1992.
Cohen, G., P. Moller, J.P. Quadrat, and M. Viot, “Algebraic Tools for the Performance Evaluation of Discrete Event Systems,” Proceedings of the IEEE, Vol. 77, 1, pp. 39–58, 1989.
Cunningham-Greene, R.A., Minimax Algebra, Springer-Verlag, Berlin, 1979.
Miscellaneous
Benveniste, A., and P. Le Guernic, “Hybrid Dynamical Systems Theory and the SIGNAL Language,” IEEE Transactions on Automatic Control, Vol. 35, No. 5, pp. 535–546, May 1990.
Holloway, L.E., B.H. Krogh, and A. Giva, “A Survey of Petri Net Methods for Controlled Discrete Event Systems,” Journal of Discrete Event Dynamic Systems: Theory and Applications, Vol. 7, No. 2, pp. 151–190, April 1997.
Levi, S.-T., and A.K. Agrawala, Real-Time System Design, McGraw-Hill, New York, 1990.
Manna, Z., and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems: Specification, Springer-Verlag, New York, 1992.
Manna, Z., and A. Pnueli, Temporal Verification of Reactive Systems: Safety, Springer-Verlag, New York, 1995.
Ostroff, J.S., “Formal Methods for the Specification and Design of Real-Time Safety-Critical Systems,” Journal of Systems and Software, Vol. 18, pp. 33–60, April 1992.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media New York
About this chapter
Cite this chapter
Cassandras, C.G., Lafortune, S. (1999). Timed Models. In: Introduction to Discrete Event Systems. The Kluwer International Series on Discrete Event Dynamic Systems, vol 11. Springer, Boston, MA. https://doi.org/10.1007/978-1-4757-4070-7_5
Download citation
DOI: https://doi.org/10.1007/978-1-4757-4070-7_5
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-4072-1
Online ISBN: 978-1-4757-4070-7
eBook Packages: Springer Book Archive