Skip to main content
SpringerLink
Log in

An algebraic approach to supervisory control

  • Published:
Mathematics of Control, Signals and Systems Aims and scope Submit manuscript

Abstract

Supervisory control problems are formulated in terms of a process model where the mechanism of control is expressed in terms of an algebraic operator with the plant and supervision processes as its arguments. The solution subspaces for supervisory processes restrict the observation and the control capability of supervision. The main result corresponds to decentralized marked supervision under partial observations, and specific cases are derived from this result in a unified, algebraic way. The result and its derivation demonstrate the relative simplicity of the algebraic process formulation.

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

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

    Google Scholar 

  2. C. A. R. Hoare,Communicating Sequential Processes, Prentice-Hall, Englewood Cliffs, NJ, 1985.

    Google Scholar 

  3. K. İnan, Asynchronous dynamical systems, Part 1: Deterministic dynamics, Memo UCB/ERL M89/59, Electronics Research Lab., University of California, Berkeley, June 1989.

    Google Scholar 

  4. K. İnan and P. Varaiya, Finitely recursive process models for discrete event systems,IEEE Trans. Automat. Control,33 (1988), 626–639.

    Google Scholar 

  5. K. İnan and P. Varaiya, Algebras of discrete event models,Proc. IEEE,77 (1989), 24–38.

    Google Scholar 

  6. F. Lin and W. M. Wonham, Decentralized supervisory control of discrete-event systems,Inform. Sci.,44 (1988), 199–224.

    Google Scholar 

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

    Google Scholar 

  8. P. J. Ramadge and W. M. Wonham, Modular feedback logic for discrete-event systems,SIAM J. Control Optim.,25 (1987), 1202–1218.

    Google Scholar 

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

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Electrical and Electronic Engineering Department, Middle East Technical University, Ankara, Turkey

    K. İnan

Authors
  1. K. İnan
    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

İnan, K. An algebraic approach to supervisory control. Math. Control Signal Systems 5, 151–164 (1992). https://doi.org/10.1007/BF01215843

Download citation

  • Received:

  • Revised:

  • Issue Date:

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

Key words

Search

Navigation