Filtrer vos résultats
- 6
- 5
- 1
- 3
- 3
- 1
- 2
- 1
- 1
- 1
- 5
- 1
- 5
- 1
- 6
- 5
- 1
- 1
6 résultats
|
|
triés par
|
|
Coupling timed plant and controller models with urgent transitions without introducing deadlocks17th IEEE international conference on Emerging Technologies on Factory Automation, Sep 2012, Krakovie, Poland. SS09, paper 242
Communication dans un congrès
hal-00753892v1
|
||
|
Analyse prévisionnelle des fautes des systèmes embarqués discrets par vérification model-basedConférence Internationale Francophone d'Automatique (CIFA) 2008, Sep 2008, Bucarest, Roumanie. CDRom paper n°381
Communication dans un congrès
hal-00359050v1
|
||
|
Building Meaningful Timed Plant Models for Verification Purposes13th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 2009), Jun 2009, Moscow, Russia. paper 420
Communication dans un congrès
hal-00379421v1
|
||
|
Comparing detailed and abstract timed models of automated discrete manufacturing systems9th 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
|
||
|
Building Meaningful Timed Models of Closed-loop DES for Verification PurposesControl Engineering Practice, 2013, In press, In press. ⟨10.1016/j.conengprac.2012.05.002⟩
Article dans une revue
hal-00753809v1
|
||
|
Model-Driven Multi-Level Safety Analysis of Critical Systems Systems Conference (SysCon), 2015 9th Annual IEEE International, Apr 2015, Vancouver, Canada
Communication dans un congrès
cea-01810083v1
|