From events to complex behaviors: a formal contribution to the requirement expression in Supervisory Control Theory

The Supervisory Control Theory (SCT) provides a formal framework for modeling Discrete-Event Systems (DES) and for controller synthesis, by distinguishing explicitly the non-controlled system from its specifications. Many extensions have been built on top of SCT, which continues to be extensively applied in the domain of DES design, and has given rise worldwide to many research projects. The events used as a central modeling artefact are the key to this success. However, the dynamics that can be modeled using SCT can only be designed in terms of event successions. This does not set a limit, in theory, but has leads to a practical drawback: expressing some specifications can become tedious. In this article we propose a new type of automata, meant to ease the expression of these specifications, while rigorously remaining within the discrete-event system control framework, relying on automata such as used by the Ramadge-Wonham theory.

[1]  Jasen Markovski,et al.  Coordination of resources using generalized state-based requirements , 2010, WODES.

[2]  Kiam Tian Seow,et al.  On Specification Transparency: Toward A Formal Framework for Designer Comprehensibility of Discrete-Event Control Specifications in Finite Automata , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

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

[4]  Bengt Lennartson,et al.  Supervisor computation and representation: A case study , 2010, WODES.

[5]  W.M. Wonham,et al.  A Symbolic Approach to the Supervision of State Tree Structures , 2005, Proceedings of the 2005 IEEE International Symposium on, Mediterrean Conference on Control and Automation Intelligent Control, 2005..

[6]  Shengbing Jiang,et al.  2080 SHENGBING JIANG AND RATNESH KUMAR , 2006 .

[7]  Lou Somers,et al.  Specifying state-based supervisory control requirements , 2009 .

[8]  Kiam Tian Seow.  Integrating Temporal Logic as a State-Based Specification Language for Discrete-Event Control Design in Finite Automata , 2007, IEEE Transactions on Automation Science and Engineering.

[9]  Wan Fokkink,et al.  Maximally permissive controlled system synthesis for non-determinism and modal logic , 2017, Discret. Event Dyn. Syst..

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

[11]  W. M. Wonham,et al.  Supervisor specification and synthesis for discrete event systems , 1988 .

[12]  Jwu-Sheng Hu,et al.  A modified method for supervisor specification and synthesis of a class of discrete event systems , 1999, Proceedings of the 1999 American Control Conference (Cat. No. 99CH36251).

[13]  J. M. van de Mortel-Fronczak,et al.  Application of supervisory control theory to theme park vehicles , 2012, WODES.

[14]  P. Ramadge,et al.  Supervision of discrete event processes , 1982, 1982 21st IEEE Conference on Decision and Control.