CONTROL SYNTHESIS BASED ON SAFETY BOOLEAN GUARDS FOR MANUFACTURING SYSTEMS: APPLICATION TO A SORTING SYSTEM

Bernard Riera (1) , Raphael Coupat (1) , David Annebicque (1) , Philippot Alexandre (1) , Francois Gellot (1)

1 CRESTIC - Centre de Recherche en Sciences et Technologies de l'Information et de la Communication - EA 3804

This paper presents an original approach of safe control synthesis for manufacturing systems controlled by Programmable Logic Controller (PLC). In this work, manufacturing systems are considered as Discrete Event Systems (DES) with logical Inputs (sensors) and logical Outputs (actuators). The proposed approach, which separates the functional control part from the safety control part, is easy to implement and guarantees that the designed controller is safe. The methodology is based on the use of safety constraints in order to design a safe permissive controller. This controller is then constrained by functional constraints. The approach is illustrated with a sorting boxes simulated process using the ITS PLC software from the Real Games Company (www.realgames.pt). The control algorithm is presented in details in the paper. This approach can be used with an existing PLC program in order to guarantee its safety. However, it also allows to result in a safe control, may be simpler than a conventional approach based on a complete specification for instance in GRAFCET (IEC 60848) that does not distinguish the functional aspect from the safety aspect.

Mots clés: Discrete-Event Systems; Control; Safety; Programmable Logic Controllers; Manufacturing Systems

Domaines: Sciences de l'ingénieur [physics]

Bernard Riera, Raphael Coupat, David Annebicque, Philippot Alexandre, Francois Gellot. CONTROL SYNTHESIS BASED ON SAFETY BOOLEAN GUARDS FOR MANUFACTURING SYSTEMS: APPLICATION TO A SORTING SYSTEM . MOSIM 2014, 10ème Conférence Francophone de Modélisation, Optimisation et Simulation, Nov 2014, Nancy, France. ⟨hal-01166614⟩