Publications scientifiques

[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. https://hal.science/hal-04914353v1

[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”, proc of Conference: 19 ème Colloque National S.MartAt: Vogüé, 05/2025. https://hal.science/hal-05085514v1

[3] M. Roisin, P-A. Yvars, B. Riera, “From Algebraic Synthesis and GRAFCET to Logical Controller Design in ST Code (IEC 61131-3)“, ICINCO (accepté à paraître)

[4] M. Roisin, P-A. Yvars, B. Riera, “De la modélisation par intension du problème de commande logique à la génération de code ST (IEC 61131-3)“, MSR'25 (accepté à paraître)