Modular control of discrete-event systems with coalgebra

IEEE Transactions on Automatic Control

Volumn 53, Issue 2, 2008, Pages 447-460

  Komenda, Jan ^a   van Schuppen, Jan H ^b,c  

^a INSTITUTE OF MATHEMATICS   (Czech Republic)

^b CWI   (Netherlands)

^c VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

Discrete event systems (DES); Modular supervisory control; Supremal normal sublanguages

Indexed keywords

ALGEBRA; ALGORITHMS; CONTROL SYSTEM SYNTHESIS;

COALGEBRA; MODULAR SUPERVISORY CONTROL; SUPREMAL NORMAL SUBLANGUAGES; TIME COMPLEXITY;

DISCRETE EVENT SIMULATION;

EID: 41849135453     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2007.915164     Document Type: Article

References (32)

1. P. Aczel and N. Mendler, "A final coalgebra theorem," in Proc. Category Theory and Computer Science, (Lecture Notes in Computer Science), D. H. Pitt, D. E. Ryeheard, P. Dybjer, A. M. Pitts, and A. Poigne, Eds., 1989, vol. 389, pp. 357-365.
2. G. Barrett and S. Lafortune, "Bisimulation, the supervisory control problem and strong model matching for finite state machines," J. Discrete Event Dyn. Syst.: Theory Appl., vol. 8, pp. 377-429, 1998.
3. R. D. Brandt, V. Garg, R. Kumar, F. Lin, S. I. Marcus, and W. M. Wonham, "Formulas for calculating supremal controllable and normal sublanguages," Syst. Control Lett., vol. 15, pp. 111-117, 1990.
4. S.G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Dordrecht, The Netherlands: Kluwer Academic, 1999.
5. H. Cho and S. I. Marcus, "On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observations," Math. Control, Signal, Syst., vol. 2, pp. 47-69, 1989.
6. H. Cho and S. I. Marcus, "Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations," Math. Syst. Theory, vol. 22, pp. 171-211, 1989.
7. S. Eilenberg and J. C. Moore, "Adjoint functors and triples," Illinois J. Math., vol. 9, pp. 381-398, 1965.
8. M. Fabian and R. Kumar, "Mutually nonblocking supervisory control of discrete event systems," Automatica, vol. 36, pp. 1863-1869, 2000.
9. R. Grossman and R. G. Larson, "The realization map of input-output maps using bialgebras," Forum Math., vol. 4, pp. 109-121, 1992.
10. S. Jiang and R. Kumar, "Decentralized control of discrete event systems with specialization to local control and concurrent systems," IEEE Trans. Syst., Man, Cybern. B, Cybern., vol. 30, no. 5, pp. 653-660, Oct. 2000.
11. R. Kumar, V. K. Garg, and S. I. Marcus, "On controllability and normality of discrete event dynamical systems," Syst. Control Lett. vol. 17, pp. 157-168, 1991.
12. J. Komenda and J. H. van Schuppen, "Supremal normal sublanguages of large distributed discrete event systems," in Proc. WODES 2004, Workshop Discrete-Event Syst., Reims, France, Sep. 2004, pp. 73-78.
13. J. Komenda and J. H. van Schuppen, "Control of discrete-event systems with partial observations using coalgebra and coinduction," Discrete Event Dyn. Syst.: Theory Appl., vol. 15, no. 3, pp. 257-315, 2005.
14. J. Komenda, "Modular control of large distributed discrete-event systems with partial observations," in Proc. 15th Int. Conf. Syst. Sci., Wroclaw, Poland, Sep. 2004, vol. II, pp. 175-184.
15. S. Lafortune and E. Chen, "The infimal closed and controllable superlanguage and its applications in supervisory control," IEEE Trans. Automat. Control, vol. 35, no. 4, pp. 398-405, Apr. 1990.
16. F. Lin and W. M. Wonham, "On observability of discrete-event systems," Inf. Sci., vol. 44, pp. 173-198, 1988.
17. F. Lin and W. M. Wonham, "Decentralized control and coordination of discrete-event systems with partial observations," IEEE Trans. Automat. Control, vol. 35, no. 12, pp. 1330-1337, Dec. 1990.
18. K. Rohloff and S. Lafortune, "The control and verification of similar agents operating in a broadcast network environment," in Proc. CDC 2003, pp. 2673-2679.
19. K. Rohloff and S. Lafortune, "On the computational complexity of the verification of modular discrete-event systems," in Proc. 41st IEEE Conf. Decis. Control, Las Vegas, NV, Dec. 10-13, 2002, vol. 1, pp. 16-21.
20. J. J. M. M. Rutten. (1999, Nov.). Coalgebra, concurrency, and control. Research Report CWI, SEN-R9921, Amsterdam, The Netherlands [Online]. Available: http://www.cwi.nl/~janr
21. J. J. M. M. Rutten, "Universal coalgebra: A theory of systems," Theor. Comput. Sci., vol. 249, pp. 3-80, 2000.
22. J. J. M. M. Rutten, "Fundamental study. Behavioural differential equations: A coinductive calculus of streams, automata, and power series," Theor. Comput. Sci., vol. 308, no. 1, pp. 1-53, 2003.
23. P. J. Ramadge and W. M. Wonham, "The control of discrete-event systems," Proc. IEEE, vol. 77, no. 1, pp. 81-98, Jan. 1989.
24. K. Rudie and W. M. Wonham, "Think globally, act locally: Decentralized supervisory control," IEEE Trans. Automat. Control, vol. 37, no. 11, pp. 1692-1708, Nov. 1992.
25. K. Schmidt, J. Reger, and T. Moor, "Hierarchical control of structural decentralized DES, in Proc. WODES 2004, Reims, France, Sep., pp. 289-294.
26. E. D. Sontag, "Polynomial response maps," Lecture Notes in Control and Information Sciences, vol. 13. Berlin, Germany: Springer-Verlag, 1979.
27. J. G. Thistle, "Supervisory control of discrete-event systems," Math. Comput. Model., vol. 11/12, pp. 25-53, 1996.
28. J. N. Tsitsiklis, "On the control of discrete-event dynamical systems," Math. Control, Signal, Syst., vol. 2, no. 2, pp. 95-107, Jun. 1989.
29. Y. Willner andM. Heymann, "Supervisory control of concurrent discrete-event systems," Int. J. Control, vol. 54, pp. 1143-1166, 1991.
30. K. C. Wong and S. Lee, "Structural decentralized control of concurrent discrete-event systems," Eur. J. Control, vol. 8, pp. 477-491, 2002.
31. W. M. Wonham and P. J. Ramadge, "Modular supervisory control of discrete-event processes," Math. Control, Signal Syst., vol. 1, pp. 13-30, 1988.
32. K. C. Wong, "On the complexity of projections of discrete-event systems," in Proc. 4th Int. Workshop Discrete Event Syst. (WODES 1998), Cagliari, Italy, pp. 201-206.