Event enforcement in the context of the supervisory control theory

The Supervisory Control Theory allows the modelbased synthesis of restrictive controllers for Discrete Event Systems. To enable the design of enforcing controllers, the consideration of enforceability is reasonable besides the event property of controllability. Therefore, either the formal framework may be extended by admitting an appropriate control law, or the modeling strategy may be adjusted. In this paper, we present four different approaches for the consideration of event enforcement in the context of the Supervisory Control Theory, discuss their advantages and disadvantages, and compare them by the application to a simple example.

[1]  R. Malik,et al.  Supremica - An integrated environment for verification, synthesis and simulation of discrete event systems , 2006, 2006 8th International Workshop on Discrete Event Systems.

[2]  Jean-Marc Roussel,et al.  DESIGNING DEPENDABLE LOGIC CONTROLLERS USING THE SUPERVISORY CONTROL THEORY , 2005 .

[3]  S. Lafortune.  Supervisory Control Of Discrete Event Systems , 2011 .

[4]  J.-M. Roussel,et al.  Reactive control system design using the Supervisory Control Theory: Evaluation of possibilities and limits , 2008, 2008 9th International Workshop on Discrete Event Systems.

[5]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[6]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[7]  Luciano Lavagno,et al.  Synthesis and Control of Discrete Event Systems , 2002, Springer US.

[8]  C. Golaszewski,et al.  Control of discrete event processes with forced events , 1987, 26th IEEE Conference on Decision and Control.

[9]  F. Lin,et al.  An optimal effective controller for discrete event systems , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[10]  T. Moor,et al.  libFAUDES — An open source C++ library for discrete event systems , 2008, 2008 9th International Workshop on Discrete Event Systems.

[11]  Robin Diekmann,et al.  Optimal control design for DES using supervisory control theory with enforceable events , 2012, 2012 17th International Conference on Methods & Models in Automation & Robotics (MMAR).