Abstract:Industrial automation is largely based on PLC-based control systems. PLCs are today mostly programmed in the languages of the IEC 61131 standard which are not ready to meet the new challenges of widely distributed automation systems. Currently, an extension of IEC 61131 which includes object oriented programming as well as the new standard IEC 61499 are available. Moreover, service-oriented paradigms where autonomous and interoperable resources provide their functionalities in the form of services that can be accessed externally by clients without knowing the underlining implementation have been presented in the literature. In the supervisory control theory, methodologies based on formal models have been developed to improve the coordination of concurrent and distributed systems. In this paper, an event-driven approach is proposed to improve the design of industrial control systems using commercial PLCs. At a lower level, basic sequences are coded in elementary software objects, called function blocks, providing their functionalities as services. At an upper level, a Petri Net (PN) controller forces the execution of such services according to desired sequences, while by a PN supervisor constraints on the sequences are satisfied. Note to Practitioners—Industrial automation programming and design is still based on PLCs. Forty years after their introduction, they are still the most prevalent implementation platform for automation systems in many industries. After 1992, their success increased a lot with the introduction of IEC 61131 standard which reduces the number of languages available on PLC platform. However, with the tools available in IEC 61131 it is not easy to develop complex distributed control systems. This paper proposes the introduction of new software and methodological tools yet available from industry and research to build control applications. This allows the synthesis of the controller from a formal definition of the controlled system's behavior and from the control specification but at same time as much as possible IEC 61131 compliant.

PLC-based implementation of supervisory control for flexible manufacturing systems using theory of regions

Synthesis of logical controllers and discrete-event systems supervisory control theory

Supervisor Synthesis for a Class of Forbidden State Problems in Petri Nets

Supervisor Synthesis For A Class Of Control Problems In Discrete Event Systems

A Hybrid Approach to Design Deadlock-Free Petri Net Controller for Discrete Event Systems

Structural Controller for Logical Expression of Linear Constraints on Petri Nets

Synthesis of Petri nets controller for discrete event systems based on finite capacity places-Part 2

An Extension of the Linear Integer Program Approach for Controller Synthesis of Des Modeled by Petri Nets

Theory of Regions Based Synthesis of the Maximally Permissive and Non Blocking Supervisory Control

Petri Net Based Supervisor For Hybrid-Logic Linear Constraints

Formal Component-Based Modeling and Synthesis for PLC Systems

NET TRANSFORMATION AND THEORY OF REGIONS FOR OPTIMAL SUPERVISORY CONTROL OF PETRI NETS

Conception Du Superviseur Optimal Vivant À L'aide De La Théorie Des Régions

Integrated Process And Controller Design Software Tool - Procacd

On the Implementation of Industrial Automation Systems Based on PLC

Synthesis of supervisor enforcing Parikh constraints with uncontrollable transitions in Petri Nets

Design of a Live and Maximally Permissive Petri Net Controller Using the Theory of Regions.

Design of Programmable Logic Controller (PLC) on Smart Fertilizer Distribution System

Modeling and Validation of PLC-Controlled Systems: A Case Study.

Research on the Control Model and the Automatically Generation of Control Logic Codes for Flexible Manufacturing Workstations

Formal Modeling and Synthesis of Programmable Logic Controllers