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, D. Annebicque, P-A. Yvars, B. Riera, “From Algebraic Synthesis and GRAFCET to Logical Controller Design in ST Code (IEC 61131-3)“, ICINCO 2025

[4] M. Roisin, D. Annebicque, 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

[5] A. Bdeir, R. Costa Affonso, S. Henry, P. Leclaire, “A Methodological Framework for Quantitative Assessment of Digital Twin Fidelity Across the Lifecycle”, IFIP PLM 2026 (Lecce, Italie)

[6] M. Roisin, D. Annebicque, B. Riera, P.A. Yvars, “Combining extensional and intensional approaches for logic controller design: application to tasks synchronization”, 23rd IFAC World Congress, Busan, Korea., 2026

[7]M. Roisin, D. Annebicque, B. Riera, P.A. Yvars, “Complémentarité des approches extensive et intensive pour la synthèse de contrôleur logique correct par construction”, SAGIP'2026. Bordeaux, France, 2026

Publications depuis HAL

• [1] Alexandre Philippot. Digital Twins for Cyber-Physical Systems. 2ème Congrès Annuel de la SAGIP, May 2024, Villeurbanne (France), France. ⟨hal-05271013⟩ [Détails] (HAL)
• [2] Mathieu Roisin, David Annebicque, Pierre-Alain Yvars, Bernard Riera. Synthèse de système à base de modèles pour la conception de contrôleur logique correct par construction. S.mart 2025, May 2025, Voguë, France. ⟨hal-05085514⟩ [Détails] (HAL)
• [3] Mathieu Roisin, Dimitri Renard, David Annebicque, Bernard Riera, Pierre-Alain Yvars. From Algebraic Synthesis and GRAFCET to Logical Controller Design in ST Code (IEC 61131-3). 22nd international conference on information in control, automation and robotics (ICINCO 2025), Oct 2025, Marbella, Spain. ⟨hal-05361727⟩ [Détails] (HAL)
• [4] Mathieu Roisin, Dimitri Renard, David Annebicque, Pierre-Alain Yvars, Bernard Riera. De la modélisation par intension du problème de commande logique à la génération de code ST (IEC 61131-3). Modélisation des système réactifs (MSR'25), Nov 2025, Reims, France. ⟨hal-05382928⟩ [Détails] (HAL)
• [5] 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⟩ [Détails] (HAL)
• [6] Vincent Cheutet, Xeniya Pystina, Aicha Seklouli-Sekhari, Lilia Gzara. A systemic-oriented architecture of a Digital Twin for an industrial production system. SOHOMA2025 15th International Workshop on Service-Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future, Oct 2025, Aix-en-Provence, France. ⟨hal-05391703⟩ [Détails] (HAL)