Abstract
Brandin and Wonham have developed a supervisory control framework for timed discrete event systems (TDESs) in order to deal with not only logical specifications but also temporal specifications. Lin and Wonham have extended this framework to the partial observation case, and presented necessary and sufficient conditions for the existence of a nonblocking supervisor under partial observation. In this paper, we define a new class of supervisors for TDESs under partial observation. We then present necessary and sufficient conditions for the existence of a nonblocking supervisor defined in this paper. These existence conditions of our supervisor are weaker than those of Lin and Wonham's supervisor. Note, however, that the price that must be paid to weaken the existence conditions is the higher computational cost. Moreover, given a closed regular language, we study computation of a sublanguage that satisfies the existence conditions of our supervisor. We present an algorithm for computing such a sublanguage larger than the supremal closed, controllable, and normal sublanguage.
Similar content being viewed by others
References
Brandin BA, Wonham WM (1993). Modular supervisory control of timed discrete-event systems. In Proc 32nd IEEE Conf Decis Contr, pp 2230–2235.
Brandin BA, Wonham, WM (1994). Supervisory control of timed discrete-event systems. IEEE Trans Automat Contr 39(2):329–342.
Cassandras CG, Lafortune S (1999). Introduction to Discrete Event Systems. Boston, Massachusetts: Kluwer.
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.
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.
Gohari P, Wonham WM (2003). Reduced supervisors for timed discrete-event systems. IEEE Trans Automat Contr, 48(7):1187–1198.
Heymann, M, Lin, F (1994). On-line control of partially observed discrete event systems. Discret Event Dyn Syst: Theory Appl 4(3):221–236.
Ho T-J (2000). A new approach to synthesis problems in timed discrete-event systems. Int J Contr, 73(6):505–519.
Lin F, Wonham WM (1988). On observability of discrete-event systems. Inf Sci 44(3):173–198.
Lin F, Wonham WM (1995). Supervisory control of timed discrete-event systems under partial observation. IEEE Trans Automat Contr 40(3):558–562.
Ramadge PJ, Wonham WM (1987). Supervisory control of a class of discrete event processes. SIAM J Contr Optim 25(1):206–230.
Takai S (2000). Robust supervisory control of a class of timed discrete event systems under partial observation. Syst Contr Lett 39(4):267–273.
Takai S, Ushio T (2003). Effective computation of an \(L_m(G)\)-closed, controllable, and observable sublanguage arising in supervisory control. Syst Contr Lett 49(3):191–200.
Tsitsiklis JN (1989). On the control of discrete-event dynamical systems. Math Contr Signals Syst 2(2):95–107.
Ushio T, Takai S (2005). Control-invariance of hybrid systems with forcible events. Automatica 41(4):669–675.
Wonham WM, Ramadge PJ (1987). On the supremal controllable sublanguage of a given language. SIAM J Contr Optim 25(3):637–659.
Wong KC, Wonham WM (1996). Hierarchical control of timed discrete-event systems. Discret Event Dyn Syst: Theory Appl 6(3):275–306.
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.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Takai, S., Ushio, T. A New Class of Supervisors for Timed Discrete Event Systems Under Partial Observation. Discrete Event Dyn Syst 16, 257–278 (2006). https://doi.org/10.1007/s10626-006-8136-6
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10626-006-8136-6