Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

6 résultats
Page :
triés par
Image document

Analyse prévisionnelle des fautes des systèmes embarqués discrets par vérification model-based

 Matthieu Perin , Jean-Marc Faure
Conférence Internationale Francophone d'Automatique (CIFA) 2008, Sep 2008, Bucarest, Roumanie. CDRom paper n°381
Communication dans un congrès hal-00359050v1
Image document

Coupling timed plant and controller models with urgent transitions without introducing deadlocks

 Matthieu Perin , Jean-Marc Faure
17th IEEE international conference on Emerging Technologies on Factory Automation, Sep 2012, Krakovie, Poland. SS09, paper 242
Communication dans un congrès hal-00753892v1
Image document

Building Meaningful Timed Plant Models for Verification Purposes

 Matthieu Perin , Jean-Marc Faure
13th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 2009), Jun 2009, Moscow, Russia. paper 420
Communication dans un congrès hal-00379421v1
Image document

Comparing detailed and abstract timed models of automated discrete manufacturing systems

 Matthieu Perin , Jean-Marc Faure
9th annual IEEE International Conference on Automation Science and Engineering (CASE 2013), Aug 2013, Madison (WI), United States. pp.TuBT5.2
Communication dans un congrès hal-00865616v1
Image document

Building Meaningful Timed Models of Closed-loop DES for Verification Purposes

 Matthieu Perin , Jean-Marc Faure
Control Engineering Practice, 2013, In press, In press. ⟨10.1016/j.conengprac.2012.05.002⟩
Article dans une revue hal-00753809v1
Image document

Model-Driven Multi-Level Safety Analysis of Critical Systems

 Nataliya Yakymets , Matthieu Perin , Agnes Lanusse
Systems Conference (SysCon), 2015 9th Annual IEEE International, Apr 2015, Vancouver, Canada
Communication dans un congrès cea-01810083v1
Page :