Towards Software Health Management with Bayesian Networks

A Publication, Ashok Srivastava's Collection - 11 years ago

Shared By: Ashok Srivastava

More and more systems such as aircraft, machinery, and cars rely heavily on software, which performs safety-critical operations. Assuring software safety though traditional V&V; has ...

Methods for Probabilistic Fault Diagnosis: An EPS Case Study

A Publication, Ole Mengshoel's Collection - 14 years, 6 months ago

Shared By: Ole Mengshoel

Health management systems that more accurately and quickly diagnose faults that may occur in different technical systems on-board a vehicle will play a key role ...

Probabilistic Model-Based Diagnosis for Electrical Power Systems

A Publication, Ole Mengshoel's Collection - 14 years, 6 months ago

Shared By: Ole Mengshoel

We present in this article a case study of the probabilistic approach to model-based diagnosis. Here, the diagnosed system is a real-world electrical power system, ...

Developing Large-Scale Bayesian Networks by Composition

A Publication, Ole Mengshoel's Collection - 14 years, 6 months ago

Shared By: Ole Mengshoel

In this paper, we investigate the use of Bayesian networks to construct large-scale diagnostic systems. In particular, we consider the development of large-scale Bayesian networks ...

The ProADAPT System in the 2009 Diagnostic Challenge Competition

A Publication, Ole Mengshoel's Collection - 14 years, 6 months ago

Shared By: Ole Mengshoel

Reliable systems health management is an important research area of NASA. A health management system that can accurately and quickly diagnose faults in various on-board ...

Designing Resource-Bounded Reasoners using Bayesian Networks

A Publication, Ole Mengshoel's Collection - 14 years, 6 months ago

Shared By: Ole Mengshoel

In this work we are concerned with the conceptual design of large-scale diagnostic and health management systems that use Bayesian networks. While they are potentially ...

Macroscopic Models of Clique Tree Growth for Bayesian Networks

A Publication, Ole Mengshoel's Collection - 14 years, 6 months ago

Shared By: Ole Mengshoel

In clique tree clustering, inference consists of propagation in a clique tree compiled from a Bayesian network. In this paper, we develop an analytical approach ...

Sensor Validation using Bayesian Networks

A Publication, Ole Mengshoel's Collection - 14 years, 6 months ago

Shared By: Ole Mengshoel

One of NASA’s key mission requirements is robust state estimation. Sensing, using a wide range of sensors and sensor fusion approaches, plays a central role ...