Investigating Discrete Controllability with Kleene Algebra
A Discrete Event System (DES) is a dynamic system whose evolution is governed by the instantaneous occurrence of physical events. DES arise in many areas such as robotics, manufacturing, communication networks, and transportation. They are often modelled by languages or automata over an alphabet of symbols denoting the events. In 1987, Ramadge and Wonham initiated a very successful approach to the control of DES [10, 13], which was subsequently extended by themselves and others. Textbooks or course notes on the subject include [1, 7, 12].
KeywordsComplete Lattice Relation Algebra Path Algebra Discrete Event System Supervise Behaviour
Unable to display preview. Download preview PDF.
- 8.Möller, B.: Derivation of graph and pointer algorithms. In: Möller, B., Schuman, S., Partsch, H. (eds.) Formal Program Development. LNCS, vol. 755, pp. 123–160. Springer, Heidelberg (1993)Google Scholar
- 9.Möller, B.: Residuals and detachment. Personal communication (2001)Google Scholar
- 12.Wonham, W.M.: Notes on control of discrete event systems. Systems Control Group, Edward S. Rogers Sr. Dept. of Electrical & Computer Engineering, University of Toronto, pp. xiv+356 (2002), Available at http://www.control.utoronto.ca/people/profs/wonham/wonham.html
- 14.Young, S.D., Garg, V.K.: Optimal sensor and actuator choices for discrete event systems. In: 31st Allerton Conf. on Communication, Control, and Computing, Allerton, IL (1993)Google Scholar