Nombre de documents

41


Article dans une revue8 documents

  • 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〉
  • Miguel Romero Rodríguez, Romain Delpoux, Laurent Piétrac, Jing Dai, Abdelkrim Benchaib, et al.. Supervisory Control for High-Voltage Direct Current Transmission Systems. IFAC-PapersOnLine, 2017, 50 (1), pp.12326 - 12332. 〈10.1016/j.ifacol.2017.08.2160〉. 〈hal-01624439〉
  • 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, Laurent Piétrac. Scheduling Operations in a Flow Network with Flexible Preventive Maintenance: A (max, +). Engineering Letters, 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〉

Communication dans un congrès32 documents

  • Christophe Savard, Pascal Venet, Laurent Piétrac, Eric Niel, Ali Sari. Increase lifespan with a cell management algorithm in electric energy storage systems. ICIT, Feb 2018, Lyon, France. IEEE, Proc of the 2018 IEEE International Conference on Industrial Technology. 〈10.1109/ICIT.2018.8352447〉. 〈hal-01864491〉
  • Romain Cuer, Laurent Piétrac, Eric Niel, Saidou Diallo, Nicoleta Minoiu-Enache, et al.. Safe design of the Autonomous Driving control function. IFAC, Jul 2017, Toulouse, France. Proc. of the 20th World Congress of the International Federation of Automatic Control, pp.7203-7207, 2017, Proc. of the 20th World Congress of the International Federation of Automatic Control. 〈hal-01708873〉
  • Igyso Zafeiratou, Ionela Prodan, Laurent Lefevre, Laurent Piétrac. Control and optimization scheduling within a meshed DC microgrid. IFAC 2017 World Congress, Jul 2017, Toulouse, France. 〈hal-01656982〉
  • 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. 2017, 11ème colloque sur la modélisation des systèmes réactifs. 〈hal-01707759〉
  • 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. Actes. 〈hal-01619640〉
  • Laurent Piétrac, Emil Dumitrescu, Eric Niel. Contribution formelle à l'expression des spécifications pour la conception de contrôleurs discrets. Stephan Merz and Jean-François Pétin. MSR 2015, Nov 2015, Nancy, France. 10ème colloque sur la Modélisation des Systèmes Réactifs. 〈hal-01224454v2〉
  • Salam Hajjar, Emil Dumitrescu, Laurent Pietrac, Eric Niel. A Design Method for Synthesizing Control-Command Systems out of Reusable Components. International Workshop of Discrete Event Systems, 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, United States. pp.électronique, 2013. 〈hal-00908530〉
  • Christine Michel, Elise Lavoué, Laurent Piétrac. A Dashboard to Regulate Project-Based Learning. Ravenscroft A., Lindstaedt S., Delgado Kloos C. and Hernandez-Leo D. 7th European Conference on Technology Enhanced Learning (EC-TEL 2012), Sep 2012, Saarbrücken, Germany. Springer, pp.250-263, 2012, LNCS 7563. 〈hal-00736750〉
  • Mingming Ren, Emil Dumitrescu, Laurent Piétrac, Eric Niel. Incremental discrete controller synthesis for communicating systems based on modular decomposition. WODES, Oct 2012, Guadalajara, Mexico. 11 (1), pp.315-322, 2013. 〈hal-00908532〉
  • Grégory Faraut, Laurent Piétrac, Eric Niel. Process tracking by equivalent states in modal supervisory control. ETFA, Sep 2011, Toulouse, France. 8 p. (électronique), 2011, 〈10.1109/ETFA.2011.6059040〉. 〈hal-00636628〉
  • 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. 45/1-3 - 2011, pp.141-156, 2011, 〈10.3166/jesa.45.141-156〉. 〈hal-00759503〉
  • 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, 2011, 〈10.1109/CASE.2011.6042502〉. 〈hal-00759500〉
  • 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, 2011, 〈10.1109/ETFA.2011.6058984〉. 〈hal-00767991〉
  • Gábor Kovács, Laurent Piétrac, Eric Niel. Supervisory control based on multi-face modelling of discrete event systems. WODES, Aug 2010, Berlin, Germany. 10 (1), http://www.ifac-papersonline.net/Detailed/42915.html, 2010, 〈10.3182/20100830-3-DE-4013.00021〉. 〈hal-00597436〉
  • Grégory Faraut, Laurent Piétrac, Eric Niel. Control Law Synthesis and Reconfiguration Using SCT. SysTol, Oct 2010, Nice, France. pp.576 - 581, 2010, 〈10.1109/SYSTOL.2010.5675977〉. 〈hal-00597439〉
  • 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, 2009. 〈hal-00476142〉
  • 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, 2009. 〈hal-00476143〉
  • Timothée Kombé, Eric Niel, Laurent Piétrac, Antoine Rauzy. Global Efficiency Assessment Based on Component Composition of OEE Using AltaRica Data-Flow Language. INCOM'09, Jun 2009, Moscou, Russia. pp.électronique, 2009. 〈hal-00476152〉
  • 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. Hermès-Lavoisier, pp.837-853, 2009. 〈hal-00476124〉
  • Gábor Kovács, Laurent Piétrac. Multi-Face Modeling for Rapid Prototyping of Discrete Event Control Systems. ECC'09, Aug 2009, Budapest, Hungary. pp.MoC10.2, 2009. 〈hal-00419693〉
  • Grégory Faraut, Laurent Piétrac, Eric Niel. A New Framework for Mode Switching in SCT. ECC'09, Aug 2009, Budapest, Hungary. pp.MoC10.3, 2009. 〈hal-00419683〉
  • 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, 2008. 〈hal-00375942〉
  • Grégory Faraut, Laurent Piétrac, Eric Niel. Identification of incompatible states in mode switching. ETFA, Sep 2008, Hambourg, Germany. ISBN: 978-1-4244-1505-2, pp.121 - 128, 2008, 〈10.1109/ETFA.2008.4638382〉. 〈hal-00375905〉
  • Emil Dumitrescu, Mingming Ren, Laurent Piétrac, Eric Niel. A supervisor implementation approach in Discrete Controller Synthesis. ETFA, Sep 2008, Hambourg, Germany. pp.1433 - 1440, 2008, 〈10.1109/ETFA.2008.4638585〉. 〈hal-00375951〉
  • 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, 2007. 〈hal-00375552〉
  • Sajeh Zaïri, Belhassen Zouari, Laurent Piétrac. A Formal Approach for the specification: verification and control of Flexible Manufacturing Systems. ETFA, Sep 2007, Patras, Greece. pp.1031 - 1038, 2007, 〈10.1109/EFTA.2007.4416897〉. 〈hal-00375498〉
  • 0ulaid Kamach, Laurent Piétrac, Eric Niel. Commandes multi-contrôleurs et multi-modèles pour les SED. QUALITA : 7ème Congrès international pluridisciplinaire Qualité et Sûreté de Fonctionnement, Mar 2007, Tanger, Morocco. pp.7, 2007. 〈hal-00375521〉
  • 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. ISBN: 978-1-4244-1282-2, pp.1-6, 2008, 〈10.1109/MED.2007.4433697〉. 〈hal-00375559〉
  • 0ulaid Kamach, Laurent Piétrac, Eric Niel. Design of switching supervisors for reactive class discrete event systems Information Control Problems in Manufacturing. INCOM'06, May 2006, Saint-Etienne, France. 12 (1), pp.sur CD, 2007. 〈hal-00410240〉
  • 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, 2006. 〈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. ISBN: 7-302-13922-9 vol 2, pp.1550 - 1557, 2007, 〈10.1109/CESA.2006.4281883〉. 〈hal-00380480〉

Thèse1 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〉