Supervisory control of discrete event systems modeled by mealy automata with nondeterministic output functions

Proceedings of the American Control Conference

Volumn , Issue , 2009, Pages 4260-4265

  Ushio, Toshimitsu ^a   Takai, Shigemasa ^b  

^a OSAKA UNIVERSITY   (Japan)

^b KYOTO INSTITUTE OF TECHNOLOGY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL ACTIONS; DISCRETE EVENT SYSTEMS; MOBILE SYSTEMS; OUTPUT FUNCTIONS; SENSOR ERRORS; SUFFICIENT CONDITIONS; SUPERVISORY CONTROL;

AUTOMATA THEORY; SCADA SYSTEMS; SUPERVISORY PERSONNEL; TRANSLATION (LANGUAGES);

DISCRETE EVENT SIMULATION;

EID: 70449623503     PISSN: 07431619     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACC.2009.5159823     Document Type: Conference Paper

References (24)

1. F. Lin and W. M. Wonham, "On observability of discrete-event systems," Inf. Sci., vol. 44, no. 3, pp. 173-198, 1988.
2. R. Cieslak, C. Desclaux, A. S. Fawaz, and P. Varaiya, "Supervisory control of discrete event processes with partial observation," IEEE Trans. Autom. Control, vol. 33, no. 2, pp. 249-260, 1988.
3. P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event processes," SIAM J. Contr. Optim., vol. 25, no. 1, pp. 206-230, 1987.
4. H. Cho and S. I. Marcus, "On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation," Math. Control Signals Syst., vol. 2, no. 1, pp. 47-69, 1989.
5. J. N. Tsitsiklis, "On the control of discrete-event dynamical systems," Math. Control Signals Syst., vol. 2, no. 2, pp. 95-107, 1989.
6. K. Inan, "Nondeterministic supervision under partial observation," in Proc. 11th International Conf. Analysis and Optimization of Systems, Lecture Notes in Control and Inf. Sci., No. 199, pp. 39-48, 1994.
7. M. Heymann and F. Lin, "On-line control of partially observed discrete event systems," Discrete Event Dyn. Syst.: Theory Appl., vol. 4, no. 3, pp. 221-236, 1994.
8. F. Lin and W. M. Wonham, "Supervisory control of timed discreteevent systems under partial observation," IEEE Trans. Autom. Control, vol. 40, no. 3, pp. 558-562, 1995.
9. N. Ben Hadj-Alouane, S. Lafortune, and F. Lin, "Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation," Discrete Event Dyn. Syst.: Theory Appl., vol. 6, no. 4, pp. 379-427, 1996.
10. R. Kumar and M. A. Shayman, "Centralized and decentralized supervisory control of nondeterministic systems under partial observation," SIAM J. Contr. Optim., vol. 35, no. 2, pp. 363-383, 1997.
11. T. Ushio, "On-line control of discrete event systems with a maximally controllable and observable sublanguage," IEICE Trans. Fundamentals, vol. E82-A, no. 9, pp. 1965-1970, 1999.
12. S. Takai, "Robust supervisory control of a class of timed discrete event systems under partial observation," Syst. Control Lett., vol. 39, no. 4, pp. 267-273, 2000.
13. S. Takai and T. Ushio, "Weak normality for nonblocking supervisory control of discrete event systems under partial observation," IEICE Trans. Fundamentals, vol. E84-A, no. 11, pp. 2822-2828, 2001.
14. S. Takai and T. Ushio, "Effective computation of an Lm(G)-closed, controllable, and observable sublanguage arising in supervisory control," Syst. Control Lett., vol. 49, no. 3, pp. 191-200, 2003.
15. R. Kumar, S. Jiang, C. Zhou, and W. Qiu, "Polynomial synthesis of supervisor for partially observed discrete-event systems by allowing nondeterminism in control," IEEE Trans. Autom. Control, vol. 50, no. 4, pp. 463-475, 2005.
16. S. Takai and T. Ushio, "Supervisory control of a class of concurrent discrete event systems under partial observation," Discrete Event Dyn. Syst.: Theory Appl., vol. 15, no. 1, pp. 7-32, 2005.
17. S. Takai and T. Ushio, "A new class of supervisors for timed discrete event systems under partial observation," Discrete Event Dyn. Syst.: Theory Appl., vol. 16, no. 2, pp. 257-278, 2006.
18. R. Kumar, V. K. Garg, and S. I. Marcus, "Predicates and predicate transformers for supervisory control of discrete event dynamical systems," IEEE Trans. Autom. Control, vol. 38, no. 2, pp. 232-247, 1993.
19. Y. Li and W. M. Wonham, "Control of vector discrete-event systems- I:The base model," IEEE Trans. Autom. Control, vol. 38, no. 8, pp. 1214-1227, 1993.
20. S. Takai, T. Ushio, and S. Kodama, "Static state feedback control of discrete-event systems under partial observation," IEEE Trans. Autom. Control, vol. 40, no. 11, pp. 1950-1954, 1995.
21. S. Takai, T. Ushio, and S. Kodama, "Supervisory control of discrete event systems using partial event and state observations," Int. J. Intelligent Control Syst., vol. 2, no. 3, pp. 453-466, 1998.
22. K. R. Rohloff, "Sensor failure tolerant supervisory control," in Proc. 44th IEEE Conf. Decision and Control, and European Control Conf. 2005, pp. 3493-3498, 2005.
23. G. H. Mealy, "A method to synthesizing sequential circuits," Bell System Technical J., vol. 34, no. 5, pp. 1045-1079, 1955.
24. T.-S. Yoo and S. Lafortune, "A general architecture for decentralized supervisory control of discrete-event systems," Discrete Event Dyn. Syst.: Theory Appl., vol. 12, no. 3, pp. 335-377, 2002.