Skip to Main content
Number of documents

54

Laurent Piétrac


Contact

Address :

Ampere laboratory - INSA Lyon
Domaine scientifique de la Doua
Bâtiment Jules Verne
19, avenue Jean Capelle
69621 Villeurbanne CEDEX

Phone : +33 (0)4 72 43 81 67
E-mail : laurent.pietrac(at)insa-lyon.fr
Web :

 

Work experience :

  • 2003-today : Associate professor at INSA Lyon, department of Industrial Engineering
  • 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
  • 1992 : Agrégation( ?) 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
  • Application in Programmable Logic Controllers and embedded systems (rail transport)

Teaching

  • Supervisory Control Theory
  • Industrial control systems
  • introduction to linear systems (SISO)
  • Manufacturing Execution Systems


Journal articles11 documents

  • Igyso Zafeiratou, Ionela Prodan, Laurent Lefèvre, Laurent Piétrac. Meshed DC microgrid hierarchical control: A differential flatness approach. Electric Power Systems Research, Elsevier, 2020, 180, pp.106-133. ⟨10.1016/j.epsr.2019.106133⟩. ⟨hal-02421654⟩
  • Miguel Romero-Rodríguez, Romain Delpoux, Laurent Piétrac, Jing Dai, Abdelkrim Benchaib, et al.. An implementation method for the supervisory control of time-driven systems applied to high-voltage direct current transmission grids. Control Engineering Practice, Elsevier, 2019, 82, pp.97 - 107. ⟨10.1016/j.conengprac.2018.10.002⟩. ⟨hal-01899878⟩
  • Christophe Savard, Laurent Piétrac, Pascal Venet, Ali Sari, Eric Niel. Comparing lithium-ion battery architecture performances with Colored Petri Net. SN Applied Sciences, Springer Verlag, 2019, 1, pp.1691. ⟨10.1007/s42452-019-1723-6⟩. ⟨hal-02491587⟩
  • Christophe Savard, Pascal Venet, Eric Niel, Laurent Pietrac, Ali Sari. Comparison of Battery Architecture Dependability. Batteries, MDPI, 2018, 4 (3), pp.31. ⟨10.3390/batteries4030031⟩. ⟨hal-01969239⟩
  • Romain Cuer, Laurent Piétrac, Eric Niel, Saidou Diallo, Nicoleta Minoiu-Enache, et al.. A formal framework for the safe design of the Autonomous Driving supervision. Reliability Engineering and System Safety, Elsevier, 2018, 174, pp.29 - 40. ⟨10.1016/j.ress.2018.01.014⟩. ⟨hal-01707778⟩
  • Salam Hajjar, Emil Dumitrescu, Laurent Pietrac, Eric Niel. Synthesizing safe control-command systems out of reusable components. Control Engineering Practice, Elsevier, 2015, 44, pp.243-259. ⟨10.1016/j.conengprac.2015.05.006⟩. ⟨hal-01202471⟩
  • Karla Rossa Quintero Garcia, Eric Niel, Jose Aguilar, Laurent Piétrac. Scheduling Operations in a Flow Network with Flexible Preventive Maintenance: A (max, +) Approach. Engineering Letters, IAENG, 2014, 22 (1), pp.24-33. ⟨hal-00948117⟩
  • Grégory Faraut, Laurent Piétrac, Eric Niel. Démarche d'aide à la conception par approche multimode des SED. Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2009, 43 (7-9), pp.837-853. ⟨hal-00472016⟩
  • Grégory Faraut, Laurent Piétrac, Eric Niel. Formal Approach to Multimodal Control Design: Application to Mode Switching. IEEE Transactions on Industrial Informatics, Institute of Electrical and Electronics Engineers, 2009, 5 (4), pp.443 - 453. ⟨10.1109/TII.2009.2028135⟩. ⟨hal-00471885⟩
  • 0ulaid Kamach, Eric Niel, Laurent Piétrac. Repulsive/Attractive Discrete State Space Sets for Switching Management. Studies in Informatics and Control, Informatics and Control Publications, 2007, 16 (1), pp.non connu. ⟨hal-00202936⟩
  • 0ulaid Kamach, Laurent Piétrac, Eric Niel. Multi-model approach to discrete events systems: Application to operating mode management. Mathematics and Computers in Simulation, Elsevier, 2006, 70 (5-6), pp.394-407. ⟨10.1016/j.matcom.2005.11.008⟩. ⟨hal-00179616⟩

Conference papers42 documents

  • Lucas Molina-Barros, Miguel Romero-Rodriguez, Emil Dumitrescu, Laurent Piétrac. Contrôle par Supervision des Réseaux HVDC Reconfigurables. SYMPOSIUM DE GENIE ELECTRIQUE (SGE 2020), Jul 2021, Nantes, France. ⟨hal-03059144⟩
  • Laurent Piétrac, Emil Dumitrescu. From Events to Complex Behaviors: A Formal Contribution to the Requirement Expression in Supervisory Control Theory. 7th International Conference on Control, Decision and Information Technologies, Jun 2020, Prague, Czech Republic. ⟨hal-02958104⟩
  • Redouane Kanazy, Samir Chafik, Eric Niel, Laurent Piétrac. Pronostic des événements de défaillances basé sur les réseaux de Petri temporels labellisés. MSR, Nov 2019, Angers, France. ⟨hal-02432716⟩
  • Xiaoshan Lu, Laurent Piétrac, Eric Niel. Integrated Modeling Proposal of Supervisory Control Theory and Model-Based System Engineering. MSR, Nov 2019, Angers, France. ⟨hal-02432707⟩
  • Christophe Savard, Pascal Venet, Laurent Piétrac, Eric Niel, Ali Sari. Increase lifespan with a cell management algorithm in electric energy storage systems. 2018 IEEE ICIT, Feb 2018, Lyon, France. ⟨10.1109/ICIT.2018.8352447⟩. ⟨hal-01864491⟩
  • I. Zafeiratou, D.V.A. Nguyen, Ionela Prodan, Laurent Lefèvre, Laurent Piétrac. Flatness-based hierarchical control of a meshed DC microgrid. NMPC 2018, Aug 2018, Madison, Wisconsin, United States. pp.222-227, ⟨10.1016/j.ifacol.2018.11.017⟩. ⟨hal-02074378⟩
  • I. Zafeiratou, Ionela Prodan, Laurent Lefèvre, Laurent Piétrac. Dynamical modelling of a DC microgrid using a port-Hamiltonian formalism. MATHMOD 2018, Feb 2018, Vienna, Austria. pp.469-474, ⟨10.1016/j.ifacol.2018.03.079⟩. ⟨hal-02074517⟩
  • Xiaoshan Lu, Laurent Piétrac, Eric Niel. A New Approach of Modeling Supervisory Control for Manufacturing Systems Based on SysML. ETFA, Sep 2017, Limassol, France. ⟨10.1109/ETFA.2017.8247626⟩. ⟨hal-02137576⟩
  • Igyso Zafeiratou, Ionela Prodan, Laurent Lefevre, Laurent Piétrac. Control and optimization scheduling within a meshed DC microgrid. 20th IFAC World Congress, Jul 2017, Toulouse, France. ⟨hal-01656982⟩
  • Romain Cuer, Laurent Piétrac, Eric Niel, Saidou Diallo, Nicoleta Minoiu-Enache, et al.. Safe design of the Autonomous Driving control function. 20th IFAC World Congress, Jul 2017, Toulouse, France. pp.7203-7207. ⟨hal-01708873⟩
  • Romain Cuer, Laurent Piétrac, Eric Niel, Saidou Diallo, Nicoleta Minoiu-Enache, et al.. Démarche de conception sure de la supervision de la fonction conduite autonome. MSR 2017, Nov 2017, Marseille, France. ⟨hal-01707759⟩
  • Miguel Romero Rodríguez, Romain Delpoux, Laurent Piétrac, Jing Dai, Abdelkrim Benchaib, et al.. Supervisory Control for High-Voltage Direct Current Transmission Systems. 20th IFAC World Congress, Jul 2017, Toulouse, France. pp.12326 - 12332, ⟨10.1016/j.ifacol.2017.08.2160⟩. ⟨hal-01624439⟩
  • Christophe Savard, Eric Niel, Laurent Piétrac, Pascal Venet, Ali Sari. Amélioration de la fiabilité des structures matricielles de batteries. 20e Congrès de maîtrise des risques et de sûreté de fonctionnement, Oct 2016, Saint-Malo, France. ⟨hal-01619640⟩
  • Christophe Savard, Ali Sari, Pascal Venet, Laurent Piétrac, Eric Niel. C-3C: A structure for high reliability with minimal redundancy for batteries. 2016 IEEE ICIT, Mar 2016, Taipei, Taiwan. pp.281-286, ⟨10.1109/ICIT.2016.7474765⟩. ⟨hal-01619563⟩
  • Bruno Allard, Guy Clerc, Emil Dumitrescu, Ronan German, Aurélien Lièvre, et al.. Reliability and Safety Monitoring for more Electrical Transportation. APE Automotive Power Electronics, Apr 2015, Paris, France. ⟨hal-01922178⟩
  • Laurent Piétrac, Emil Dumitrescu, Eric Niel. Contribution formelle à l'expression des spécifications pour la conception de contrôleurs discrets. MSR 2015, Nov 2015, Nancy, France. ⟨hal-01224454v2⟩
  • Salam Hajjar, Emil Dumitrescu, Laurent Pietrac, Eric Niel. A Design Method for Synthesizing Control-Command Systems out of Reusable Components. IFAC IWDES, May 2014, Cachan, France. ⟨10.3182/20140514-3-FR-4046.00111⟩. ⟨hal-01080076⟩
  • Karla Rossa Quintero Garcia, Eric Niel, Laurent Piétrac. (Max, +) Optimization Model for Scheduling Operations in a Flow Network with Preventive Maintenance Tasks. WCECS, Oct 2013, San Francisco, CA, United States. pp.électronique. ⟨hal-00908530⟩
  • Christine Michel, Elise Lavoué, Laurent Piétrac. A Dashboard to Regulate Project-Based Learning. EC-TEL 2012, Sep 2012, Saarbrücken, Germany. pp.250-263, ⟨10.1007/978-3-642-33263-0_20⟩. ⟨hal-00736750⟩
  • Mingming Ren, Emil Dumitrescu, Laurent Piétrac, Eric Niel. Incremental discrete controller synthesis for communicating systems based on modular decomposition. WODES'11, Oct 2012, Guadalajara, Mexico. pp.315-322, ⟨10.3182/20121003-3-MX-4033.00051⟩. ⟨hal-00908532⟩
  • Gregory Faraut, Laurent Piétrac, Eric Niel. Identification des états équivalents dans l'approche modale. Modélisation des Systèmes Réactifs, MSR'11, Nov 2011, Lille, France. pp.141-156, ⟨10.3166/jesa.45.141-156⟩. ⟨hal-00759503⟩
  • Laurent Pietrac, Arnaud Lelevé, Sebastien Henry. On the use of SysML for Manufacturing Execution System design. ETFA 2011, Sep 2011, Toulouse, France. pp.1-8, ⟨10.1109/ETFA.2011.6058984⟩. ⟨hal-00767991⟩
  • Gregory Faraut, Laurent Piétrac, Eric Niel. Equivalence of Behaviors Between Centralized and Multi-model Approaches. 7th International Conference on Automation Science and Engineering, CASE'11, Aug 2011, Trieste, Italy. pp.32-38, ⟨10.1109/CASE.2011.6042502⟩. ⟨hal-00759500⟩
  • Grégory Faraut, Laurent Piétrac, Eric Niel. Process tracking by equivalent states in modal supervisory control. ETFA 2011, Sep 2011, Toulouse, France. 8 p. (électronique), ⟨10.1109/ETFA.2011.6059040⟩. ⟨hal-00636628⟩
  • Grégory Faraut, Laurent Piétrac, Eric Niel. Control Law Synthesis and Reconfiguration Using SCT. SysTol, Oct 2010, Nice, France. pp.576 - 581, ⟨10.1109/SYSTOL.2010.5675977⟩. ⟨hal-00597439⟩
  • Gábor Kovács, Laurent Piétrac, Eric Niel. Supervisory control based on multi-face modelling of discrete event systems. WODES'10, Aug 2010, Berlin, Germany. http://www.ifac-papersonline.net/Detailed/42915.html, ⟨10.3182/20100830-3-DE-4013.00021⟩. ⟨hal-00597436⟩
  • Grégory Faraut, Laurent Piétrac, Eric Niel. A New Framework for Mode Switching in SCT. ECC, Aug 2009, Budapest, Hungary. pp.MoC10.3, ⟨10.23919/ECC.2009.7074613⟩. ⟨hal-00419683⟩
  • Grégory Faraut, Laurent Piétrac, Eric Niel. Démarche d'aide à la conception par approche multimode des SED. MSR'09, Nov 2009, Nantes, France. pp.837-853. ⟨hal-00476124⟩
  • Timothée Kombé, Eric Niel, Laurent Piétrac, Antoine Rauzy. Modélisation Temporelle et Stochastique du TRS pour l'Évaluation de l'Efficience des Systèmes de Production. JN-JD-MACS, Mar 2009, Angers, France. pp.électronique. ⟨hal-00476142⟩
  • Gábor Kovács, Laurent Piétrac. Multi-face modeling for rapid prototyping of discrete event control systems. ECC, Aug 2009, Budapest, Hungary. pp.MoC10.2, ⟨10.23919/ECC.2009.7074612⟩. ⟨hal-00419693⟩
  • Timothée Kombé, Eric Niel, Laurent Piétrac, Antoine Rauzy. Global Efficiency Assessment Based on Component Composition of OEE Using AltaRica Data-Flow Language. 13th IFAC Symposium on Information Control Problems in Manufacturing (INCOM'09), Jun 2009, Moscou, Russia. pp.électronique. ⟨hal-00476152⟩
  • Grégory Faraut, Laurent Piétrac, Eric Niel. Identification des états incompatibles lors d'un changement de mode. JN-JD-MACS, Mar 2009, Angers, France. pp.électronique. ⟨hal-00476143⟩
  • Grégory Faraut, Laurent Piétrac, Eric Niel. Identification of incompatible states in mode switching. ETFA 2008, Sep 2008, Hambourg, Germany. pp.121 - 128, ⟨10.1109/ETFA.2008.4638382⟩. ⟨hal-00375905⟩
  • Mingming Ren, Emil Dumitrescu, Laurent Piétrac, Eric Niel. Implémentation de superviseurs générés par synthèse de contrôleurs discrets. CIFA, Sep 2008, Bucarest, Roumanie. papier 365. ⟨hal-00375942⟩
  • Emil Dumitrescu, Mingming Ren, Laurent Piétrac, Eric Niel. A supervisor implementation approach in Discrete Controller Synthesis. ETFA 2008, Sep 2008, Hambourg, Germany. pp.1433 - 1440, ⟨10.1109/ETFA.2008.4638585⟩. ⟨hal-00375951⟩
  • Gábor Kovács, Laurent Piétrac, Bálint Kiss, Eric Niel. Online Fault Detection in the Modular Supervisory Control of an Experimental Manufacturing Cell. MED, Jun 2007, Athènes, Greece. pp.1-6, ⟨10.1109/MED.2007.4433697⟩. ⟨hal-00375559⟩
  • 0ulaid Kamach, Laurent Piétrac, Eric Niel. Commandes multi-contrôleurs et multi-modèles pour les SED. QUALITA, Mar 2007, Tanger, Maroc. pp.7. ⟨hal-00375521⟩
  • Gábor Kovács, Laurent Piétrac, Bálint Kiss, Eric Niel. On the Formalisation of Integrating Watchdogs into Discrete Event Controller Structures. ECC, Jul 2007, Kos, Greece. pp.ThD03, ⟨10.23919/ECC.2007.7068812⟩. ⟨hal-00375552⟩
  • Sajeh Zaïri, Belhassen Zouari, Laurent Piétrac. A Formal Approach for the specification: verification and control of Flexible Manufacturing Systems. ETFA 2007, Sep 2007, Patras, Greece. pp.1031 - 1038, ⟨10.1109/EFTA.2007.4416897⟩. ⟨hal-00375498⟩
  • 0ulaid Kamach, Laurent Piétrac, Eric Niel. Synthèse de contrôleur pour les systèmes non-déterministes. CIFA 2006, May 2006, Bordeaux, France. 6 p., Actes sur CD. ⟨hal-00410239⟩
  • 0ulaid Kamach, Laurent Piétrac, Eric Niel. Forbidden and Preforbidden States in the Multi-model Approach. IMACS MCESA, Oct 2006, Pékin, China. pp.1550 - 1557, ⟨10.1109/CESA.2006.4281883⟩. ⟨hal-00380480⟩
  • 0ulaid Kamach, Laurent Piétrac, Eric Niel. Design of switching supervisors for reactive class discrete event systems Information Control Problems in Manufacturing. 12th IFAC Symposium on Information Control Problems in Manufacturing (INCOM'06), May 2006, Saint-Etienne, France. pp.sur CD. ⟨hal-00410240⟩

Theses1 document

  • Laurent Piétrac. Apport de la méta-modélisation formelle pour la conception des Systèmes Automatisés de Production. Automatique / Robotique. École normale supérieure de Cachan - ENS Cachan, 1999. Français. ⟨tel-00449899⟩