Modeling for supervisor synthesis – a lock-bridge combination case study

Designing supervisory controllers for high-tech systems is becoming increasingly complex due to demands for verified safety, higher quality and availability, and extending functionality. Supervisor synthesis is a method to automatically derive a supervisor from a model of the plant and a model of the control requirements. While supervisor synthesis is an active research topic, only a few reports exist on industrial applications. One of the reasons for this is the lack of acquaintance of control engineers with modeling and specifying in the framework of automata. In addition to this, there are no clear guidelines for obtaining the necessary models for synthesis. In this paper, we describe a general way of modeling for the plant and the requirements in order to contribute towards the acceptance of supervisor synthesis in industry. This way of modeling is illustrated with an industrial case study in which a supervisory controller is synthesized for the Algera complex. The Algera complex consists of a waterway lock and a movable bascule bridge. The supervisor has to control 80 actuators based on the observations from 96 discrete sensors, in response to 63 control commands available from the operator. We show how to model the plant as a collection of extended finite-state automata, how to model the requirement as a collection of event conditions, how to synthesize the monolithic supervisor, and how to validate the resulting supervisor using continuous-time simulation.

[1]  Jürgen Dingel,et al.  Concurrency control generation for dynamic threads using Discrete-Event Systems , 2009, 2009 47th Annual Allerton Conference on Communication, Control, and Computing (Allerton).

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

[3]  Oscar Ljungkrantz,et al.  Implementing a Control System Framework for Automatic Generation of Manufacturing Cell Controllers , 2007, Proceedings 2007 IEEE International Conference on Robotics and Automation.

[4]  T. Henzinger.  The theory of hybrid automata , 1996, LICS 1996.

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

[6]  Abdenour Bouzouane,et al.  Designing Smart Homes Dedicated to Disabled People Using Modular Discrete Controller Synthesis , 2014, WODES.

[7]  Knut Åkesson,et al.  Modeling of discrete event systems using finite automata with variables , 2007, 2007 46th IEEE Conference on Decision and Control.

[8]  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).

[9]  Bengt Lennartson,et al.  Efficient supervisory synthesis of large systems , 2004 .

[10]  Scott A. Mahlke,et al.  Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control , 2013, IEEE Transactions on Control Systems Technology.

[11]  Salman Kurtulan,et al.  An implementation methodology for supervisory control theory , 2008 .

[12]  M.H. de Queiroz,et al.  Synthesis and implementation of local modular supervisory control for a manufacturing cell , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[13]  John M. Wassick,et al.  Supervisor Synthesis to Satisfy Safety and Reachability Requirements in Chemical Process Control , 2014, WODES.

[14]  Jean-François Pétin,et al.  Supervisory synthesis for product-driven automation and its application to a flexible assembly cell , 2007 .

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

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

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

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

[19]  Mustapha Nourelfath,et al.  Modular supervisory control of an experimental automated manufacturing system , 2004 .

[20]  Raja Sengupta,et al.  Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..

[21]  S. Balemi,et al.  Supervisory control of a rapid thermal multiprocessor , 1993, IEEE Trans. Autom. Control..

[22]  Bengt Lennartson,et al.  Symbolic On-the-Fly Synthesis in Supervisory Control Theory , 2016, IEEE Transactions on Control Systems Technology.

[23]  J. Zaytoon,et al.  Synthesis of control implementation for discrete manufacturing systems , 2001 .

[24]  L. Pietrac,et al.  A component-based approach for supervisory control , 2012, 2012 20th Mediterranean Conference on Control & Automation (MED).

[25]  Jasen Markovski,et al.  A state-based framework for supervisory control synthesis and verification , 2010, 49th IEEE Conference on Decision and Control (CDC).

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

[27]  V. Chandra,et al.  A Event Occurrence Rules based Compact Modeling Formalism for a Class of Discrete Event Systems , 2002 .

[28]  B.A. Brandin,et al.  The real-time supervisory control of an experimental manufacturing cell , 1996, IEEE Trans. Robotics Autom..

[29]  Ernst-Rüdiger Olderog,et al.  Synthesizing Controllers for Multi-lane Traffic Maneuvers , 2015, SETTA.

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

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

[32]  Jinwoo Park,et al.  A Supervisory Control Approach for Execution Control of an FMC , 2001 .

[33]  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).

[34]  Ricardo H. C. Takahashi,et al.  Control of Flexible Manufacturing Systems under model uncertainty using Supervisory Control Theory and evolutionary computation schedule synthesis , 2016, Inf. Sci..

[35]  Eduardo Alves Portela Santos,et al.  Dealing with routing in an automated manufacturing cell: a supervisory control theory application , 2011 .

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

[37]  Bernard Riera,et al.  Synthesis and implementation of logic controllers - A review , 2017, Annu. Rev. Control..

[38]  Joseph Sifakis,et al.  Composition for component-based modeling , 2005, Sci. Comput. Program..

[39]  Tony J. Dodd,et al.  Supervisory control theory applied to swarm robotics , 2016, Swarm Intelligence.

[40]  Gábor Kovács,et al.  Multi-face modeling for rapid prototyping of discrete event control systems , 2009, 2009 European Control Conference (ECC).

[41]  Bengt Lennartson,et al.  Symbolic Computation of Reduced Guards in Supervisory Control , 2011, IEEE Transactions on Automation Science and Engineering.

[42]  Alexander Verbraeck,et al.  Component-based light-rail modeling in discrete event systems specification (DEVS) , 2015, Simul..

[43]  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).

[44]  Knut Åkesson,et al.  Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata , 2011, IEEE Transactions on Automation Science and Engineering.

[45]  Jürgen Dingel,et al.  Automated service composition via supervisory control theory , 2016, 2016 13th International Workshop on Discrete Event Systems (WODES).

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

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

[48]  Ivica Crnkovic.  Component-based software engineering - new challenges in software development , 2001, Softw. Focus.

[49]  Thomas Moor,et al.  Applied supervisory control for a flexible manufacturing system , 2010, WODES.

[50]  Knut Åkesson,et al.  Supremica–An Efficient Tool for Large-Scale Discrete Event Systems , 2017 .

[51]  Beno Benhabib,et al.  Application of discrete-event-system theory to flexible manufacturing , 1996 .

[52]  Twan Basten,et al.  Modular model-based supervisory controller design for wafer logistics in lithography machines , 2015, 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS).

[53]  Julien Provost,et al.  PLC Implementation of Symbolic, Modular Supervisory Controllers , 2018 .

[54]  Ratnesh Kumar,et al.  Automated control synthesis for an assembly line using discrete event system control theory , 2003, IEEE Trans. Syst. Man Cybern. Part C.

[55]  Ramon R. H. Schiffelers,et al.  Application of Supervisory Control Synthesis to a Patient Support Table of a Magnetic Resonance Imaging Scanner , 2014, IEEE Transactions on Automation Science and Engineering.

[56]  W. M. Wonham,et al.  Discrete event systems modeling and control of a manufacturing testbed , 1995, Proceedings 1995 Canadian Conference on Electrical and Computer Engineering.