Algebraic Synthesis of Safety Logical Filter on Manufacturing Systems
Résumé
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.
Origine : Fichiers produits par l'(les) auteur(s)