In this paper, we introduce a new methodology for reasoning about the functional failures
during early design of complex systems. The proposed approach is based on the notion that …

For unmanned aerial systems (UAS) to be successfully deployed and integrated within the
national airspace, it is imperative that they possess the capability to effectively complete their …

We present in this paper a case study of the probabilistic approach to model-based
diagnosis. Here, the diagnosed system is a real-world electrical power system (EPS), ie, the …

Satellite failures account for heavy, irreparable damages, especially when associated with
the Power System which is the heart of a satellite. Anomalies in Satellite Power System …

In the realm of complex and evolving Multi-Agent Systems (MAS), ensuring system reliability
and safety is paramount. These systems, characterized by their partial observability and …

Formally, a Bayesian network is a type of statistical model that can compactly represent
complex probability distributions. Bayesian networks are particularly well-suited to modeling …

This paper demonstrates a novel optimization-based approach to estimating fault states in a
DC power system. The model includes faults changing the circuit topology along with sensor …

Resilience is a key driver in the design of systems that must operate in an uncertain
operating environment, and it is a key metric to assess the capacity for systems to perform …

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 in robust state …

Electrical power systems play a critical role in spacecraft and aircraft. This paper discusses
our development of a diagnostic capability for an electrical power system testbed, ADAPT …