Definition of Model-based diagnosis problems with Altarica

Yannick Pencolé (1) , Elodie Chanthery (1) , Thierry Peynot (2)

1 LAAS-DISCO - Équipe DIagnostic, Supervision et COnduite
2 QUT - Queensland University of Technology [Brisbane]

This paper presents a framework for modeling diagnosis problems based on a formal language called Altarica. The initial purpose of the language Altarica was to define a modeling language for safety analysis. This language has been developed as a collaboration between academics and industrial partners and is used in some industrial companies. The paper shows that the expres-sivity of this language, mixing event-based and state-based models, is sufficient to model classical model-based diagnosis problems (logic-based and event-based) and problems that combine state-based and event-based behaviors. This modeling framework, whose semantics is fully specified, is a promising framework to design richer diagnosis problems. As example, we introduce a robotic diagnosis problem that benefits from the full ex-pressivity of the language.

Mots clés: Model-Based Diagnosis; Altarica; System Modeling

Domaines: Intelligence artificielle [cs.AI]; Systèmes embarqués; Systèmes et contrôle [cs.SY]; Automatique

Yannick Pencolé, Elodie Chanthery, Thierry Peynot. Definition of Model-based diagnosis problems with Altarica. 27th International Workshop on Principles of Diagnosis (DX-2016), Oct 2016, Denver, CO, United States. 8p. ⟨hal-01358693v2⟩