A new class of supervisors for timed discrete event systems under partial observation

Discrete Event Dynamic Systems: Theory and Applications

Volumn 16, Issue 2, 2006, Pages 257-278

  Takai, Shigemasa ^a   Ushio, Toshimitsu ^b  

^a KYOTO INSTITUTE OF TECHNOLOGY   (Japan)

^b OSAKA UNIVERSITY   (Japan)

Author keywords

Forcible event; Partial observation; Supervisory control; Timed discrete event system

Indexed keywords

ALGORITHMS; COMPUTATION THEORY; FORMAL LOGIC; SPECIFICATIONS;

FORCIBLE EVENT; PARTIAL OBSERVATION; SUPERVISORY CONTROL; TIMED DISCRETE EVENT SYSTEM;

DISCRETE TIME CONTROL SYSTEMS;

EID: 33646398891     PISSN: 09246703     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10626-006-8136-6     Document Type: Article

References (18)

1. Brandin B A, Wonham WM (1993). Modular supervisory control of timed discrete-event systems. In Proc 32nd IEEE Conf Decis Contr, pp 2230-2235.
2. Brandin BA, Wonham, WM (1994). Supervisory control of timed discrete-event systems. IEEE Trans Automat Contr 39(2):329-342.
3. Cassandras CG. Lafortune S (1999). Introduction to Discrete Event Systems. Boston. Massachusetts: Kluwer.
4. Cho H, Marcus S I. (1989). On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation. Math Contr Signals Syst 2(1):47-69.
5. Cieslak R, Desclaux C, Fawaz AS, Varaiya P (1988). Supervisory control of discrete-event processes with partial observations. IEEE Trans Automat Contr 33(3)249-260.
6. Gohari P, Wonham WM (2003). Reduced supervisors for timed discrete-event systems. IEEE Trans Automat Contr. 48(7): 1187-1198.
7. Heymann, M. Lin, F (1994). On-line control of partially observed discrete event systems. Discret Event Dyn Syst: Theory Appl 4(3):221-236.
8. Ho T-J (2000). A new approach to synthesis problems in timed discrete-event systems. Int J Contr, 73(6):505-519.
9. Lin F, Wonham WM (1988). On observability of discrete-event systems. Inf Sci 44(3):173-198.
10. Lin F, Wonham WM (1995). Supervisory control of timed discrete-event systems under partial observation. IEEE Trans Automat Contr 40(3):558-562.
11. Ramadge PJ, Wonham WM (1987). Supervisory control of a class of discrete event processes. SIAM J Contr Optim 25(1):206-230.
12. Takai S (2000). Robust supervisory control of a class of timed discrete event systems under partial observation. Syst Contr Lett 39(4):267-273.
13. m(G)-closed, controllable, and observable sublanguage arising in supervisory control. Syst Contr Lett 49(3):191-200.
14. Tsitsiklis JN (1989). On the control of discrete-event dynamical systems. Math Contr Signals Syst 2(2):95-107.
15. Ushio T, Takai S (2005). Control-invariance of hybrid systems with forcible events. Automatica 41(4):669-675.
16. Wonham WM. Ramadge PJ (1987). On the supremal controllable sublanguage of a given language. SIAM J Contr Optim 25(3):637-659.
17. Wong KC, Wonham WM (1996). Hierarchical control of timed discrete-event systems. Discret Event Dyn Syst: Theory Appl 6(3):275-306.
18. Yang J-W. Takai S, Ushio T, Kumagai S, Kodama S (1997). Stabilization of timed discrete event systems with forcible events. IEICE Trans Fundam E80-A(3):571-573.