Accéder directement au contenu

Laurent Piétrac

Laurent Piétrac Professeur à SIGMA Clermont, école de Clermont Auvergne INP Laboratoire de recherche : Institut Pascal
60
Documents
Affiliations actuelles
  • 1063693
  • 490691
Identifiants chercheurs

Présentation

\*\*\*\* **Contact** **Work experience** : - 2020-today : Full professor at [SIGMA Clermont, a school of Clermont Auvergne INP](https://www.sigma-clermont.fr/en) - 2003-2020 : Associate professor at INSA Lyon, [department of Industrial Engineering](http://gi.insa-lyon.fr/en/) - 1998-2003 : Associate professor at INSA Lyon, first cycle (first two years of scolarity) - 1995-1998 : Associate professor at IUFM of Créteil, department of Mechanical Engineering **Education** : - 1999 : PhD in Control engineering, [Ecole Normale Supérieure de Cachan](http://ens-paris-saclay.fr/en) - 1992 : Agrégation([ ?](http://en.wikipedia.org/wiki/Agr%C3%A9gation)) of mechanical engineering - 1991 : Master of mechanical engineering, Paris 6 - 1989-95 : Student of the Ecole Normale Sup. de cachan **Research interests** - Discrete Event Systems : modeling, analysis, synthesis, verification - Supervisory Control Theory (Ramadge and Wonham theory) - Formalisation of operating modes management - Formal methods for the specification of control systems - Digital twins for Cyber Physical Production Systems - Application in Programmable Logic Controllers and embedded systems (rail transport) **Teaching** - Supervisory Control Theory - Industrial control systems, Digital twins and Virtual Commissioning - introduction to linear systems (SISO) - Manufacturing Execution Systems

Publications

Image document

Meshed DC microgrid hierarchical control: A differential flatness approach

Igyso Zafeiratou , Ionela Prodan , Laurent Lefèvre , Laurent Piétrac
Electric Power Systems Research, 2020, 180, pp.106-133. ⟨10.1016/j.epsr.2019.106133⟩
Article dans une revue hal-02421654v1

Comparing lithium-ion battery architecture performances with Colored Petri Net

Christophe Savard , Laurent Piétrac , Pascal Venet , Ali Sari , Eric Niel
SN Applied Sciences, 2019, 1, pp.1691. ⟨10.1007/s42452-019-1723-6⟩
Article dans une revue hal-02491587v1

An implementation method for the supervisory control of time-driven systems applied to high-voltage direct current transmission grids

Miguel Romero-Rodríguez , Romain Delpoux , Laurent Piétrac , Jing Dai , Abdelkrim Benchaib
Control Engineering Practice, 2019, 82, pp.97 - 107. ⟨10.1016/j.conengprac.2018.10.002⟩
Article dans une revue hal-01899878v1

Comparison of Battery Architecture Dependability

Christophe Savard , Pascal Venet , Eric Niel , Laurent Pietrac , Ali Sari
Batteries, 2018, 4 (3), pp.31. ⟨10.3390/batteries4030031⟩
Article dans une revue hal-01969239v1

A formal framework for the safe design of the Autonomous Driving supervision

Romain Cuer , Laurent Piétrac , Eric Niel , Saidou Diallo , Nicoleta Minoiu-Enache
Reliability Engineering and System Safety, 2018, 174, pp.29 - 40. ⟨10.1016/j.ress.2018.01.014⟩
Article dans une revue hal-01707778v1

Synthesizing safe control-command systems out of reusable components

Salam Hajjar , Emil Dumitrescu , Laurent Pietrac , Eric Niel
Control Engineering Practice, 2015, 44, pp.243-259. ⟨10.1016/j.conengprac.2015.05.006⟩
Article dans une revue hal-01202471v1
Image document

Scheduling Operations in a Flow Network with Flexible Preventive Maintenance: A (max, +) Approach

Karla Rossa Quintero Garcia , Eric Niel , Jose Aguilar , Laurent Piétrac
Engineering Letters, 2014, 22 (1), pp.24-33
Article dans une revue hal-00948117v1
Image document

Formal Approach to Multimodal Control Design: Application to Mode Switching

Gregory Faraut , Laurent Piétrac , Eric Niel
IEEE Transactions on Industrial Informatics, 2009, 5 (4), pp.443 - 453. ⟨10.1109/TII.2009.2028135⟩
Article dans une revue hal-00471885v1

Démarche d'aide à la conception par approche multimode des SED

Gregory Faraut , Laurent Piétrac , Eric Niel
Journal Européen des Systèmes Automatisés (JESA), 2009, 43 (7-9), pp.837-853
Article dans une revue hal-00472016v1

Repulsive/Attractive Discrete State Space Sets for Switching Management

0ulaid Kamach , Eric Niel , Laurent Piétrac
Studies in Informatics and Control, 2007, 16 (1), pp.non connu
Article dans une revue hal-00202936v1

Multi-model approach to discrete events systems: Application to operating mode management

0ulaid Kamach , Laurent Piétrac , Eric Niel
Mathematics and Computers in Simulation, 2006, 70 (5-6), pp.394-407. ⟨10.1016/j.matcom.2005.11.008⟩
Article dans une revue hal-00179616v1
Image document

Contrôle par Supervision des Réseaux HVDC Reconfigurables

Lucas Molina-Barros , Miguel Romero-Rodriguez , Emil Dumitrescu , Laurent Piétrac
SYMPOSIUM DE GENIE ELECTRIQUE (SGE 2020), Jul 2021, Nantes, France
Communication dans un congrès hal-03059144v1
Image document

Supervisory control of post-fault restoration schemes in reconfigurable HVDC grids

Lucas Molina-Barros , Miguel Romero-Rodriguez , Laurent Pietrac , Emil Dumitrescu
EPE'21 ECCE Europe, Sep 2021, Ghent, Belgium. ⟨10.23919/EPE21ECCEEurope50061.2021.9570641⟩
Communication dans un congrès hal-03621801v1

From Events to Complex Behaviors: A Formal Contribution to the Requirement Expression in Supervisory Control Theory

Laurent Piétrac , Emil Dumitrescu
7th International Conference on Control, Decision and Information Technologies, Jun 2020, Prague, Czech Republic
Communication dans un congrès hal-02958104v1

Pronostic des événements de défaillances basé sur les réseaux de Petri temporels labellisés

Redouane Kanazy , Samir Chafik , Eric Niel , Laurent Piétrac
MSR, Nov 2019, Angers, France
Communication dans un congrès hal-02432716v1

Integrated Modeling Proposal of Supervisory Control Theory and Model-Based System Engineering

Xiaoshan Lu , Laurent Piétrac , Eric Niel
MSR, Nov 2019, Angers, France
Communication dans un congrès hal-02432707v1

Dynamical modelling of a DC microgrid using a port-Hamiltonian formalism

I. Zafeiratou , Ionela Prodan , Laurent Lefèvre , Laurent Piétrac
MATHMOD 2018, Feb 2018, Vienna, Austria. pp.469-474, ⟨10.1016/j.ifacol.2018.03.079⟩
Communication dans un congrès hal-02074517v1

Flatness-based hierarchical control of a meshed DC microgrid

I. Zafeiratou , D.V.A. Nguyen , Ionela Prodan , Laurent Lefèvre , Laurent Piétrac
NMPC 2018, Aug 2018, Madison, Wisconsin, United States. pp.222-227, ⟨10.1016/j.ifacol.2018.11.017⟩
Communication dans un congrès hal-02074378v1

Increase lifespan with a cell management algorithm in electric energy storage systems

Christophe Savard , Pascal Venet , Laurent Piétrac , Eric Niel , Ali Sari
2018 IEEE ICIT, Feb 2018, Lyon, France. ⟨10.1109/ICIT.2018.8352447⟩
Communication dans un congrès hal-01864491v1

Control and optimization scheduling within a meshed DC microgrid

Igyso Zafeiratou , Ionela Prodan , Laurent Lefevre , Laurent Piétrac
20th IFAC World Congress, Jul 2017, Toulouse, France
Communication dans un congrès hal-01656982v1
Image document

Safe design of the Autonomous Driving control function

Romain Cuer , Laurent Piétrac , Eric Niel , Saidou Diallo , Nicoleta Minoiu-Enache
20th IFAC World Congress, Jul 2017, Toulouse, France. pp.7203-7207
Communication dans un congrès hal-01708873v1
Image document

Démarche de conception sure de la supervision de la fonction conduite autonome

Romain Cuer , Laurent Piétrac , Eric Niel , Saidou Diallo , Nicoleta Minoiu-Enache
MSR 2017, Nov 2017, Marseille, France
Communication dans un congrès hal-01707759v1

A New Approach of Modeling Supervisory Control for Manufacturing Systems Based on SysML

Xiaoshan Lu , Laurent Piétrac , Eric Niel
ETFA, Sep 2017, Limassol, France. ⟨10.1109/ETFA.2017.8247626⟩
Communication dans un congrès hal-02137576v1

Supervisory Control for High-Voltage Direct Current Transmission Systems

Miguel Romero Rodríguez , Romain Delpoux , Laurent Piétrac , Jing Dai , Abdelkrim Benchaib
20th IFAC World Congress, Jul 2017, Toulouse, France. pp.12326 - 12332, ⟨10.1016/j.ifacol.2017.08.2160⟩
Communication dans un congrès hal-01624439v1
Image document

Amélioration de la fiabilité des structures matricielles de batteries

Christophe Savard , Eric Niel , Laurent Piétrac , Pascal Venet , Ali Sari
20e Congrès de maîtrise des risques et de sûreté de fonctionnement, Oct 2016, Saint-Malo, France
Communication dans un congrès hal-01619640v1
Image document

C-3C: A structure for high reliability with minimal redundancy for batteries

Christophe Savard , Ali Sari , Pascal Venet , Laurent Piétrac , Eric Niel
2016 IEEE ICIT, Mar 2016, Taipei, Taiwan. pp.281-286, ⟨10.1109/ICIT.2016.7474765⟩
Communication dans un congrès hal-01619563v1
Image document

Contribution formelle à l'expression des spécifications pour la conception de contrôleurs discrets

Laurent Piétrac , Emil Dumitrescu , Eric Niel
MSR 2015, Nov 2015, Nancy, France
Communication dans un congrès hal-01224454v2

Reliability and Safety Monitoring for more Electrical Transportation

Bruno Allard , Guy Clerc , Emil Dumitrescu , Ronan German , Aurélien Lièvre
APE Automotive Power Electronics, Apr 2015, Paris, France
Communication dans un congrès hal-01922178v1
Image document

A Design Method for Synthesizing Control-Command Systems out of Reusable Components

Salam Hajjar , Emil Dumitrescu , Laurent Pietrac , Eric Niel
IFAC IWDES, May 2014, Cachan, France. ⟨10.3182/20140514-3-FR-4046.00111⟩
Communication dans un congrès hal-01080076v1

(Max, +) Optimization Model for Scheduling Operations in a Flow Network with Preventive Maintenance Tasks

Karla Rossa Quintero Garcia , Eric Niel , Laurent Piétrac
WCECS, Oct 2013, San Francisco, CA, United States. pp.électronique
Communication dans un congrès hal-00908530v1

Incremental discrete controller synthesis for communicating systems based on modular decomposition

Mingming Ren , Emil Dumitrescu , Laurent Piétrac , Eric Niel
WODES'11, Oct 2012, Guadalajara, Mexico. pp.315-322, ⟨10.3182/20121003-3-MX-4033.00051⟩
Communication dans un congrès hal-00908532v1
Image document

A Dashboard to Regulate Project-Based Learning

Christine Michel , Elise Lavoué , Laurent Piétrac
EC-TEL 2012, Sep 2012, Saarbrücken, Germany. pp.250-263, ⟨10.1007/978-3-642-33263-0_20⟩
Communication dans un congrès hal-00736750v1
Image document

Identification des états équivalents dans l'approche modale

Gregory Faraut , Laurent Piétrac , Eric Niel
Modélisation des Systèmes Réactifs, MSR'11, Nov 2011, Lille, France. pp.141-156, ⟨10.3166/jesa.45.141-156⟩
Communication dans un congrès hal-00759503v1
Image document

On the use of SysML for Manufacturing Execution System design

Laurent Pietrac , Arnaud Lelevé , Sebastien Henry
ETFA 2011, Sep 2011, Toulouse, France. pp.1-8, ⟨10.1109/ETFA.2011.6058984⟩
Communication dans un congrès hal-00767991v1
Image document

Equivalence of Behaviors Between Centralized and Multi-model Approaches

Gregory Faraut , Laurent Piétrac , Eric Niel
7th International Conference on Automation Science and Engineering, CASE'11, Aug 2011, Trieste, Italy. pp.32-38, ⟨10.1109/CASE.2011.6042502⟩
Communication dans un congrès hal-00759500v1

Process tracking by equivalent states in modal supervisory control

Gregory Faraut , Laurent Piétrac , Eric Niel
ETFA 2011, Sep 2011, Toulouse, France. 8 p. (électronique), ⟨10.1109/ETFA.2011.6059040⟩
Communication dans un congrès hal-00636628v1

Supervisory control based on multi-face modelling of discrete event systems

Gábor Kovács , Laurent Piétrac , Eric Niel
WODES'10, Aug 2010, Berlin, Germany. http://www.ifac-papersonline.net/Detailed/42915.html, ⟨10.3182/20100830-3-DE-4013.00021⟩
Communication dans un congrès hal-00597436v1

Control Law Synthesis and Reconfiguration Using SCT

Gregory Faraut , Laurent Piétrac , Eric Niel
SysTol, Oct 2010, Nice, France. pp.576 - 581, ⟨10.1109/SYSTOL.2010.5675977⟩
Communication dans un congrès hal-00597439v1

Multi-face modeling for rapid prototyping of discrete event control systems

Gábor Kovács , Laurent Piétrac
ECC, Aug 2009, Budapest, Hungary. pp.MoC10.2, ⟨10.23919/ECC.2009.7074612⟩
Communication dans un congrès hal-00419693v1

Modélisation Temporelle et Stochastique du TRS pour l'Évaluation de l'Efficience des Systèmes de Production

Timothée Kombé , Eric Niel , Laurent Piétrac , Antoine Rauzy
JN-JD-MACS, Mar 2009, Angers, France. pp.électronique
Communication dans un congrès hal-00476142v1

Démarche d'aide à la conception par approche multimode des SED

Gregory Faraut , Laurent Piétrac , Eric Niel
MSR'09, Nov 2009, Nantes, France. pp.837-853
Communication dans un congrès hal-00476124v1

Global Efficiency Assessment Based on Component Composition of OEE Using AltaRica Data-Flow Language

Timothée Kombé , Eric Niel , Laurent Piétrac , Antoine Rauzy
13th IFAC Symposium on Information Control Problems in Manufacturing (INCOM'09), Jun 2009, Moscou, Russia. pp.électronique, ⟨10.3182/20090603-3-RU-2001.0047⟩
Communication dans un congrès hal-00476152v1

Identification des états incompatibles lors d'un changement de mode

Gregory Faraut , Laurent Piétrac , Eric Niel
JN-JD-MACS, Mar 2009, Angers, France. pp.électronique
Communication dans un congrès hal-00476143v1

A New Framework for Mode Switching in SCT

Gregory Faraut , Laurent Piétrac , Eric Niel
ECC, Aug 2009, Budapest, Hungary. pp.MoC10.3, ⟨10.23919/ECC.2009.7074613⟩
Communication dans un congrès hal-00419683v1

Identification of incompatible states in mode switching

Gregory Faraut , Laurent Piétrac , Eric Niel
ETFA 2008, Sep 2008, Hambourg, Germany. pp.121 - 128, ⟨10.1109/ETFA.2008.4638382⟩
Communication dans un congrès hal-00375905v1

A supervisor implementation approach in Discrete Controller Synthesis

Emil Dumitrescu , Mingming Ren , Laurent Piétrac , Eric Niel
ETFA 2008, Sep 2008, Hambourg, Germany. pp.1433 - 1440, ⟨10.1109/ETFA.2008.4638585⟩
Communication dans un congrès hal-00375951v1

Implémentation de superviseurs générés par synthèse de contrôleurs discrets

Mingming Ren , Emil Dumitrescu , Laurent Piétrac , Eric Niel
CIFA, Sep 2008, Bucarest, Roumanie. papier 365
Communication dans un congrès hal-00375942v1

A Formal Approach for the specification: verification and control of Flexible Manufacturing Systems

Sajeh Zaïri , Belhassen Zouari , Laurent Piétrac
ETFA 2007, Sep 2007, Patras, Greece. pp.1031 - 1038, ⟨10.1109/EFTA.2007.4416897⟩
Communication dans un congrès hal-00375498v1

On the Formalisation of Integrating Watchdogs into Discrete Event Controller Structures

Gábor Kovács , Laurent Piétrac , Bálint Kiss , Eric Niel
ECC, Jul 2007, Kos, Greece. pp.ThD03, ⟨10.23919/ECC.2007.7068812⟩
Communication dans un congrès hal-00375552v1

Online Fault Detection in the Modular Supervisory Control of an Experimental Manufacturing Cell

Gábor Kovács , Laurent Piétrac , Bálint Kiss , Eric Niel
MED, Jun 2007, Athènes, Greece. pp.1-6, ⟨10.1109/MED.2007.4433697⟩
Communication dans un congrès hal-00375559v1

Commandes multi-contrôleurs et multi-modèles pour les SED

0ulaid Kamach , Laurent Piétrac , Eric Niel
QUALITA, Mar 2007, Tanger, Maroc. pp.7
Communication dans un congrès hal-00375521v1

Synthèse de contrôleur pour les systèmes non-déterministes

0ulaid Kamach , Laurent Piétrac , Eric Niel
CIFA 2006, May 2006, Bordeaux, France. 6 p., Actes sur CD
Communication dans un congrès hal-00410239v1

Design of switching supervisors for reactive class discrete event systems Information Control Problems in Manufacturing

0ulaid Kamach , Laurent Piétrac , Eric Niel
12th IFAC Symposium on Information Control Problems in Manufacturing (INCOM'06), May 2006, Saint-Etienne, France. pp.sur CD, ⟨10.3182/20060517-3-FR-2903.00161⟩
Communication dans un congrès hal-00410240v1

Forbidden and Preforbidden States in the Multi-model Approach

0ulaid Kamach , Laurent Piétrac , Eric Niel
IMACS MCESA, Oct 2006, Pékin, China. pp.1550 - 1557, ⟨10.1109/CESA.2006.4281883⟩
Communication dans un congrès hal-00380480v1
Image document

A formal meta-modeling approach for the design of automated manufacturing systems

Laurent Piétrac , Bruno Denis , Jean-Jacques Lesage
International Workshop on Formal Methods and Manufacturing (FM&M99), Sep 1999, Zaragoza, Spain. pp.65-74
Communication dans un congrès hal-03745566v1
Image document

Une approche de méta-modélisation formelle des méthodes de conception des systèmes automatisés de production

Laurent Piétrac , Bruno Denis
Journées Doctorales d'Automatique (JDA'99), Sep 1999, Nancy, France
Communication dans un congrès hal-03745632v1
Image document

Formalization of the design of control systems

Laurent Piétrac , Bruno Denis , Jean-Jacques Lesage
6th International Symposium on Robotics and Manufacturing (ISRAM'96) as part of 2nd World Automation Congress (WAC'96), May 1996, Montpellier, France
Communication dans un congrès hal-03745214v1
Image document

Modèles de spécification fonctionnelle de la commande des systèmes de production : synthèse de trois études de cas

Laurent Piétrac , Guy Timon , Bruno Denis , Jean-Jacques Lesage , Jean-Marc Roussel
Journée PRIMECA - Les systèmes de production 1994, Dec 1994, Aubière, France. pp.41-48
Communication dans un congrès hal-03744964v1
Image document

Apport de la méta-modélisation formelle pour la conception des Systèmes Automatisés de Production

Laurent Piétrac
Automatique / Robotique. École normale supérieure de Cachan - ENS Cachan, 1999. Français. ⟨NNT : ⟩
Thèse tel-00449899v1