Italiano (Italian) English (Inglese)
giovedì, 21 settembre 2023


Dettagli Pubblicazione
Autori:Daniele Codetta Raiteri
Luigi Portinale
Area Scientifica:Uncertain Reasoning
Probabilistic Graphical Models
Dependability and Reliability
Formal Models
Titolo:Using Dynamic Decision Networks and Extended Fault Trees for Autonomous FDIR
Apparso su:Proceedings of the International Conference on Tools with Artificial Intelligence
Editore:IEEE Computer Society
Tipo Pubblicazione:Paper on Proceedings International Conference
Sommario:We address the problem of defining the behavior of an autonoumous FDIR (Fault Detection, Identification and Recovery) agent (e.g. a space rover), in presence of uncertainty and partial observability; we show how a Dynamic Decision Network (DDN) can be built through a fault analysis phase by producing an Extended Dynamic Fault Tree (EDFT). In this fault tree extension, several modeling features are introduced: a generalization of Boolean components to multi-state components, general stochastic dependencies among components, and finally external actions on the system as well as controllable actions triggered by the system itself. We discuss how EDFT can be adopted as a formal modeling language (familiar to reliability engineers), then compiled into a DDN for the FDIR analysis through standard inference algorithms