Constraint Programming for Logic controller Synthesis
Résumé
This article deals with the use of a constraint satisfaction problem (CSP) modeling with a constraint programming (CP) solver to support the synthesis of logical controllers for Programmable Logic Controller (PLC). In this work, manufacturing systems are considered and are seen as Discrete Event Systems (DES) with logical inputs (sensors) and logical outputs (actuators). The controller is seen as a scheduler of operative (or functional) independent tasks. The methodology is based on the definition of constraints. The solver will indicate, based on the previous PLC variables state, the possible tasks which could be activated. In addition, it is proposed a solution to get only one solution, enabling, in the future, a possible implementation in a PLC.
Origine | Fichiers produits par l'(les) auteur(s) |
---|