Skip to main content
SpringerLink
Log in

Supervisory Control of a Class of Concurrent Discrete Event Systems Under Partial Observation

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

Abstract

In this paper, we study supervisory control of a class of discrete event systems with simultaneous event occurrences, which we call concurrent discrete event systems, under partial observation. The behavior of the system is described by a language over the simultaneous event set. First, we prove that L m (G)-closure, controllability, observability, and concurrent well-posedness of a specification language are necessary and sufficient conditions for the existence of a nonblocking supervisor. Next, we synthesize a supervisor that achieves the infimal closed, controllable, observable, and concurrently well-posed superlanguage of a specification language. Finally, we synthesize a supervisor that achieves a maximal closed, controllable, observable, and concurrently well-posed sublanguage of a closed specification language.

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

  • Ben Hadj-Alouane, N., Lafortune, S., and Lin, F. 1996. Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation. Discret. Event Dyn. Syst.: Theory Appl. 6(4): 379–427.

  • Boel, R. K., Ben-Naoum, L., and Van Breusegem, V. 1995. On forbidden state problems for a class of controlled Petri nets. IEEE Trans. Automat. Contr. 40(10): 1717–1731.

    Google Scholar 

  • Cho, H., and Marcus, S. I. 1989. On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation. Math. Control Signals Syst. 2(1): 47–69.

    Google Scholar 

  • Cieslak, R., Desclaux, C., Fawaz, A. S., and Varaiya, P. 1988. Supervisory control of discrete-event processes with partial observations. IEEE Trans. Automat. Contr. 33(3): 249–260.

    Google Scholar 

  • Golaszewski, C. H., and Ramadge, P. J. 1987. Control of discrete event processes with forced events. In Proc. 26th IEEE Conf. Decis. Control, pp. 247–251.

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

  • Holloway, L. E., and Krogh, B. H. 1990. Synthesis of feedback control logic for a class of controlled Petri nets. IEEE Trans. Automat. Contr. 35(5): 514–523.

    Google Scholar 

  • Hubbard, P., and Caines, P. E. 1999. Initial investigations of hierarchical supervisory control for multi-agent systems. In Proc. 38th IEEE Conf. Decis. Control, pp. 2218–2223.

  • Lafortune, S., and Chen, E. 1990. The infimal closed controllable superlanguage and its application in supervisory control. IEEE Trans. Automat. Contr. 35(4): 398–405.

    Google Scholar 

  • Li, Y., and Wonham, W. M. 1988. On supervisory control of real-time discrete-event systems. Inform. Sci. 46(3): 159–183.

    Google Scholar 

  • Li, Y., and Wonham, W. M. 1995. Concurrent vector discrete-event systems. IEEE Trans. Automat. Contr. 40(4): 628–638.

    Google Scholar 

  • Li, Y., Lin, F., and Lin, Z. H. 1998. A generalized framework for supervisory control of discrete event systems. Int. J. Intell. Control Syst. 2(1): 139–159.

    Google Scholar 

  • Lin, F., and Wonham, W. M. 1988. On observability of discrete-event systems. Inform. Sci. 44(3): 173–198.

    Google Scholar 

  • Peterson, J. L. 1981. Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall.

  • Ramadge, P. J., and Wonham, W. M. 1987. Supervisory control of a class of discrete-event processes. SIAM J. Control Optim. 25(1): 206–230.

    Google Scholar 

  • Romanovski, I., and Caines, P. E. 2002. On the supervisory control of multi-agent product systems. Proc. 41st IEEE Conf. Decis. Control, pp. 1181–1186.

  • Takai, S. 2000. Supervisory control of partially observed discrete event systems with arbitrary control patterns. Int. J. Syst. Sci. 31(5): 649–656.

    Google Scholar 

  • Takai, S., and Ushio, T. 2004. Supervisory control of a class of concurrent discrete event systems. IEICE Trans. Fundam. E87-A(3): 850–855.

    Google Scholar 

  • Takai, S., Ushio, T., and Kodama, S. 1994. Concurrency and maximally permissive feedback in Petri nets with external input places. Int. J. Control 60(4): 617–629.

    Google Scholar 

  • Tsitsiklis, J. N. 1989. On the control of discrete-event dynamical systems. Math. Control Signals Syst. 2(2): 95–107.

    Google Scholar 

  • Ushio, T. 1990. Maximally permissive feedback and modular control synthesis in Petri nets with external input places. IEEE Trans. Automat. Contr. 35(7): 844–848.

    Google Scholar 

  • Ushio, T., Li, Y., and Wonham, W. M. 1992. Concurrency and state feedback in discrete-event systems. IEEE Trans. Automat. Contr. 37(8): 1180–1184.

    Google Scholar 

  • Wonham, W. M., and Ramadge, P. J. 1988. Modular supervisory control of discrete-event systems. Math. Control Signals Syst. 1(1): 13–30.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Electronics and 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. Supervisory Control of a Class of Concurrent Discrete Event Systems Under Partial Observation. Discrete Event Dyn Syst 15, 7–32 (2005). https://doi.org/10.1007/s10626-005-5237-6

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10626-005-5237-6

Keywords

Search

Navigation