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

IEEE Transactions on Automatic Control

Volumn 55, Issue 3, 2010, Pages 605-618

  Cai, Kai ^a   Wonham, W M ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

Discrete event systems (DES); Supervisor localization; Supervisory control

Indexed keywords

CENTRAL PROBLEMS; CONTROLLED BEHAVIOR; DISCRETE EVENT SYSTEMS; DISTRIBUTED CONTROL; INDIVIDUAL AGENT; LOCAL CONTROLLERS; LOCALIZATION ALGORITHM; MODULAR CONTROL; SOLUTION PROCEDURE; STATE EXPLOSION; SUPERVISORY CONTROL; SUPERVISORY CONTROL THEORY; TOP-DOWN APPROACH; TOPDOWN;

CONTROL THEORY; DISTRIBUTED PARAMETER CONTROL SYSTEMS; SUPERVISORY PERSONNEL; SYSTEM THEORY;

CONTROLLERS;

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

References (32)

1. W. M. Wonham, "Supervisory Control of Discrete-Event Systems," Syst. Control Group, ECE Dept, Univ. Toronto, Toronto, ON, Canada, 2009 [Online]. Available: http://www.control.toronto.edu/DES
2. P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event processes," SIAM J. Control Optim., 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 J. Control Optim., vol.25, no.3, pp. 637-659, 1987.
4. F. Lin and W. M.Wonham, "Decentralized supervisory control of discrete- event systems," Inform. Sci., vol.44, pp. 199-224, 1988.
5. Y. Willner and M. Heymann, "Supervisory control of concurrent discrete- event systems," Int. J. Control, vol.54, no.5, pp. 1143-1169, 1991.
6. K. Rudie and W. M. Wonham, "Think globally, act locally: Decentralized supervisory control," IEEE Trans. Autom. Control, vol.37, no.11, pp. 1692-1708, Nov. 1992.
7. T. S. Yoo and S. Lafortune, "A general architecture for decentralized supervisory control of discrete-event systems," Discrete Event Dyna. Syst.: Theory Appl., vol.12, no.3, pp. 335-377, 2002.
8. K. C.Wong and S. Lee, "Structural decentralized control of concurrent discrete-event systems," Eur. J. Control, vol.8, pp. 477-491, 2002.
9. K. Rudie, S. Lafortune, and F. Lin, "Minimal communication in a distributed discrete-event system," IEEE Trans. Autom. Control, vol.48, no.6, pp. 957-975, Jun. 2003.
10. J.Komenda and J. H. van Schuppen, "Modular control of discrete-event systems with coalgebra," IEEE Trans. Autom. Control, vol.53, no.2, pp. 447-460, Mar. 2008.
11. H. Zhong and W. M. Wonham, "On the consistency of hierarchical supervision in discrete-event systems," IEEE Trans. Autom. Control, vol.35, no.10, pp. 1125-1134, Oct. 1990.
12. K. C. Wong and W. M. Wonham, "Hierarchical control of discreteevent systems," Discrete Event Dyna. Syst.: Theory Appl., vol.6, no.3, pp. 241-273, 1996.
13. K. C. Wong and W. M. Wonham, "Modular control and coordination of discrete-event systems," Discrete Event Dyna. Syst.: Theory Appl., vol.8, no.3, pp. 247-297, 1998.
14. K. Schmidt, T. Moor, and S. Perk, "Nonblocking hierarchical control of decentralized discrete event systems," IEEE Trans. Autom. Control, vol.53, no.10, pp. 2252-2265, Nov. 2008.
15. L. Feng and W. M.Wonham, "Supervisory control architecture for discrete- event systems," IEEE Trans. Autom. Control, vol.53, no.6, pp. 1449-1461, Jul. 2008.
16. R. Su and J. G. Thistle, "A distributed supervisor synthesis approach based on weak bisimulation," in Proc. Int. Workshop Discrete Event Syst. (WODES06), Ann Arbor, MI, Jul. 2006, pp. 64-69.
17. A. Mannani and P. Gohari, "Decentralized supervisory control of discrete-event systems over communication networks," IEEE Trans. Autom. Control, vol.53, no.2, pp. 547-559, Mar. 2008.
18. P. Darondeau, "Distributed implementation of Ramadge-Wonham supervisory control with Petri nets," in Proc. 44th IEEE Conf. Decision Control, Seville, Spain, Dec. 2005, pp. 2107-2112.
19. K. T. Seow, M. T. Pham, C. Ma, and M. Yokoo, "Coordination planning: Applying control synthesis methods for a class of distributed agents," IEEE Trans. Control Syst. Technol., vol.17, no.2, pp. 405-415, Mar. 2009.
20. K. T. Seow, C. Ma, and M. Yokoo, "Multiagent planning as control synthesis," in Proc. 3rd Int. Joint Conf. AAMAS, New York, NY, Jul. 2004, pp. 972-979.
21. K. Cai and W. M. Wonham, "Supervisor localization: A top-down approach to distributed control of discrete-event systems," in Proc. 2nd Med. Conf. Intelligent Syst. Autom. (CISA'09), Zarzis, Tunisia, Mar. 2009, pp. 302-308.
22. S. Lafortune, "On decentralized and distributed control of partially-observed discrete event systems," in Advances in Control Theory and Applications. Berlin, Germany: Springer, 2007, vol.353, pp. 171-184.
23. R. Su and W. M. Wonham, "Supervisor reduction for discrete-event systems," Discrete Event Dyn. Syst., vol.14, no.1, pp. 31-53, Jan. 2004.
24. P. Gohari and W. M.Wonham, "On the complexity of supervisory control design in the RW framework," IEEE Trans. Syst., Man, Cybern., Special Issue DES, vol.30, no.5, pp. 643-652, Oct. 2000.
25. W. M. Wonham, Design Software: XPTCT Systems Control Group, ECE Dept, Univ. Toronto, Tech. Rep., 2008 [Online]. Available: http:// www.control.toronto.edu/DES
26. P. M. Pardalos and J. Xue, "The maximum clique problem," Global Optim., vol.4, no.3, pp. 301-328, Apr. 1994.
27. L. Feng, "Computationally Efficient Supervisory Design for Discrete- Event Systems" Ph.D. dissertation, ECE Dept., Univ. Toronto, Toronto, ON, Canada, 2007.
28. L. Feng and W. Wonham, "On the computation of natural observers in discrete-event systems," Discrete Event Dyn. Syst. [Online]. Available: www.springerlink.com
29. L. Feng and W. M. Wonham, "Computationally efficient supervisory design: Control flow decomposition," in Proc. Int. Workshop Discrete Event Syst. (WODES'06), Ann Arbor, MI, Jul. 2006, pp. 9-14.
30. A. Vahidi, M. Fabian, and B. Lennartson, "Efficient supervisory synthesis of large systems," Control Eng. Prac., vol.14, no.10, pp. 1157-1167, 2006.
31. L. E. Holloway and B. H. Krogh, "Synthesis of feedback logic control for a class of controlled Petri nets," IEEE Trans. Autom. Control, vol.35, no.5, pp. 514-523, May 1990.
32. L. Feng, K. Cai, and W. M. Wonham, "A structural approach to the nonblocking supervisory control of discrete-event systems," Int. J. Adv. Manufact. Technol., vol.41, no.11-12, pp. 1152-1168, Apr. 2009.