Abstract
Discrete event systems have inputs and outputs that take on logical or symbolic values, and states that change due to events which are also described symbolically. Such descriptions occur in several situations, including communication networks, manufacturing, and computer-based control. Formally, their behavior is given in terms of sequences of events that unfold in logical time. Mathematical models of such behavior are finite descriptions of these sequences. We review one approach to the construction of such models.
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.
References
D. Anderson, “Automated Protocol Implementation with RTAG,” IEEE Transactions on Software Engineering, SE-14(3):291–300, March 1988.
S. Aggarwal, D. Barbara and K.Z. Meth, “A software environment for the specification and analysis of problems of coordination and concurrency,” IEEE Softw. Engg., SE-14(3):280–290, March 1988.
Y.C. Ho (ed), Proceedings of the IEEE, January 1989, Special issue on discrete event dynamical systems.
C.A.R. Hoare, Communicating sequential processes, Prentice-Hall International, U.K. Ltd., 1985.
K. Inan, “Asynchronous dynamical systems, Parts 1, 2,” ERL Memos, Univ. of California, Berkeley, May–June 1989.
K. Inan and P. Varaiya, “Finitely recursive process models for discrete event systems,” IEEE Transactions on Automatic Control, vol AC-33(7), pp. 626–639, July 1988.
A.B. Kurzhanski and P. Varaiya (eds), Discrete event systems: Models and applications, Lecture Notes in Control and Information Sciences, Vol 106, Springer, 1988.
Z. Manna and P. Wolper, “Synthesis of communicating processes from temporal logic specifications,” ACM Trans. Progr. Lang. Syst., Jan. 1984, 68–93.
R. Milner, Calculus of communicating systems, Springer, 1980.
T. Murata, “Petri Nets: Properties, analysis and applications,” Proceedings of the IEEE, vol 77(4), pp. 541–580, April 1989.
P.J. Ramadge and W.M. Wonham, “On the supremal controllable sublanguage of a given language,” SIAM J. Contr. Optim., Vol 25(3), May 1987.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 Birkhäuser Boston
About this chapter
Cite this chapter
Varaiya, P. (1990). Process Models for Discrete Event Systems. In: Kaashoek, M.A., van Schuppen, J.H., Ran, A.C.M. (eds) Realization and Modelling in System Theory. Progress in Systems and Control Theory, vol 3. Birkhäuser Boston. https://doi.org/10.1007/978-1-4612-3462-3_3
Download citation
DOI: https://doi.org/10.1007/978-1-4612-3462-3_3
Publisher Name: Birkhäuser Boston
Print ISBN: 978-1-4612-8033-0
Online ISBN: 978-1-4612-3462-3
eBook Packages: Springer Book Archive