Laurent Piétrac

24 papers B 1C 7Journal 4Unranked 12
YearRankTypeTitle / Venue / Authors
2026 — conf
MBSE-Driven PLC Code Generation and AI-Augmented Test Scenario Validation.
ICARA
Bruck Metekia, Laurent Piétrac, Khalid Kouiss
2024 — conf
Setting up a Digital Twin for Real-Time Remote Monitoring of a Cyber-Physical System.
ICINCO (2)
Adrien Vinel, Séverine Durieux, Laurent Piétrac, Glênio Simião Ramalho, Nicolas Blanchard
2023 — conf
A Literature Review on the Contribution of Industry 4.0 Technologies in OEE Improvement.
ICDSST
Emna Masmoudi, Laurent Piétrac, Séverine Durieux
2020 C conf
From events to complex behaviors: a formal contribution to the requirement expression in Supervisory Control Theory.
CoDIT
Laurent Piétrac, Emil Dumitrescu, Éric Niel
2020 J jnl
Towards a tropical automaton product minimizing global completion times.
Comput. Appl. Math.
Karla Quintero, José Aguilar, Éric Niel, Laurent Piétrac
2018 J jnl
A formal framework for the safe design of the Autonomous Driving supervision.
Reliab. Eng. Syst. Saf.
Romain Cuer, Laurent Piétrac, Éric Niel, Saidou Diallo, Nicoleta Minoiu Enache, Christophe Dang-Van-Nhan
2018 — conf
Increase lifespan with a cell management algorithm in electric energy storage systems.
ICIT
Christophe Savard, Pascal Venet, Laurent Piétrac, Éric Niel, Ali Sari
2017 C conf
A new approach of modeling supervisory control for manufacturing systems based on SysML.
ETFA
Xiaoshan Lu, Laurent Piétrac, Éric Niel
2016 — conf
C-3C: A structure for high reliability with minimal redundancy for batteries.
ICIT
Christophe Savard, Ali Sari, Pascal Venet, Laurent Piétrac, Éric Niel
2014 — conf
A Design Method for Synthesizing Control-Command Systems Out of Reusable Components.
WODES
Salam Hajjar, Emil Dumitrescu, Laurent Piétrac, Éric Niel
2014 — conf
Determining of critical and dreaded states achieved during metro line supervision.
MED
Delphine Paquereau, Laurent Piétrac, Éric Niel, Laurent Bouresche
2012 B conf
A Dashboard to Regulate Project-Based Learning.
EC-TEL
Christine Michel, Élise Lavoué, Laurent Piétrac
2012 — conf
Incremental discrete controller synthesis for communicating systems based on modular decomposition.
WODES
Mingming Ren, Emil Dumitrescu, Laurent Piétrac, Éric Niel
2011 — conf
Equivalence of behaviors between centralized and multi-model approaches.
CASE
Gregory Faraut, Laurent Piétrac, Éric Niel
2011 C conf
On the use of SysML for manufacturing execution system design.
ETFA
Laurent Piétrac, Arnaud Lelevé, Sébastien Henry
2011 C conf
Process tracking by equivalent states in modal supervisory control.
ETFA
Gregory Faraut, Laurent Piétrac, Éric Niel
2010 — conf
Supervisory control based on multi-face modelling of discrete event systems.
WODES
Gábor Kovács, Laurent Piétrac, Éric Niel
2009 — conf
A new framework for mode switching in SCT.
ECC
Gregory Faraut, Laurent Piétrac, Éric Niel
2009 J jnl
Formal approach to multi-modal control design: application to mode switching.
IEEE Trans. Ind. Informatics
Gregory Faraut, Laurent Piétrac, Éric Niel
2009 — conf
Multi-face modeling for rapid prototyping of discrete event control systems.
ECC
Gábor Kovács, Laurent Piétrac
2008 C conf
A supervisor implementation approach in Discrete Controller Synthesis.
ETFA
Emil Dumitrescu, Mingming Ren, Laurent Piétrac, Éric Niel
2008 C conf
Identification of incompatible states in mode switching.
ETFA
Gregory Faraut, Laurent Piétrac, Éric Niel
2007 C conf
A formal approach for the specification, verification and control of flexible manufacturing systems.
ETFA
Sajeh Zairi, Belhassen Zouari, Laurent Piétrac
2006 J jnl
Multi-Model approach to discrete events systems: Application to operating mode management.
Math. Comput. Simul.
Oualid Kamach, Laurent Piétrac, Éric Niel