Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

9 résultats
Image document

Towards Causal Explanations of Property Violations in Discrete Event Systems

Gregor Gössler , Thomas Mari , Yannick Pencolé , Louise Travé-Massuyès
DX'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 industriel

Jacky Montmain , Marie-Odile Cordier , Christophe Dousson , Louise Travé-Massuyès , Sylvie Cauvin , et al.
Actes des 6emes Journées nationales du PRC-GDR Intelligence artificielle, Ed. Hermès, 1997
Chapitre d'ouvrage hal-01933720v1
Image document

Conflicts Versus Analytical Redundancy Relations

Marie-Odile Cordier , Philippe Dague , François Lévy , Jacky Montmain , Marcel Staroswiecki , et al.
IEEE 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
Image document

How to use Model Checking for Diagnosing Fault Patterns in Petri nets

Johanne Bakalara , Yannick Pencolé , Audine Subias
WODES 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 environments

S Cauvin , Marie-Odile Cordier , Christophe Dousson , P Laborie , François Lévy , et al.
AI Communications, 1998, 11
Article dans une revue hal-01358374v1

Diagnostic et supervision : approches à base de modèles

Marie-Odile Cordier , Philippe Dague , Yannick Pencolé , Louise Travé-Massuyès
Pierre 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 connaissances

Nicole Bidoit , Serenella Cerrito , Laurence Cholvy , Marie-Odile Cordier , Philippe Dague , et al.
5è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 approaches

Marie-Odile Cordier , Philippe Dague , Yannick Pencolé , Louise Travé-Massuyès
Pierre 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
Image document

Groupement de Recherche MACS - Bilan 2019-2023 et Projet 2024-2028

Dimitri Peaucelle , Damien Trentesaux , Gülgün Alpan , Romain Postoyan , Jean Auriol , et al.
Rapport LAAS n° 23382. 2023
Autre rapport, séminaire, workshop hal-04246559v1