Modular control of large distributed discrete event systems

Proceedings of the International Conference on Systems Science

Volumn 2, Issue , 2004, Pages 175-184

  Komenda, Jan ^a  

^a INSTITUTE OF MATHEMATICS   (Czech Republic)

Author keywords

Coalgebra; Coinduction; Discrete event systems; Modular supervisory control

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; BOOLEAN ALGEBRA; COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; CONTROL SYSTEMS; MATHEMATICAL MODELS; PROBLEM SOLVING; SET THEORY; TRANSFER FUNCTIONS;

COALGEBRA; COINDUCTION; DISCRETE EVENT SYSTEMS (DES); MODULAR SUPERVISORY CONTROL;

LARGE SCALE SYSTEMS;

EID: 23844434210     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. Cassandras S.G. and S. Lafortune S., Introduction to Discrete Event Systems, Kluwer Academic Publishers, Dordrecht 1999.
2. Komenda J., Computation of Supremal Sublanguages of Supervisory Control Using Coalgebra, Proceedings IFAC WODES'02, Workshop on Discrete-Event Systems Zaragoza (Spain), p. 26-33, October 2-4, 2002.
3. Komenda J. and Van Schuppen J.H., Supremal Normal Sublanguages of Large Distributed Discrete Event Systems, To Appear in Proceedings IFAC WODES'04, Workshop on Discrete-Event Systems, Reims (France), September22-24, 2004.
4. Milner R., Communication and Concurrency, Prentice Hall International Series in Computer Science, New York, 1989.
5. Rutten J.J.M.M., Coalgebra, Concurrency, and Control. Research Report CWI, SEN-R9921, Amsterdam, November1999. Available also at http://www.cwi.nl/ ~janr.
6. Rutten J.J.M.M., Universal Coalgebra: A Theory of Systems. Theoretical Computer Science 249(1):3-80, 2000.
7. Ramadge P.J. and. Wonham W.M, The Control of Discrete-Event Systems. Proc. IEEE,77:81-98, 1989.
8. Tsitsiklis J.N., On the Control of Discrete-Event Dynamical Systems. Mathematics of Control, Signal, and Systems, 95-107, 1989.
9. Willner Y. and Heymann M., Supervisory control of concurrent discrete-event systems, International Journal of Control, 54(5):1143-1166, 1991.
10. Wong K.C. and Lee S., Structural Decentralized Control of Concurrent Discrete-Event Systems, European Journal of Control, 0:1-15, 2002.
11. Wonham W.M. and Ramadge P.J., Modular supervisory control of discrete-event processes, Mathematics of Control, Signal and Systems, 1:13-30, 1988.
12. Yoo T.S., Lafortune S., and Lin F., A Uniform Approach for Computing Supremal Sublanguages Arising in Supervisory Control theory, Preprint, Dept. of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor 2001.