CIF 3: Model-Based Engineering of Supervisory Controllers

The engineering of supervisory controllers for large and complex cyber-physical systems requires dedicated engineering support. The Compositional Interchange Format language and toolset have been developed for this purpose. We highlight a model-based engineering framework for the engineering of supervisory controllers and explain how the CIF language and accompanying tools can be used for typical activities in that framework such as modeling, supervisory control synthesis, simulation-based validation, verification, and visualization, real-time testing, and code generation. We mention a number of case studies for which this approach was used in the recent past. We discuss future developments on the level of language and tools as well as research results that may be integrated in the longer term.

[1]  Tetsuo Tomiyama,et al.  Advanced Engineering Informatics , 2007, Adv. Eng. Informatics.

[2]  Wan Fokkink,et al.  Maximal Synthesis for Hennessy-Milner Logic , 2013, 2013 13th International Conference on Application of Concurrency to System Design.

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

[4]  D. van Dijk.  Supervisory control of a Philips MRI-scanner , 2013 .

[5]  Wan Fokkink,et al.  Maximal Synthesis for Hennessy-Milner Logic , 2015, ACM Trans. Embed. Comput. Syst..

[6]  D. A. van Beek,et al.  Concrete syntax and semantics of the compositional interchange format for hybrid systems , 2008 .

[7]  Jasen Markovski,et al.  Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking , 2013, PASM/PDMC.

[8]  D. A. van Beek,et al.  A semantic-preserving transformation from the compositional interchange format to UPPAAL , 2011 .

[9]  Dipl.-Inform. Karl-Heinz John,et al.  IEC 61131-3: Programming Industrial Automation Systems , 2001, Springer Berlin Heidelberg.

[10]  Thomas A. Henzinger,et al.  Hybrid Systems: Computation and Control , 1998, Lecture Notes in Computer Science.

[11]  Thomas A. Henzinger,et al.  The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[12]  J. E. Rooda,et al.  Improving evolvability of a patient communication control system using state-based supervisory control synthesis , 2012, Adv. Eng. Informatics.

[13]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[14]  P. Ramadge,et al.  On the supermal controllable sublanguage of a given language , 1987 .

[15]  R. H. J. Kamphuis.  Design and real-time implementation of a supervisory controller for baggage handling at Veghel Airport , 2013 .

[16]  Jasen Markovski,et al.  An integrated state- and event-based framework for verifying liveness in supervised systems , 2012, 2012 12th International Conference on Control Automation Robotics & Vision (ICARCV).

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

[18]  Vijay Kumar,et al.  Modular Specification of Hybrid Systems in CHARON , 2000, HSCC.

[19]  Nancy A. Lynch,et al.  Hybrid I/O Automata Revisited , 2001, HSCC.

[20]  J. E. Rooda,et al.  Syntax and semantics of the compositional interchange format for hybrid systems , 2013, J. Log. Algebraic Methods Program..

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

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

[23]  Jasen Markovski,et al.  Verifying Performance of Supervised Plants , 2012, 2012 12th International Conference on Application of Concurrency to System Design.

[24]  P. Ramadge,et al.  On the supremal controllable sublanguage of a given language , 1984, The 23rd IEEE Conference on Decision and Control.