Mathieu Roisin

5
Documents

Publications

Publications

Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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