Online Inference for Adaptive Diagnosis via Arithmetic Circuit Compilation of Bayesian Networks

Sara Zermani 1 Catherine Dezan 2 Reinhardt Euler 1 Jean-Philippe Diguet 3
1 Lab-STICC_UBO_CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance, UBO - Université de Brest
3 Lab-STICC_UBS_CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Abstract : Considering technology and complexity evolution the design of fully reliable embedded systems will be prohibitively complex and costly. Onboard diagnosis is a first solution that can be achieved by means of Bayesian networks. An efficient compilation of Bayesian inference is proposed using Arithmetic Circuits (AC). ACs can be efficiently implemented in hardware to get very fast response time. This approach has been recently experimented in Software Health Management of aircrafts or UAVs. However, there are two kinds of obstacles that must be addressed. First, the tree complexity can lead to intractable solutions and second, an offline static analysis cannot capture the dynamic behaviour of a system that can have multiple configurations and applications. In this paper, we present our direction to solve these issues. Our approach relies on an adaptive version of the diagnosis computation for different kinds of applications/missions of UAVs. In particular, we consider an incremental generation of the AC structure. This adaptive diagnosis can be implemented using dynamic reconfiguration of FPGA circuits.
Type de document :
Communication dans un congrès
Designing with Uncertainty: Opportunities & Challenges workshop, Mar 2014, York, United Kingdom. 2014
Liste complète des métadonnées

Littérature citée [6 références]  Voir  Masquer  Télécharger

http://hal.univ-brest.fr/hal-00965533
Contributeur : Catherine Dezan <>
Soumis le : mardi 25 mars 2014 - 12:48:42
Dernière modification le : mardi 28 août 2018 - 10:59:53
Document(s) archivé(s) le : mercredi 25 juin 2014 - 11:40:54

Identifiants

  • HAL Id : hal-00965533, version 1

Citation

Sara Zermani, Catherine Dezan, Reinhardt Euler, Jean-Philippe Diguet. Online Inference for Adaptive Diagnosis via Arithmetic Circuit Compilation of Bayesian Networks. Designing with Uncertainty: Opportunities & Challenges workshop, Mar 2014, York, United Kingdom. 2014. 〈hal-00965533〉

Partager

Métriques

Consultations de la notice

2111

Téléchargements de fichiers

379