Decentralized supervisory control with conditional decisions: Supervisor existence

IEEE Transactions on Automatic Control

Volumn 49, Issue 11, 2004, Pages 1886-1904

  Yoo, Tae Sic ^a   Lafortune, Stéphane ^b  

^a ARGONNE NATIONAL LABORATORY   (United States)

^b University of Michigan   (United States)

Author keywords

Conditional decision; Decentralized supervisory control; Discrete event systems

Indexed keywords

ALGORITHMS; DISCRETE TIME CONTROL SYSTEMS; MULTI AGENT SYSTEMS; OBSERVABILITY; POLYNOMIALS;

CONDITIONAL DECISION; DECENTRALIZED SUPERVISORY CONTROL; DISCRETE EVENT SYSTEM;

DECENTRALIZED CONTROL;

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

References (28)

1. P. J. Ramadge and W. M. Wonham, "The control of discrete event systems," Proc. IEEE, vol. 77, pp. 81-98, Jan. 1989.
2. J. G. Thistle, "Supervisory control of discrete event systems," Math. Comput. Model., vol. 11/12, pp. 25-53, 1996.
3. R. Cieslak, C. Desclaux, A. Fawaz, and P. Varaiya, "Supervisory control of discrete event processes with partial observation," IEEE Trans. Automat. Contr., vol. 33, pp. 249-260, Mar. 1988.
4. K. Rudie and W. M. Wonham, "Think globally, act locally: Decentralized supervisory control," IEEE Trans. Automat. Contr., vol. 37, pp. 1692-1708, Nov. 1992.
5. T. Yoo and S. Lafortune, "A general architecture for decentralized supervisory control of discrete-event systems," Discrete Event Dyna. Syst.: Theory Applicat., vol. 12, no. 3, pp. 335-377, 2002.
6. G. Barrett and S. Lafortune, "Decentralized supervisory control with communicating controllers," IEEE Trans. Automat. Contr., vol. 45, pp. 1620-1638, Oct. 2000.
7. P. Kozak and W. M. Wonham, "Fully decentralized solutions of supervisory control problems," IEEE Trans. Automat. Contr., vol. 40, pp. 2094-2097, Dec. 1995.
8. R. Kumar and M. A. Shayman, "Centralized and decentralized supervisory control of nondeterministic systems under partial observation," SIAM J. Control Optim., vol. 35, no. 2, pp. 363-383, 1997.
9. F. Lin and W. M. Wonham, "Decentralized supervisory control of discrete event systems," Inform. Sci., vol. 44, pp. 199-224, 1988.
10. S. L. Ricker and K. Rudie, "Know means no: Incorporating knowledge into discrete-event control systems" IEEE Trans. Automat. Contr., vol. 45, pp. 1656-1668, Sept. 2000.
11. K. Rudie and J. C. Willems, "The computational complexity of decentralized discrete-event control problems," IEEE Trans. Automat. Contr., vol. 40, pp. 1313-1318, July 1995.
12. S. Takai, "On the languages generated under fully decentralized supervision," IEEE Trans. Automat. Contr., vol. 43, pp. 1253-1256, Sept. 1998.
13. Y. Willner and M. Heymann, "Supervisory control of concurrent discrete-event systems," Int. J. Control, vol. 54, no. 5, pp. 1143-1169, 1991.
14. S. Jiang and R. Kumar, "Decentralized control of discrete event systems with specializations to local control and concurrent systems," IEEE Trans. Syst., Man. Cybern. B, vol. 30, pp. 653-660, May 2000.
15. A. Bergeron, "Sharing out control in distributed processes," Theo. Comput. Sci., vol. 139, pp. 163-186, 1995.
16. A. Overkamp and J. H. van Schuppen, "Maximal solutions in decentralized supervisory control," SIAM J. Control Optim., vol. 39, pp. 492-511, 2000.
17. J. van Schuppen, "Decentralized supervisory control with information structures," in Proc. 4th Int. Workshop Discrete Event Syst., 1998, pp. 36-41.
18. K. Wong and J. van Schuppen, "Decentralized supervisory control of discrete-event systems with communication," in Proc. 3rd Int. Workshop Discrete Event Syst., 1996, pp. 284-289.
19. J. H. Prosser, M. Kam, and H. G. Kwatny, "Decision fusion and supervisor synthesis in decentralized discrete-event systems," in Proc. 1997 Amer. Control Conf., 1997, pp. 2251-2255.
20. T. Yoo and S. Lafortune, "Decentralized supervisory control: A new architecture with a dynamic decision fusion rule," in Proc. 6th Int. Workshop Discrete Event Systems, Zaragoza, Spain, 2002, pp. 11-17.
21. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Norwell, MA: Kluwer, 1999.
22. T. Yoo and S. Lafortune, Decentralized Supervisory Control with Conditional Decisions: Supervisor Realization. Ann Arbor, MI: Univ. Michigan Press, 2003, submitted for publication.
23. T. Yoo and S. Lafortune, "Decentralized supervisory control with conditional decisions Part II: Verification and synthesis," Univ. Michigan, Ann Arbor, MI, Tech. Rep. CGR-03-18, 2003.
24. R. Debouk, S. Lafortune, and D. Teneketzis, "Coordinated decentralized protocol for failure diagnosis of discrete event systems," Discrete Event Dyna. Syst.: Theory Applicat., vol. 10, no. 1-2, pp. 33-86, 2000.
25. K. C. Wong and W. M. Wonham, "Modular control and coordination of discrete-event systems," J. Discrete Event Dyna. Syst.: Theory Applicat., vol. 8, no. 3, pp. 241-273, 1998.
26. K. Rohloff, T. Yoo, and S. Lafortune, "Deciding co-observability is PSPACE-complete," IEEE Trans. Automat. Contr., vol. 48, pp. 1995-1999, Nov. 2003.
27. R. Fagin, J. Halpern, Y. Moses, and M. Vardi, Reasoning About Knowledge. Cambridge, MA: MIT Press, 1995.
28. L. Ricker and K. Rudie, "private communication," unpublished, 2002.