Filtrer vos résultats
- 7
- 2
- 6
- 3
- 8
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 5
- 4
- 9
- 9
- 1
- 1
- 1
- 9
- 9
- 5
- 4
- 4
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
9 résultats
|
|
triés par
|
Vérification de la diagnosticabilité par model-checking10ème Conférence Francophone de Modélisation, Optimisation et Simulation, MOSIM'14, Nov 2014, Nancy, France
Communication dans un congrès
hal-01094963v1
|
|||
|
Decentralized diagnosis and diagnosability by model checkingUniversal Journal of Control and Automation, 2013, 1 (2), pp.28-33. ⟨10.13189/ujca.2013.010202⟩
Article dans une revue
hal-00870135v1
|
||
Mon projet en 5 minutes" : un concours national pour valoriser des compétences acquises par les étudiants dans le domaine de l'EEALa Revue 3E.I, 2021, 106, pp.54-63
Article dans une revue
hal-03387868v1
|
|||
|
Fault tolerant control for manufacturing discrete systems by filter and diagnoser interactionsAnnual Conference of the Prognostics and Health Management Society, PHM Conference 2014, Sep 2014, Dallas, United States
Communication dans un congrès
hal-01094956v1
|
||
|
Implementation of diagnosis approach for Discrete Event SystemsInternational Symposium on Security and Safety of Complex Systems, 2SCS'12, May 2012, Agadir, Morocco. pp.CDROM
Communication dans un congrès
hal-00767444v1
|
||
|
Approche de détection et d'explication d'erreur de commande par filtrage robusteJournal Européen des Systèmes Automatisés (JESA), 2014, 48 (4-6), pp.339-372. ⟨10.3166/jesa.48.339-372⟩
Article dans une revue
hal-01094983v1
|
||
|
Conception d'un système de vérification de la diagnosticabilité par model checking à partir du modèle du système12ème Conférence Internationale de Modélisation, Optimisation et Simulation, MOSIM 2018, Jun 2018, Toulouse, France
Communication dans un congrès
hal-02114024v1
|
||
|
Checking diagnosability on centralized model of the systemInternational Conference on Control, Automation and Diagnosis, ICCAD'19, Jul 2019, Grenoble, France. ⟨10.1109/ICCAD46983.2019.9037869⟩
Communication dans un congrès
hal-02336445v1
|
||
|
Diagnosability evaluation by model-checking9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, SAFEPROCESS'2015, Sep 2015, Paris, France. pp.308-313, ⟨10.1016/j.ifacol.2015.09.545⟩
Communication dans un congrès
hal-01145738v1
|