Nombre de documents

34


Article dans une revue6 documents

  • 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ès27 documents

  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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. 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>
  • 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>
  • 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>
  • 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. 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. 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. 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. 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. 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. 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>