Skip to main content
SpringerLink
Log in

A New Class of Supervisors for Timed Discrete Event Systems Under Partial Observation

  • Published:
Discrete Event Dynamic Systems Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

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.

    Article  MathSciNet  Google Scholar 

  • Cassandras CG, Lafortune S (1999). Introduction to Discrete Event Systems. Boston, Massachusetts: Kluwer.

    Google Scholar 

  • 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.

    MathSciNet  Google Scholar 

  • 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.

    Article  Google Scholar 

  • Gohari P, Wonham WM (2003). Reduced supervisors for timed discrete-event systems. IEEE Trans Automat Contr, 48(7):1187–1198.

    Article  MathSciNet  Google Scholar 

  • Heymann, M, Lin, F (1994). On-line control of partially observed discrete event systems. Discret Event Dyn Syst: Theory Appl 4(3):221–236.

    Article  Google Scholar 

  • Ho T-J (2000). A new approach to synthesis problems in timed discrete-event systems. Int J Contr, 73(6):505–519.

    Article  MATH  Google Scholar 

  • Lin F, Wonham WM (1988). On observability of discrete-event systems. Inf Sci 44(3):173–198.

    Article  MathSciNet  Google Scholar 

  • Lin F, Wonham WM (1995). Supervisory control of timed discrete-event systems under partial observation. IEEE Trans Automat Contr 40(3):558–562.

    Article  MathSciNet  Google Scholar 

  • Ramadge PJ, Wonham WM (1987). Supervisory control of a class of discrete event processes. SIAM J Contr Optim 25(1):206–230.

    Article  MathSciNet  Google Scholar 

  • Takai S (2000). Robust supervisory control of a class of timed discrete event systems under partial observation. Syst Contr Lett 39(4):267–273.

    Article  MATH  MathSciNet  Google Scholar 

  • 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.

    MathSciNet  Google Scholar 

  • Tsitsiklis JN (1989). On the control of discrete-event dynamical systems. Math Contr Signals Syst 2(2):95–107.

    MATH  MathSciNet  Google Scholar 

  • Ushio T, Takai S (2005). Control-invariance of hybrid systems with forcible events. Automatica 41(4):669–675.

    Article  MathSciNet  Google Scholar 

  • Wonham WM, Ramadge PJ (1987). On the supremal controllable sublanguage of a given language. SIAM J Contr Optim 25(3):637–659.

    Article  MathSciNet  Google Scholar 

  • Wong KC, Wonham WM (1996). Hierarchical control of timed discrete-event systems. Discret Event Dyn Syst: Theory Appl 6(3):275–306.

    Article  MathSciNet  Google Scholar 

  • 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Information Science, Kyoto Institute of Technology, Matsugasaki, Sakyo-ku, Kyoto, 606-8585, Japan

    Shigemasa Takai

  2. Department of Systems Innovation, Osaka University, 1–3 Machikaneyama, Toyonaka, Osaka, 560–8531, Japan

    Toshimitsu Ushio

Authors
  1. Shigemasa Takai
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Toshimitsu Ushio
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Shigemasa Takai.

Rights and permissions

Reprints 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

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10626-006-8136-6

Keywords

Search

Navigation