Supervisor localization: A top-down approach to distributed control of discrete-event systems

AIP Conference Proceedings

Volumn 1107, Issue , 2009, Pages 302-308

  Cai, K ^a   Wonham, W M ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

Discrete event systems; Distributed control; Intelligent agents

Indexed keywords

EID: 65649107746     PISSN: 0094243X     EISSN: 15517616     Source Type: Conference Proceeding    
DOI: 10.1063/1.3106490     Document Type: Conference Paper

References (23)

1. W. M. Wonham, "Supervisory control of discrete-event systems," Systems Control Group, ECE Dept, University of Toronto, http://www.control. toronto.edu/DES, updated July 1, 2008.
2. P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event processes," SIAM Journal of Control and Optimization, vol. 25, no. 1, pp. 206-230, 1987.
3. W. M. Wonham and P. J. Ramadge, "On the supremal controllable sublanguage of a given language," SIAM Journal of Control and Optimization, vol. 25, no. 3, pp. 637-659, 1987.
4. F. Lin and W. M. Wonham, "Decentralized supervisory control of discrete-event systems," Information Sciences, vol. 44, pp. 199-224, 1988.
5. K. Rudie and W. M. Wonham, "Think globally, act locally: Decentralized supervisory control," IEEE Transactions on Automatic Control, vol. 37, no. 11, pp. 1692- 1708, 1992.
6. T. S. Yoo and S. Lafortune, "A general architecture for decentralized supervisory control of discrete-event systems," Discrete Event Dynamic Systems: Theory and Applications, vol. 12, no. 3, pp. 335-377, 2002.
7. K. C. Wong and S. Lee, "Structural decentralized control of concurrent discrete-event systems," European Journal of Control, vol. 8, pp. 477-491, 2002.
8. K. Rudie, S. Lafortune, F. Lin, "Minimal communication in a distributed discrete-event system," IEEE Transactions on Automatic Control, vol. 48, no. 6, pp. 957-975, Jun 2003.
9. J. Komenda and J. H. van Schuppen, "Modular control of discrete-event systems with coalgebra," IEEE Transactions on Automatic Control, vol. 53, no. 2, pp. 447-460, Mar 2008.
10. H. Zhong and W. M. Wonham, "On the consistency of hierarchical supervision in discrete-event systems," IEEE Transactions on Automatic Control, vol. 35, no. 10, pp. 1125-1134, Oct 1990.
11. K. C. Wong and W. M. Wonham, "Hierarchical control of discrete-event systems," Discrete Event Dynamic Systems: Theory and Applications, vol. 6, no. 3, pp. 241-273, 1996.
12. K. Schmidt, T. Moor, and S. Park, "A hierarchical architecture for nonblocking control of decentralized discrete event systems," in Proc. 13th Mediterranean Conference on Control and Automation, Limassol, Cyprus, Jun 2005, pp. 902-907.
13. R. J. Leduc, M. Lawford, and W. M. Wonham, "Hierarchical interface-based supervisory control - parallel case," IEEE Transactions on Automatic Control, vol. 50, no. 9, pp. 1336-1348, 2005.
14. L. Feng and W. M. Wonham, "Computationally efficient supervisory design: Abstraction and modularity," in Proc. Int. Workshop Discrete Event Systems (WODES06), Ann Arbor, Michigan, U.S.A., Jul 2006, pp. 3-8.
15. P. Darondeau, "Distributed implementation of Ramadge- Wonham supervisory control with Petri nets," in Proc. of the 44th Conference on Decision and Control, Seville, Spain, Dec 2005, pp. 2107-2112.
16. R. Su and J. G. Thistle, "A distributed supervisor synthesis approach based on weak bisimulation," in Proc. Int. Workshop Discrete Event Systems (WODES06), Ann Arbor, Michigan, U.S.A., Jul 2006, pp. 64-69.
17. A. Mannani and P. Gohari, "Decentralized supervisory control of discrete-event systems over communication networks," IEEE Transactions on Automatic Control, vol. 53, no. 2, pp. 547-559, Mar 2008.
18. S. Lafortune, "On decentralized and distributed control of partially-observed discrete event systems," in Advances in Control Theory and Applications, L. M. C. R. C. Bonivento, A. Isidori, Ed. Springer Berlin / Heidelberg, 2007, vol. 353, pp. 171-184.
19. R. Su and W. M. Wonham, "Supervisor reduction for discrete-event systems," Discrete Event Dynamic Systems, vol. 14, no. 1, pp. 31-53, Jan 2004.
20. K. Cai, "Supervisor Localization: A Top- Down Approach to Distributed Control of Discrete-Event Systems," Master's thesis, ECE Dept, University of Toronto, 2008, available at http://www.control.toronto.edu/DES/ CaiKaiJvIASc-Thesis.pdf.
21. W. M. Wonham, "Design software: XPTCT," Systems Control Group, ECE Dept, University of Toronto, http://www.control.toronto.edu/DES, Version 121, Windows XP, updated July 1, 2008.
22. Y. Willner and M. Heymann, "Supervisory control of concurrent discrete-event systems," International Journal of Control, vol. 54, no. 5, pp. 1143-1169, 1991.
23. P. M. Pardalos and J. Xue, "The maximum clique problem," Global Optimization, vol. 4, no. 3, pp. 301-328, Apr 1994.