Effective computation of an Lm(G)-closed, controllable, and observable sublanguage arising in supervisory control

Systems and Control Letters

Volumn 49, Issue 3, 2003, Pages 191-200

  Takai, Shigemasa ^a   Ushio, Toshimitsu ^b  

^a WAKAYAMA UNIVERSITY   (Japan)

^b OSAKA UNIVERSITY   (Japan)

Author keywords

Discrete event system; Nonblocking supervisor; Normality; Observability; Partial observation

Indexed keywords

ALGORITHMS; CLOSED LOOP CONTROL SYSTEMS; CONTROLLABILITY; FORMAL LANGUAGES; ITERATIVE METHODS; OBSERVABILITY; SCADA SYSTEMS;

DISCRETE EVENT SYSTEMS (DES);

CONTROL SYSTEMS;

EID: 0037843465     PISSN: 01676911     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0167-6911(02)00322-5     Document Type: Article

References (15)

1. Ben Hadj-Alouane N., Lafortune S., Lin F. Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation. Discrete Event Dynamic Syst.: Theory Appl. 6(4):1996;379-427.
2. Cassandras C.G., Lafortune S. Introduction to Discrete Event Systems. 1999;Kluwer Academic Publishers, Boston, MA.
3. Cho H., Marcus S.I. On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation. Math. Control Signals Syst. 2(1):1989;47-69.
4. Cho H., Marcus S.I. Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations. Math. Syst. Theory. 22(3):1989;177-211.
5. Cieslak R., Desclaux C., Fawaz A.S., Varaiya P. Supervisory control of discrete-event processes with partial observations. IEEE Trans. Automat. Control. 33(3):1988;249-260.
6. Fa J., Yang X., Zheng Y. Formulas for a class of controllable and observable sublanguages larger than the supremal controllable and normal sublanguage. Syst. Control Lett. 20(1):1993;11-18.
7. Heymann M., Lin F. On-line control of partially observed discrete event systems. Discrete Event Dyn. Syst.: Theory Appl. 4(3):1994;221-236.
8. R. Kumar, Formulas for observability of discrete event dynamical systems, in: Proceedings of the 1993 Conference on Information Science Systems, Baltimore, MD, 1993, pp. 581-586.
9. Kumar R., Garg V.K. Optimal supervisory control of discrete event dynamical systems. SIAM J. Control Optim. 33(2):1995;419-439.
10. Lin F., Wonham W.M. On observability of discrete-event systems. Inform. Sci. 44(3):1988;173-198.
11. Prosser J.H., Kam M., Kwatny H.G. Online supervisor synthesis for partially observed discrete-event systems. IEEE Trans. Automat. Control. 43(11):1998;1630-1634.
12. Ramadge P.J., Wonham W.M. Supervisory control of a class of discrete-event processes. SIAM J. Control Optim. 25(1):1987;206-230.
13. Ushio T. On-line control of discrete event systems with a maximally controllable and observable sublanguage. IEICE Trans. Fundamentals. E82-A(9):1999;1965-1970.
14. Wonham W.M., Ramadge P.J. On the supremal controllable sublanguage of a given language. SIAM J. Control Optim. 25(3):1987;637-659.
15. Wonham W.M., Ramadge P.J. Modular supervisory control of discrete-event systems. Math. Control Signals Syst. 1(1):1988;13-30.