Computation of supremal sublanguages of supervisory control using coalgebra

Proceedings - 6th International Workshop on Discrete Event Systems, WODES 2002

Volumn , Issue , 2002, Pages 26-33

  Komenda, J ^a  

^a CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

BISIMULATIONS; COALGEBRAIC; COALGEBRAS; PARTIAL OBSERVATION; SUBLANGUAGES; SUPERVISORY CONTROL;

DISCRETE EVENT SIMULATION;

EID: 84936746636     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WODES.2002.1167665     Document Type: Conference Paper

References (10)

1. R.Cieslak, C. Desclaux, A. Fawaz, and P. Varayia. Supervisory Control of a Class of Discrete Event Processes. IEEE Trans. Automatic Control, 33:249-260, 1988.
2. S.G. Cassandras and S. Lafortune: Introduction to Discrete Event Systems, Kluwer Academic Publishers, Dordrecht 1999.
3. H. Cho and S. I. Marcus. On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observations. Mathematics of Control, Signal, and Systems, 2:47-69, 1989.
4. H. Cho and S. I. Marcus. Supremal and Maximal Sublanguages Arising in Supervisor Synthesis Problems with Partial Observations. Math. Systems Theory, 22:171-211, 1989.
5. J. Komenda. Coalgebra and supervisory control of discreteevent systems with partial observations. To appear in Proceedings of MTNS 2002, Notre Dame (IN), August 2002.
6. J.J.M.M. Rutten. Coalgebra, Concurrency, and Control. Research Report CWI, SEN-R9921, Amsterdam, November 1999.
7. J.J.M.M. Rutten. Universal coalgebra: A theory of systems. Theoretical Computer Science 249(1):3-80, 2000.
8. P.J. Ramadge and W.M. Wonham. The control of discrete event systems. Proc. IEEE, 77:81-98, 1989.
9. J.N. Tsitsiklis. On the control of discrete-event dynamical systems. Mathematics of Control, Signal, and Systems, 95-107, 1989.
10. W.M. Wonham and P.J. Ramadge. On the supremal controllable sublanguage of a given language, SIAM J. Control Optim., 25:637-659, 1987.