Pubblication Details
| Authors: | Daniele Codetta Raiteri |
| Luigi Portinale |
| Scientific Area: | Uncertain Reasoning |
| Probabilistic Graphical Models |
| Dependability and Reliability |
| Formal Models |
| Title: | Using Dynamic Decision Networks and Extended Fault Trees for Autonomous FDIR |
| Published on: | Proceedings of the International Conference on Tools with Artificial Intelligence |
| Pages: | 480-484 |
| Publisher: | IEEE Computer Society |
| Year: | 2011 |
| Tipo Pubblicazione: | Paper on Proceedings International Conference |
| URL: | http://dx.doi.org/10.1109/ICTAI.2011.78 |
| Abstract: | 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 |
