Supremal normal sublanguages of large distributed discrete-event systems

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 37, Issue 18, 2004, Pages 75-80

  Komenda, Jan ^a   Van Schuppen, Jan H ^b  

^a INSTITUTE OF MATHEMATICS   (Czech Republic)

^b CWI   (Netherlands)

Author keywords

Co algebra; Coinduction; Modular discrete event systems; Supremal normal sublanguages

Indexed keywords

DISTRIBUTED DATABASE SYSTEMS;

COALGEBRAIC; COALGEBRAS; COINDUCTION; COMPLEX DISTRIBUTED SYSTEM; MODULAR SUPERVISORY CONTROL; NEW RESULTS; SUBLANGUAGES; SYNCHRONOUS PRODUCTS;

DISCRETE EVENT SIMULATION;

EID: 33749625420     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1016/S1474-6670(17)30725-5     Document Type: Conference Paper

References (14)

1. Cassandras, S.G. and Lafortune, S. (1999). Introduction to Discrete Event Systems, Kluwer Academic Publishers, Dordrecht 1999.
2. Cho, H. and Marcus, S. I. (1989). Supremal and Maximal Sublanguages Arising in Supervisor Synthesis Problems with Partial Observations. Math. Systems Theory. 22, 171-211, 1989.
3. Komenda, J. (2002). Computation of Supremal Sublanguages of Supervisory Control Using Coalgebra. Proceedings WODES:02, Workshop on Discrete-Event Systems, Zaragoza, 26-33.
4. Komenda, J. (2004). Coalgebra and coinduction in discrete-event control, submitted to Discrete Event Dynamical Systems: Theory and Applications.
5. Lin, F. and Wonham, W.M. (1988). On Observability of Discrete-Event Systems. Information Sciences, 44, 173-198.
6. Lin, F. and Wonham, W.M. (1990). Decentralized Control and Coordination of Discrete- Event Systems with Partial Observations, IEEE Trans. Automatic Control, 35.1330- 1337.
7. Rohloff, K. and Lafortune, S. (2003). The control and Verification of Similar Agents Operating in a Broadcast Network Environment. In Proceedings CDC 2003, Hawai, USA.
8. Rutten, J.J.M.M. (1999). Coalgebra, Concurrency, and Control. Research Report CWI. SEN-R9921, Amsterdam. Available also at http://www.cwi.nl/"janr.
9. Rutten, J.J.M.M. (2000). Universal Coalgebra: A Theory of Systems. Theoretical Computer Science 249(1), 3-80.
10. Ramadge, P.J. and Wonham, W.M. (1989). The Control of Discrete-Event Systems. Proc. IEEE, 77 :81-98.
11. Willner, Y. and Heymann, M. (1991). Supervisory control of concurrent discrete-event systems. International Journal of Control, 54(5). 1143-1166.
12. Wong, K.C. and Lee, S. (2002). Structural Decentralized Control of Concurrent Discrete- Event Systems. European Journal of Control, 10. 1-15.
13. Wonham, W.M. and Ramadge, P.J. (1988) Modular supervisory control of discrete-event processes, Mathematics of Control. Signal and Systems, 1, 13-30.
14. Yoo, T.S., Lafortune, S and Lin, F. (2001). A Uniform Approach for Computing Supremal Sublanguages Arising in Supervisory Control theory. Control group report CGR 02-04 Dept. of EECS. Univ. of Michigan, Ann Arbor.