Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

61 résultats
Page :
triés par
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
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

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

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

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

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

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

(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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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