Process Models for Discrete Event Systems
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.
KeywordsFinite State Machine Discrete Event System Communication Sequential Process Recursive Process Process Space
Unable to display preview. Download preview PDF.
- Y.C. Ho (ed), Proceedings of the IEEE, January 1989, Special issue on discrete event dynamical systems.Google Scholar
- C.A.R. Hoare, Communicating sequential processes, Prentice-Hall International, U.K. Ltd., 1985.Google Scholar
- K. Inan, “Asynchronous dynamical systems, Parts 1, 2,” ERL Memos, Univ. of California, Berkeley, May–June 1989.Google Scholar
- A.B. Kurzhanski and P. Varaiya (eds), Discrete event systems: Models and applications, Lecture Notes in Control and Information Sciences, Vol 106, Springer, 1988.Google Scholar
- Z. Manna and P. Wolper, “Synthesis of communicating processes from temporal logic specifications,” ACM Trans. Progr. Lang. Syst., Jan. 1984, 68–93.Google Scholar
- R. Milner, Calculus of communicating systems, Springer, 1980.Google Scholar
- 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.Google Scholar