Algebraic Synthesis of Safety Logical Filter on Manufacturing Systems

T Ranger (1) , Philippot Alexandre (1) , Bernard Riera (1)

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

This work focuses on the management of safety constraints for the control of cyberphysical manufacturing systems. A methodology for constructing a set of constraints to ensure the safety of an existing control law is proposed. The resolution of this constraint set is performed using algebraic synthesis. This tool facilitates the implementation of a logic filter in a way that complies with IEC 61131-3.

Mots clés: Discrete Event Systems; Programmable Logic Controllers; Safety; Formal Methods; Algebraic Approaches

Domaines: Automatique / Robotique

T Ranger, Philippot Alexandre, Bernard Riera. Algebraic Synthesis of Safety Logical Filter on Manufacturing Systems. IFAC Workshop on Intelligent Manufacturing Systems (IMS), 2022, Tel Aviv, Israel. pp.169-174. ⟨hal-03716080⟩