Mathieu Roisin

Publications

Communication dans un congrès (5)

Optimisation lexicographique pseudo-booléenne : Une contrainte globale Pierre-Alain Yvars,Roisin Mathieu,David Annebicque,Bernard Riera ROADEF 2026, Université de Tours [UT], Feb 2026, Tours, France Communication dans un congrès hal-05534949v1
Constraint Programming for Logic controller Synthesis Mathieu Roisin,Pierre-Alain Yvars,Bernard Riera 2024 10th International Conference on Control, Decision and Information Technologies (CoDIT), Jul 2024, Vallette, Malta. pp.1843-1848, ⟨10.1109/codit62066.2024.10708360⟩ Communication dans un congrès hal-04914353v1
De la modélisation par intension du problème de commande logique à la génération de code ST (IEC 61131-3) Mathieu Roisin,Dimitri Renard,David Annebicque,Pierre-Alain Yvars,Bernard Riera Modélisation des système réactifs (MSR'25), Nov 2025, Reims, France Communication dans un congrès hal-05382928v1
Synthèse de système à base de modèles pour la conception de contrôleur logique correct par construction Mathieu Roisin,David Annebicque,Pierre-Alain Yvars,Bernard Riera S.mart 2025, May 2025, Voguë, France Communication dans un congrès hal-05085514v1
From Algebraic Synthesis and GRAFCET to Logical Controller Design in ST Code (IEC 61131-3) Mathieu Roisin,Dimitri Renard,David Annebicque,Bernard Riera,Pierre-Alain Yvars 22nd international conference on information in control, automation and robotics (ICINCO 2025), Oct 2025, Marbella, Spain Communication dans un congrès hal-05361727v1