Maximizing robustness of supervisors for partially observed discrete event systems

Automatica

Volumn 40, Issue 3, 2004, Pages 531-535

  Takai, Shigemasa ^a  

^a WAKAYAMA UNIVERSITY   (Japan)

Author keywords

Discrete event system; Maximally permissive supervisor; Partial observation; Robustness; Supervisory control

Indexed keywords

COMPUTER VISION; CONSTRAINT THEORY; FUNCTIONS; OPTIMIZATION; PROBLEM SOLVING; ROBUSTNESS (CONTROL SYSTEMS); SET THEORY; THEOREM PROVING;

DISCRETE EVENT SYSTEMS (DES); PARTIAL OBSERVATION; SUPERVISORY CONTROL;

DISCRETE TIME CONTROL SYSTEMS;

EID: 1642485055     PISSN: 00051098     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.automatica.2003.11.006     Document Type: Article

References (18)

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 Systems: Theory and Applications. 6(4):1996;379-427.
2. Bourdon, S. E., Lawford, M., & Wonham, W. M. (2002). Robust nonblocking supervisory control of discrete-event systems. Proceedings of the 2002 American control conference, Anchorage, Alaska, USA, (pp. 730-735).
3. Brandt R.D., Garg V.K., Kumar R., Lin F., Marcus S.I., Wonham W.M. Formulas for calculating supremal controllable and normal sublanguages. Systems & Control Letters. 15(2):1990;111-117.
4. Cassandras C.G., Lafortune S. Introduction to discrete event systems. 1999;Kluwer Academic Publishers, Boston, MA.
5. Cieslak R., Desclaux C., Fawaz A.S., Varaiya P. Supervisory control of discrete-event processes with partial observations. IEEE Transactions on Automatic Control. 33(3):1988;249-260.
6. Cury J.E.R., Krogh B.H. Robustness of supervisors for discrete-event systems. IEEE Transactions on Automatic Control. 44(2):1999;376-379.
7. Fa J., Yang X., Zheng Y. Formulas for a class of controllable and observable sublanguages larger than the supremal controllable and normal sublanguage. Systems & Control Letters. 20(1):1993;11-18.
8. Heymann M., Lin F. On-line control of partially observed discrete event systems. Discrete Event Dynamic Systems: Theory and Applications. 4(3):1994;221-236.
9. Kumar R., Garg V.K. Extremal solutions of inequations over lattices with applications to supervisory control. Theoretical Computer Science. 148(1):1995;67-92.
10. Kumar R., Shayman M.A. Formulae relating controllability, observability and co-observability. Automatica. 34(2):1998;211-215.
11. Lin F. Robust and adaptive supervisory control of discrete event systems. IEEE Transactions on Automatic Control. 38(12):1993;1848-1852.
12. Lin F., Wonham W.M. On observability of discrete-event systems. Information Sciences. 44(3):1988;173-198.
13. Lin F., Wonham W.M. Supervisory control of timed discrete-event systems under partial observation. IEEE Transactions on Automatic Control. 40(3):1995;558-562.
14. Prosser J.H., Kam M., Kwatny H.G. Online supervisor synthesis for partially observed discrete-event systems. IEEE Transactions on Automatic Control. 43(11):1998;1630-1634.
15. Ramadge P.J., Wonham W.M. Supervisory control of a class of discrete-event processes. SIAM Journal on Control and Optimization. 25(1):1987;206-230.
16. Takai S. Robust supervisory control of a class of timed discrete event systems under partial observation. Systems & Control Letters. 39(4):2000;267-273.
17. Takai S. Synthesis of maximally permissive and robust supervisors for prefix-closed language specifications. IEEE Transactions on Automatic Control. 47(1):2002;132-136.
18. Ushio T. On-line control of discrete event systems with a maximally controllable and observable sublanguage. IEICE Transactions on Fundamentals. E82-A(9):1999;1965-1970.