On the synthesis of safe control policies in decentralized control of discrete-event systems

IEEE Transactions on Automatic Control

Volumn 48, Issue 6, 2003, Pages 1064-1068

  Rohloff, Kurt ^a   Lafortune, Stéphane ^a  

^a UNIVERSITY OF MICHIGAN   (United States)

Author keywords

Decentralized control; Discrete event systems; Maximal behavior

Indexed keywords

ALGORITHMS; COMPUTER ARCHITECTURE; CONTROL EQUIPMENT; ESTIMATION;

DISCRETE-EVENT SYSTEMS;

DECENTRALIZED CONTROL;

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

References (14)

1. A. Bergeron, "Sharing out control in distributed processes," Theoret. Comput. Sci., vol. 139, pp. 163-186, 1995.
2. R. Cieslak, C. Desclaux, A. Fawaz, and P. Varaiya, "Supervisory control of discrete-event processes with partial observations," IEEE Trans. Automat. Contr., vol. 33, pp. 249-260, Mar. 1988.
3. N. Ben Hadj-Alouane, S. Lafortune, and F. Lin, "Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation," J. Discrete Event Dyna, Syst.: Theory Applicat., vol. 6, pp. 379-427, 1996.
4. P. V. Kumar and P. Varaiya, Stochastic Systems: Estimation, Identification, and Adaptive Control. Upper Saddle River, NJ: Prentice-Hall, 1986.
5. H. Lamouchi and J. G. Thistle, "Effective control synthesis for DES under partial observations," in Proc. 39th IEEE Conf. Decision Control, 2000, pp. 22-28.
6. F. Lin and W. M. Wonham, "Decentralized supervisory control of discrete-event systems," Inform. Sci., vol. 44, pp. 199-224, 1988.
7. A. Overkamp and J. van Schuppen, "Maximal solutions in decentralized supervisory control," SIAM J. Control Optim., vol. 39, no. 2, pp. 492-511, 2000.
8. 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.
9. K. Rohloff and S. Lafortune, "Advances in state estimation and controller synthesis for general decentralized control," Dept. Elect. Eng. Comput. Sci., Univ. Michigan, Ann Arbor, MI, Tech. Rep. CGR01-11, 2001.
10. 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.
11. K. Rudie and W. M. Wonham, "Think globally, act locally: Decentralized supervisory control," IEEE Trans. Automat. Contr., vol, 37, pp. 1692-1708, Nov. 1992.
12. S. Tripakis, "Undecidable problems of decentralized observation and control," in Proc. 40th IEEE Conf. Decision Control, 2001, pp. 4104-4109.
13. Y. Willner and M. Heyman, "Supervisory control of concurrent discrete-event systems," Int. J. Control, vol. 54, no. 5, pp. 1143-1169, 1991.
14. T.-S. Yoo and S. Lafortune, "A general architecture for decentralized supervisory control of discrete-event systems," J. Discrete Event Dyna. Syst.: Theory Applicat., vol. 13, no. 3, pp. 335-377, 2002.