Nombre de documents

36


Article dans une revue7 documents

  • 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 Quintero, 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 Journal, 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ès28 documents

  • 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. Modélisation des Systèmes Réactifs (MSR 2015), Nov 2015, Nancy, France. 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 Quintero, 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〉
  • 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〉
  • 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. 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〉
  • 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〉
  • 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〉