Communication Dans Un Congrès Année : 2025

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.

Fichier principal
Vignette du fichier
Constraint Programming for Logic controller Synthesis.pdf (467) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04914353 , version 1 (10-02-2025)

Identifiants

Citer

Mathieu Roisin, Pierre-Alain Yvars, Bernard Riera. Constraint Programming for Logic controller Synthesis. 2024 10th International Conference on Control, Decision and Information Technologies (CoDIT), Jul 2024, Vallette, Malta. pp.1843-1848, ⟨10.1109/codit62066.2024.10708360⟩. ⟨hal-04914353⟩
0 Consultations
0 Téléchargements

Altmetric

Partager

More