À propos
Doctorant WP3
Parcours
- Doctorant à l’URCA dans le laboratoire du CReSTIC dans le cadre du projet ANR DT4CPS.
- Titulaire d’un diplôme d’ingénieur de l’Institut supérieur de mécanique de Paris, ISAE-Supméca (Saint-Ouen-sur-Seine).
- Stage de recherche au laboratoire du CReSTIC (Reims).
- Stage en entreprise chez SLAM Acoustique (Ivry-sur-Seine).
Sujet de recherche
Le sujet porte sur le développement de méthodes et d’outils pour la commande et la reconfiguration de systèmes cyber-physiques de production.
Communications et publications
IFAC World Congress 2026 (Busan, Corée du Sud) — Combining extensional and intensional approaches for logic controller design: application to tasks synchronization
SAGIP’26 2026 (Bordeaux, France) — Complémentarité des approches extensive et intensive pour la synthèse de contrôleur logique correct par construction
MSR’25 2025 (Reims, France) — De la modélisation par intension du problème de commande logique à la génération de code ST (IEC 61131-3)
ICINCO 2025 (Marbella, Espagne) — From Algebraic Synthesis and GRAFCET to Logical Controller Design in ST Code (IEC 61131-3)
S.mart 2025 (Voguë, France) — Synthèse de système à base de modèles pour la conception de contrôleur logique correct par construction
CoDIT 2024 (Valette, Malte) — Constraint Programming for Logic controller Synthesis
Id HAL : roisin-mathieu
Id ORCID : 0009-0009-7182-1205