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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
C. G. Cassandras and S. Lafortune. Introduction to Discrete Event Systems. Kluwer Academic Publishers, September 1999.
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.
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.
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.
Peter J. G. Ramadge and W. Murray Wonham. The control of discrete event systems. Proc. of the IEEE, 77(1):81–98,January 1989.
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.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Dietrich, P., Malik, R., Wonham, W.M., Brandin, B.A. (2002). Implementation Considerations in Supervisory Control. In: Caillaud, B., Darondeau, P., Lavagno, L., Xie, X. (eds) Synthesis and Control of Discrete Event Systems. Springer, Boston, MA. https://doi.org/10.1007/978-1-4757-6656-1_12
Download citation
DOI: https://doi.org/10.1007/978-1-4757-6656-1_12
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4419-4942-4
Online ISBN: 978-1-4757-6656-1
eBook Packages: Springer Book Archive