Advertisement

Implementation Considerations in Supervisory Control

  • P. Dietrich
  • R. Malik
  • W. M. Wonham
  • B. A. Brandin
Chapter

Abstract

With supervisory control theory it is possible to describe controllers which influence the behaviour of a system by disabling controllable events. But sometimes it is desirable to have a controller which not only disables controllable events but also chooses one among the enabled ones. This event can be interpreted as a command given to the plant. This idea is formalized in the concept of an implementation, which is a special supervisor, enabling at most one controllable event at a time. In this paper, some useful properties are introduced, which ensure, when met, that each implementation of a given DES is nonblocking. The approach is applied to a simple chemical batch process example.

Keywords

Controllable Event Supervisory Control Marked State Discrete Event System Inlet Valve 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [CL99]
    C. G. Cassandras and S. Lafortune. Introduction to Discrete Event Systems. Kluwer Academic Publishers, September 1999.zbMATHCrossRefGoogle Scholar
  2. [DJ90]
    N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B. Elsevier Science Publisher (North-Holland), 1990.Google Scholar
  3. [HK94]
    H.-M. Hanisch and S. Kowalewski. Algebraic synthesis and verification of discrete supervisory controllers for forbidden path specifications. In Proc. of the 4th Intnl. Conf on Computer Integrated Manufacturing and Automation Technology, pages 157–162. IEEE Computer Society Press, October 1994.CrossRefGoogle Scholar
  4. [MCK99]
    S. R. Mohanty, V. Chandra, and R. Kumar. A computer implementable algorithm for the synthesis of an optimal controller for acyclic discrete event processes. In Proc. of 1999 IEEE Int. Conf. on Robotics and Automation, May 1999.Google Scholar
  5. [RW89]
    Peter J. G. Ramadge and W. Murray Wonham. The control of discrete event systems. Proc. of the IEEE, 77(1):81–98,January 1989.Google Scholar
  6. [Won99]
    W.M. Wonham. Notes on control of discrete event systems. Systems Control Group, Dept. of Electrical and Computer Engineering, Univ. of Toronto, Canada; at http://www.control.utoronto.ca/ under “Research”, 1999.
  7. [WR87]
    W.M. Wonham and P.J. Ramadge. On the supremal controllable sublanguage of a given language. SIAM J. Control Optim., 25 (3): 637–659, May 1987.MathSciNetCrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2002

Authors and Affiliations

  • P. Dietrich
    • 1
  • R. Malik
    • 2
  • W. M. Wonham
    • 3
  • B. A. Brandin
    • 2
  1. 1.Dept. of Computer ScienceUniversity of KaiserslauternKaiserslauternGermany
  2. 2.Siemens Corporate Research, CT SE 4MunichGermany
  3. 3.System Control Group, Dept. of Electrical and Computer EngineeringUniversity of TorontoTorontoCanada

Personalised recommendations