Implementation Considerations in Supervisory Control
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.
KeywordsControllable Event Supervisory Control Marked State Discrete Event System Inlet Valve
Unable to display preview. Download preview PDF.
- [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
- [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
- [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
- [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
- [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.