Definition of Model-based diagnosis problems with Altarica
Contribuinte(s) |
Équipe DIagnostic, Supervision et COnduite (LAAS-DISCO) ; Laboratoire d'analyse et d'architecture des systèmes [Toulouse] (LAAS) ; Institut National Polytechnique [Toulouse] (INP) - Institut National des Sciences Appliquées - Toulouse (INSA Toulouse) ; Institut National des Sciences Appliquées (INSA) - Institut National des Sciences Appliquées (INSA) - Université Paul Sabatier - Toulouse 3 (UPS) - Centre National de la Recherche Scientifique (CNRS) - Institut National Polytechnique [Toulouse] (INP) - Institut National des Sciences Appliquées - Toulouse (INSA Toulouse) ; Institut National des Sciences Appliquées (INSA) - Institut National des Sciences Appliquées (INSA) - Université Paul Sabatier - Toulouse 3 (UPS) - Centre National de la Recherche Scientifique (CNRS) Laboratoire d'analyse et d'architecture des systèmes [Toulouse] (LAAS) ; Institut National Polytechnique [Toulouse] (INP) - Institut National des Sciences Appliquées - Toulouse (INSA Toulouse) ; Institut National des Sciences Appliquées (INSA) - Institut National des Sciences Appliquées (INSA) - Université Paul Sabatier - Toulouse 3 (UPS) - Centre National de la Recherche Scientifique (CNRS) Queensland University of Technolgy [Brisbane] (QUT) ; Queensland University ot Technolgy |
---|---|
Cobertura |
Denver, United States |
Data(s) |
04/10/2016
|
Resumo |
International audience This paper presents a framework for modelingdiagnosis problems based on a formal languagecalled Altarica. The initial purpose of the lan-guage Altarica was to define a modeling languagefor safety analysis. This language has been devel-oped as a collaboration between academics andindustrial partners and is used in some industrialcompanies. The paper shows that the expres-sivity of this language, mixing event-based andstate-based models, is sufficient to model classicalmodel-based diagnosis problems (logic-based andevent-based) and problems that combine state-based and event-based behaviors. This modelingframework, whose semantics is fully specified, isa promising framework to design richer diagno-sis problems. As example, we introduce a roboticdiagnosis problem that benefits from the full ex-pressivity of the language. |
Identificador |
hal-01392568 |
Idioma(s) |
en |
Publicador |
HAL CCSD |
Fonte |
The 27th International Workshop on Principles of Diagnosis: DX-2016 https://hal.archives-ouvertes.fr/hal-01392568 The 27th International Workshop on Principles of Diagnosis: DX-2016, Oct 2016, Denver, United States. 2016, <http://dx-2016.org> http://dx-2016.org |
Palavras-Chave | #altarica #Diagnosis #[INFO.INFO-RB] Computer Science [cs]/Robotics [cs.RO] #[INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI] #[INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation |
Tipo |
info:eu-repo/semantics/conferenceObject Conference papers |