Skip to main content
Springer Nature Link
Log in

Supervisory control using augmented languages in discrete event systems

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

Abstract

This paper introduces the concept of an augmented (super) language of a specified language and studies its application to finite state supervisory control. First, we investigate several properties of an augmented language, especially related to controllability of the specified language. We propose an algorithm for the computation of a controllable sublanguage for which a finite state supervisor exists, using an augmented language, and show a sufficient condition for the controllable sublanguage to be supremal. It is shown, however, that such a finite state supervisor is sometimes blocking. Moreover, we discuss the relationship between the Wonham-Ramadge algorithm and our proposed one.

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

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

  • Chen, E., and Lafortune, S. 1991a. Dealing with blocking in supervisory control of discrete-event systems,IEEE Trans. Automat. Control AC-36, pp. 724–735.

    Google Scholar 

  • Chen, E., and Lafortune, S. 1991b. On nonconflicting languages that arise in supervisory control of discrete event systems,Systems Control Lett. 17, pp. 105–113.

    Google Scholar 

  • Hopcroft, J.E., and Ullman, J.D. 1979.Introduction to Automata Theory, Language, and Computation Reading, MA: Addison-Wesley.

    Google Scholar 

  • Lafortune, S., and Chen, E. 1990. The infimal closed controllable superlanguage and its application in supervisory control,IEEE Trans. Automat. Control AC-35, pp. 398–405.

    Google Scholar 

  • Ramadge, P.J. 1989. Some tractable supervisory control problems for discrete-event systems modeled by Büchi automata,IEEE Trans. Automat. Control AC-34, pp. 10–19.

    Google Scholar 

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

    Google Scholar 

  • Ushio, T. 1989. On controllability of controlled Petri nets,Control-Theory Adv. Technol. 5, pp. 265–275.

    Google Scholar 

  • Ushio, T. 1990. On the existence of finite state supervisors in discrete-event systems,Proc. 29th IEEE CDC, pp. 2857–2860.

  • Ushio, T. 1992. The augmented language and its application in supervisory control. InRecent Advances in Mathematical Theory of Systems, Control, Networks and Signal Processing II (H. Kimura and S. Kodama, eds.), pp. 43–48.

  • Wonham, W.M., and Ramadge, P.J. 1987. On the supremal controllable sublanguage of a given language,SIAM J. Control Optim. 25, pp. 637–659.

    Google Scholar 

  • Wonham, W.M., and Ramadge, R.J. 1988. Modular supervisory control of discrete-event systems,Math. Control Signals Systems 1, pp. 13–30.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Kobe College, Okadayama, Nishinomiya, 662, Hyogo, Japan

    Toshimitsu Ushio

Authors
  1. Toshimitsu Ushio
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Ushio, T. Supervisory control using augmented languages in discrete event systems. Discrete Event Dyn Syst 4, 5–22 (1994). https://doi.org/10.1007/BF01516008

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01516008

Key Words

Search

Navigation