Synthesis and implementation of logic controllers - A review

Abstract This paper provides an overview of some well-known formal approaches for the synthesis and implementation of logic controllers. Most of these approaches are based on the use and the adaptation/extension of the supervisory control theory of discrete-event systems. Recent contributions, based on algebraic synthesis and logic constraints are also be highlighted.

[1]  Amir Pnueli,et al.  On the synthesis of a reactive module , 1989, POPL '89.

[2]  Jean-Marc Faure,et al.  Designing dependable logic controllers using algebraic specifications , 2004 .

[3]  Murat Uzam,et al.  The synthesis and PLC implementation of hybrid modular supervisors for real time control of an experimental manufacturing system , 2014 .

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

[5]  Doaa Soliman,et al.  Verification and validation of safety applications based on PLCopen safety function blocks , 2011 .

[6]  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.

[7]  Eric Niel,et al.  Advantages and Drawbacks of the Logic Programme Synthesis using Supervisory Control Theory , 2001 .

[8]  Jean-Marc Faure,et al.  Translating Grafcet specifications into Mealy machines for conformance test purposes , 2011 .

[9]  Timothy L. Johnson.  Improving automation software dependability: A role for formal methods? , 2004 .

[10]  Manuel Silva Suárez,et al.  Modeling, validation and software implementation of production systems using high level Petri nets , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

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

[12]  Domitilla Del Vecchio,et al.  Supervisory control for collision avoidance in vehicular networks using discrete event abstractions , 2013, 2013 American Control Conference.

[13]  José Eduardo Ribeiro Cury,et al.  A Method for PLC Implementation of Supervisory Control of Discrete Event Systems , 2017, IEEE Transactions on Control Systems Technology.

[14]  R. Kumar,et al.  Asynchronous implementation of synchronous discrete event control , 2008, 2008 9th International Workshop on Discrete Event Systems.

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

[16]  Marek B. Zaremba,et al.  Manufacturing Enterprise Control and Management System Engineering: paradigms and open issues , 2003, Annu. Rev. Control..

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

[18]  W. Wonham,et al.  Supervisory control of timed discrete-event systems , 1994, IEEE Trans. Autom. Control..

[19]  J.-J. Lesage,et al.  Algebraic synthesis of transition conditions of a state model , 2008, 2008 9th International Workshop on Discrete Event Systems.

[20]  René David,et al.  Petri nets and grafcet - tools for modelling discrete event systems , 1992 .

[21]  B. Riera,et al.  A non-intrusive method to make safe existing PLC Program , 2015 .

[22]  Frank M. Brown,et al.  Boolean reasoning - the logic of boolean equations , 1990 .

[23]  Ralph P. Grimaldi,et al.  Discrete and Combinatorial Mathematics: An Applied Introduction , 1998 .

[24]  Panos J. Antsaklis,et al.  Feedback control of Petri nets based on place invariants , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[25]  Walter Murray Wonham,et al.  On the complexity of supervisory control design in the RW framework , 2000, IEEE Trans. Syst. Man Cybern. Part B.

[26]  Professor Sergiu Rudeanu.  Lattice Functions and Equations , 2001, Discrete Mathematics and Theoretical Computer Science.

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

[28]  W. M. Wonham,et al.  Implementation Considerations in Supervisory Control , 2002 .

[29]  Sebastian Ulewicz,et al.  Review of Model-Based Testing Approaches in Production Automation and Adjacent Domains—Current Challenges and Research Gaps , 2015 .

[30]  W. M. Wonham,et al.  A hybrid approach to supervisory control of discrete event systems coupling RW supervisors to Petri nets , 2006 .

[31]  Bernard Riera,et al.  Prevention of human control errors by robust filter for manufacturing system , 2010, IFAC HMS.

[32]  Jean-Jacques Lesage,et al.  Algebraic synthesis of logical controllers despite inconsistencies in specifications , 2012, WODES.

[33]  Francesco Basile,et al.  On the Implementation of Industrial Automation Systems Based on PLC , 2013, IEEE Transactions on Automation Science and Engineering.

[34]  H. S. Osborne,et al.  The international electrotechnical commission , 1953, Electrical Engineering.

[35]  Eduardo Alves Portela Santos,et al.  Application of the supervisory control theory in the project of a robot-centered, variable routed system controller , 2008, 2008 IEEE International Conference on Emerging Technologies and Factory Automation.

[36]  R. Malik,et al.  Incremental system verification and synthesis of minimally restrictive behaviours , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[37]  Alessandro Giua,et al.  Modeling and Supervisory Control of Railway Networks Using Petri Nets , 2008, IEEE Transactions on Automation Science and Engineering.

[38]  Marcelo da Silva Hounsell,et al.  PLC-Based Implementation of Local Modular Supervisory Control for Manufacturing Systems , 2012 .

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

[40]  S. Balemi.  Control of discrete event systems , 1992 .

[41]  J.-J. Lesage,et al.  Validation and verification of grafcets using finite state machine , 1996 .

[42]  Georg Frey,et al.  Towards a Model-Driven IEC 61131-Based Development Process in Industrial Automation , 2011, J. Softw. Eng. Appl..

[43]  Jean-Jacques Lesage,et al.  Identification of Discrete Event Systems - Implementation Issues and Model Completeness , 2010, ICINCO.

[44]  Murat Uzam,et al.  An improved hybrid approach for the PLC-based implementation of reduced RW supervisors , 2013 .

[45]  Jean-Louis Boulanger.  Industrial Use of Formal Methods: Formal Verification , 2012 .

[46]  M.H. de Queiroz,et al.  Modular control of composed systems , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[47]  Birgit Vogel-Heuser,et al.  Close integration between UML and IEC 61131-3: New possibilities through object-oriented extensions , 2009, 2009 IEEE Conference on Emerging Technologies & Factory Automation.

[48]  Marcelo da Silva Hounsell,et al.  Supervisory control implementation into Programmable Logic Controllers , 2009, 2009 IEEE Conference on Emerging Technologies & Factory Automation.

[49]  Drago Matko,et al.  Discrete event control theory applied to PLC programming , 2002 .

[50]  Jean-Jacques Lesage,et al.  Design of Logic Controllers Thanks to Symbolic Computation of Simultaneously Asserted Boolean Equations , 2014 .

[51]  Guillermo E. Rotstein,et al.  An Integrated Environment for the Design of Procedural Controllers , 1998 .

[52]  Murat Uzam,et al.  The real-time supervisory control of an experimental manufacturing system based on a hybrid method , 2009 .

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

[54]  José Eduardo Ribeiro Cury,et al.  A Model for PLC Implementation of Supervisory Control of Discrete Event Systems , 2006, 2006 IEEE Conference on Emerging Technologies and Factory Automation.

[55]  Alessandro Giua,et al.  Generalized mutual exclusion contraints on nets with uncontrollable transitions , 1992, [Proceedings] 1992 IEEE International Conference on Systems, Man, and Cybernetics.

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

[57]  E.G. Schmidt,et al.  Communication of distributed discrete-event supervisors on a switched network , 2008, 2008 9th International Workshop on Discrete Event Systems.

[58]  Janan Zaytoon.  A Contribution to the Validation of Grafcet Controlled Systems , 2000, Eur. J. Control.

[59]  Marcin Jamro.  POU-Oriented Unit Testing of IEC 61131-3 Control Software , 2015, IEEE Transactions on Industrial Informatics.

[60]  Bruce H. Krogh,et al.  Synthesis of feedback control logic for a class of controlled Petri nets , 1990 .

[61]  Walter Murray Wonham,et al.  Hierarchical control of discrete-event systems , 1996, Discret. Event Dyn. Syst..

[62]  Manfred Broy,et al.  Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004] , 2005, Model-Based Testing of Reactive Systems.

[63]  W. M. Wonham,et al.  Systematic supervisory control solutions for under-load tap-changing transformers , 2008 .

[64]  Antonio F. B. A. Prado,et al.  Effects of the Eccentricity of a Perturbing Third Body on the Orbital Correction Maneuvers of a Spacecraft , 2014 .

[65]  Fahim Ahmed,et al.  Sampled-data supervisory control , 2014, Discret. Event Dyn. Syst..

[66]  Béatrice Bérard,et al.  Verification of a Timed Multitask System With Uppaal , 2005, IEEE Transactions on Automation Science and Engineering.

[67]  Janan Zaytoon.  On the recent advances in Grafcet , 2002 .

[68]  Janan Zaytoon,et al.  Grafcet: Behavioural Issues and Control Synthesis , 2002, Eur. J. Control.

[69]  Kazuko Takahashi,et al.  A Description and Reasoning of Plant Controllers in Temporal Logic , 1983, IJCAI.

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

[71]  Hongye Su,et al.  Non‐blocking decentralized control of discrete event systems based on Petri nets , 2010 .

[72]  RenC David,et al.  Grafcet: a powerful tool for specification of logic controllers , 1995, IEEE Trans. Control. Syst. Technol..

[73]  Valeriy Vyatkin,et al.  Formal validation of intelligent-automated production systems: towards industrial applications , 2006, Int. J. Manuf. Technol. Manag..

[74]  D. Gouyon *,et al.  Pragmatic approach for modular control synthesis and implementation , 2004 .

[75]  Jing Huang,et al.  Optimal Nonblocking Directed Control of Discrete Event Systems , 2007, 2007 American Control Conference.

[76]  João Carlos Basilio,et al.  Bridging the Gap Between Design and Implementation of Discrete-Event Controllers , 2014, IEEE Transactions on Automation Science and Engineering.

[77]  Walter Murray Wonham,et al.  Decentralized supervisory control of discrete-event systems , 1987, Inf. Sci..

[78]  Walter Murray Wonham,et al.  Hierarchical interface-based supervisory Control-part I: serial case , 2005, IEEE Transactions on Automatic Control.

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

[80]  S. Marcus,et al.  On controllability and normality of discrete event dynamical systems , 1991 .

[81]  Knut Åkesson,et al.  Automatic model generation and PLC-code implementation for interlocking policies in industrial robot cells , 2007 .

[82]  Albert Benveniste,et al.  The synchronous approach to reactive and real-time systems , 1991 .

[83]  MengChu Zhou,et al.  Design and implementation of a petri net based supervisor for a flexible manufacturing system , 1992, Autom..

[84]  Matthieu Perin,et al.  Building meaningful timed models of closed-loop DES for verification purposes , 2013 .

[85]  M. Fabian,et al.  Implementing supervisory control for chemical batch processes , 1999, Proceedings of the 1999 IEEE International Conference on Control Applications (Cat. No.99CH36328).

[86]  Alexander Fay,et al.  Formal representation of GRAFCET to automatically generate control code , 2014 .

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

[88]  Jean-Marc Roussel,et al.  Algebraic synthesis of logical controllers with optimization criteria , 2012 .

[89]  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.

[90]  W. M. Wonham,et al.  Think globally, act locally: decentralized supervisory control , 1992 .

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

[92]  Lothar Litz,et al.  Formal methods in PLC programming , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.

[93]  Murat Uzam,et al.  A general technique for the PLC-Based implementation of RW supervisors with time delay functions , 2012 .

[94]  Kunihiko Hiraishi.  Synthesis of Supervisors Using Learning Algorithm of Regular Languages , 2001, Discret. Event Dyn. Syst..

[95]  Kwang-Hyun Cho,et al.  Delay-robust supervisory control of discrete-event systems with bounded communication delays , 2006, IEEE Trans. Autom. Control..

[96]  T. Moor,et al.  A Hierarchical Architecture for Nonblocking Control of Discrete Event Systems , 2005, Proceedings of the 2005 IEEE International Symposium on, Mediterrean Conference on Control and Automation Intelligent Control, 2005..

[97]  Klaus Schneider,et al.  Synthesizing deterministic controllers in supervisory control , 2005, ICINCO.

[98]  Éric Rutten,et al.  Integrating discrete controller synthesis into a reactive programming language compiler , 2013, Discret. Event Dyn. Syst..

[99]  Jing Huang,et al.  Directed Control of Discrete Event Systems for Safety and Nonblocking , 2008, IEEE Transactions on Automation Science and Engineering.

[100]  Olivier H. Roux,et al.  On-line compositional controller synthesis for AGV , 2016, Discret. Event Dyn. Syst..

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

[102]  Jean-Jacques Lesage,et al.  Algebraic synthesis of dependable logic controllers , 2008 .

[103]  Martin Fabian,et al.  PLC-based implementation of supervisory control for discrete event systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[104]  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.

[105]  W. Wonham,et al.  Control of vector discrete-event systems. I. The base model , 1993, IEEE Trans. Autom. Control..

[106]  Salam Hajjar,et al.  Synthesizing safe control-command systems out of reusable components , 2015 .

[107]  Carolyn L. Beck,et al.  Synthesis of Place Transition Nets for Simulation and Control of Manufacturing Systems , 1987 .

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

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

[110]  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..

[111]  MengChu Zhou,et al.  Ladder diagram and Petri-net-based discrete-event control design methods , 2004, IEEE Trans. Syst. Man Cybern. Part C.

[112]  Francesco Basile,et al.  On the Implementation of Supervised Control of Discrete Event Systems , 2007, IEEE Transactions on Control Systems Technology.

[113]  P. Gohari,et al.  Implementing supervisory control maps with PLC , 2007, 2007 American Control Conference.

[114]  Birgit Vogel-Heuser,et al.  A Light-Weight Fault Injection Approach to Test Automated Production System PLC Software in Industrial Practice , 2017 .

[115]  Hans-Michael Hanisch,et al.  A modular plant modeling technique and related controller synthesis problems , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

[116]  Sandro Macchietto,et al.  Design of procedural controllers for chemical processes , 1995 .

[117]  Valeriy Vyatkin,et al.  Redesign Distributed PLC Control Systems Using IEC 61499 Function Blocks , 2012, IEEE Transactions on Automation Science and Engineering.

[118]  P. Antsaklis,et al.  Reduced-order controllers for continuous and discrete-time singular H ∞ control problems based on LMI , 1996 .

[119]  Bernard Riera,et al.  Control Design Pattern Based on Safety Logical Constraints for Manufacturing Systems: Application to a Palletizer , 2014, WODES.

[120]  Stéphane Lafortune,et al.  A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems , 2002, Discret. Event Dyn. Syst..

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

[122]  Ratnesh Kumar,et al.  Supervisory control of deterministic Petri nets with regular specification languages , 1996, IEEE Trans. Autom. Control..

[123]  Stanko Strmčnik,et al.  Model-driven engineering of process control software – beyond device-centric abstractions , 2013 .

[124]  Paul Le Guernic,et al.  Synthesis of Discrete-Event Controllers Based on the Signal Environment , 2000, Discret. Event Dyn. Syst..