As part of the ANR project DT4CPS – Digital Twins for Cyber-Physical Systems) funded by the French National Research Agency, the CRESTIC laboratory at the University of Reims and the QUARTZ laboratory at ISAE-Supméca are working together to develop tools and methods for the corrrect by construction synthesis of logical controllers.
Manufacturing systems are considered and are seen as Discrete Event Systems (DES) with logical inputs (sensors) and logical outputs (actuators). The goal of a logic controller is to decide at each time the right actions to start in function of the current state of the manufacturing system and the values of the sensors . In this work, controller is seen as a scheduler of operative (or functional) independent tasks.
Starting from the design requirements, our goal is to build automatically a logic controller correct by construction. To achieve this goal, a set of purely declarative DEPS Models has been developped, allowing the designer to formulate its logic controller design problem.
Then the problem is solved by the integrated solver of DEPS Studio. It gives at each time the guaranted control to apply to the manufacturing system which is consistant with the requirements.
[1]. M. Roisin, P-A. Yvars, B. Riera, Constraint Programming for Logic controller Synthesis, proc of IEEE/IFAC 10th International Conference on Control, Decision and Information Technologies, CoDIT 2024
[2] M. Roisin, D. Annebicque, P-A. Yvars, B. Riera, Synthèse de système à base de modèles pour la conception de contrôleur logique correct par construction, S.Mart 2025.