The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis

Supervisory control theory provides means to synthesize supervisors for a cyber-physical system based on models of the uncontrolled system components and models of the control requirements. Although several synthesis procedures have been proposed and automated, obtaining correct and useful models of industrial-size applications that are needed as their input remains a challenge. We show that the efficiency of supervisor synthesis techniques tends to increase significantly if a single large requirement is split into a set of smaller requirements. A theoretical underpinning is provided for showing the strength of this modeling guideline. Moreover, several examples from the literature as well as some real-life case studies are included for illustration.

[1]  Karen Rudie,et al.  Supervisory Control of Discrete-Event Systems: A Brief History – 1980-2015 , 2017 .

[2]  Walter Murray Wonham,et al.  Nonblocking supervisory control of state tree structures , 2005, IEEE Transactions on Automatic Control.

[3]  Robi Malik,et al.  A framework for compositional nonblocking verification of extended finite-state machines , 2015, Discret. Event Dyn. Syst..

[4]  W. Murray Wonham,et al.  Supervisory Control of Discrete-Event Systems , 2018 .

[5]  Mohammad Modarres.  Risk Analysis in Engineering : Techniques, Tools, and Trends , 2016 .

[6]  J. M. van de Mortel-Fronczak,et al.  Hardware-in-the-loop Set-up for Supervisory Controllers with an Application: the Prinses Marijke Complex , 2019, 2019 IEEE Conference on Control Technology and Applications (CCTA).

[7]  Jan Komenda,et al.  Control of an engineering-structured multilevel discrete-event system , 2016, 2016 13th International Workshop on Discrete Event Systems (WODES).

[8]  Stefan Kowalewski,et al.  Reusability and modularity of safety specifications for supervisory control , 2016, 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA).

[9]  Maxime Cordy,et al.  Incrementally synthesizing controllers from scenario-based product line specifications , 2013, ESEC/FSE 2013.

[10]  Bengt Lennartson,et al.  Supervisory Control of Manufacturing Systems Using Extended Finite Automata , 2014, Formal Methods in Manufacturing.

[11]  Jaume Barceló,et al.  Model-Based Systems Engineering: An Emerging Approach for Modern Systems , 2012, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[12]  W. Murray Wonham,et al.  Think Globally, Act Locally: Decentralized Supervisory Control , 1991, 1991 American Control Conference.

[13]  Robi Malik,et al.  A Framework for Compositional Synthesis of Modular Nonblocking Supervisors , 2014, IEEE Transactions on Automatic Control.

[14]  W. M. Wonham,et al.  On the consistency of hierarchical supervision in discrete-event systems , 1990 .

[15]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[16]  Michel Reniers,et al.  Systematic Model-Based Design and Implementation of Supervisors for Advanced Driver Assistance Systems , 2018, IEEE Transactions on Intelligent Transportation Systems.

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

[18]  Michel A. Reniers,et al.  Application of Dependency Structure Matrices and Multilevel Synthesis to a Production Line , 2018, 2018 IEEE Conference on Control Technology and Applications (CCTA).

[19]  W. M. Wonham,et al.  Supervisor Localization: A Top‐Down Approach to Distributed Control of Discrete‐Event Systems , 2009 .

[20]  Jacobus E. Rooda,et al.  Synthesize nonblocking distributed supervisors with coordinators , 2009, 2009 17th Mediterranean Conference on Control and Automation.

[21]  W. M. Wonham,et al.  Decentralized control and coordination of discrete-event systems with partial observation , 1990 .

[22]  P. Ramadge,et al.  Modular Supervisory Control of Discrete Event Systems , 1988 .

[23]  Michel A. Reniers,et al.  Structuring multilevel discrete-event systems with dependency structure matrices , 2017, 2017 IEEE 56th Annual Conference on Decision and Control (CDC).

[24]  A. T. Hofkamp,et al.  CIF 3: Model-Based Engineering of Supervisory Controllers , 2014, TACAS.

[25]  Rjm Rolf Theunissen.  Supervisory control in health care systems , 2015 .

[26]  Jacobus E. Rooda,et al.  Supervisory control synthesis for a lock-bridge combination , 2018 .

[27]  José E. R. Cury,et al.  Modular Supervisory Control of Large Scale Discrete Event Systems , 2000 .

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

[29]  Rong Su,et al.  Nonconflict check by using sequential automaton abstractions based on weak observation equivalence , 2010, Autom..

[30]  Tyson R. Browning,et al.  Design Structure Matrix Methods and Applications , 2012 .

[31]  José Eduardo Ribeiro Cury,et al.  Conceptual Design of Discrete-Event Systems Using Templates , 2011, Discret. Event Dyn. Syst..

[32]  W. M. Wonham,et al.  Exploiting Symmetry of Discrete-Event Systems by Relabeling and Reconfiguration , 2020, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[33]  J. M. van de Mortel-Fronczak,et al.  Supervisory control synthesis for a waterway lock , 2017, 2017 IEEE Conference on Control Technology and Applications (CCTA).

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

[35]  Felicita Di Giandomenico,et al.  Orchestration of Dynamic Service Product Lines with Featured Modal Contract Automata , 2017, SPLC.