Filtrer vos résultats
- 5
- 4
- 3
- 3
- 2
- 1
- 8
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 3
- 9
- 6
- 5
- 4
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 8
- 4
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
9 résultats
|
|
triés par
|
|
Towards Causal Explanations of Property Violations in Discrete Event SystemsDX'19 - 30th International Workshop on Principles of Diagnosis, Nov 2019, Klagenfurt, Austria. pp.1-8
Communication dans un congrès
hal-02369014v1
|
||
Surveillance et interprétation d'alarmes en milieu industrielActes des 6emes Journées nationales du PRC-GDR Intelligence artificielle, Ed. Hermès, 1997
Chapitre d'ouvrage
hal-01933720v1
|
|||
|
Conflicts Versus Analytical Redundancy RelationsIEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics, 2004, 34 (5), pp.2163 - 2177. ⟨10.1109/TSMCB.2004.835010⟩
Article dans une revue
hal-01931749v1
|
||
|
How to use Model Checking for Diagnosing Fault Patterns in Petri netsWODES 2020 - 15th IFAC Workshop on Discrete Event Systems, Nov 2020, Virtual, Brazil. pp.1-6
Communication dans un congrès
hal-02997908v1
|
||
Monitoring and alarm interpretation in industrial environmentsAI Communications, 1998, 11
Article dans une revue
hal-01358374v1
|
|||
Diagnostic et supervision : approches à base de modèlesPierre Marquis and Odile Papini and Henri Prade. Panorama de l'intelligence artificielle : Ses bases méthodologiques, ses développements, 2, Cépaduès, 2013
Chapitre d'ouvrage
hal-00769636v1
|
|||
Gestion de l'évolutif et de l'incertain dans une base de connaissances5èmes Journées Nationales du PRC-GDR : Intelligence Artificielle (1995), Groupe de Recherche IA du CNRS, Feb 1995, Nancy, France. pp.77--121
Communication dans un congrès
hal-04050876v1
|
|||
Diagnosis and supervision: model-based approachesPierre Marquis, Odile Papini, Henri Prade. A guided tour of artificial intelligence research, 1, Springer, 2017, Knowledge representation and reasoning, 978-3-030-06164-7
Chapitre d'ouvrage
hal-01483436v1
|
|||
|
Groupement de Recherche MACS - Bilan 2019-2023 et Projet 2024-2028Rapport LAAS n° 23382. 2023
Autre rapport, séminaire, workshop
hal-04246559v1
|