Supervisor specification and synthesis for discrete event systems
- 1 July 1988
- journal article
- research article
- Published by Informa UK Limited in International Journal of Control
- Vol. 48 (1), 321-332
- https://doi.org/10.1080/00207178808906178
Abstract
In this paper, a method for the specification of a supervisor for a discrete event system in terms of a legal constraint language which is defined in terms of illegal states and event sequences is proposed. This is a natural manner for the specification of mutual exclusion and synchronization requirements. A procedure for the synthesis of a supervisor which enforces the legal constraint language is also discussed.Keywords
This publication has 3 references indexed in Scilit:
- Modular supervisory control of discrete-event systemsMathematics of Control, Signals, and Systems, 1988
- Supervisory Control of a Class of Discrete Event ProcessesSIAM Journal on Control and Optimization, 1987
- On supervisor reduction in discrete-event systemsInternational Journal of Control, 1986