Survey on fault detection, isolation, and recovery strategies in the space domain
M Tipaldi, B Bruenjes - Journal of Aerospace Information Systems, 2015 - arc.aiaa.org
Bernhard Bruenjes is the Head of the Software Department of OHB System AG. He has
occupied this position for the past 18 years. In that time, he has conducted and overseen …
occupied this position for the past 18 years. In that time, he has conducted and overseen …
Efficient Out-of-Distribution Detection Using Latent Space of β-VAE for Cyber-Physical Systems
Deep Neural Networks are actively being used in the design of autonomous Cyber-Physical
Systems (CPSs). The advantage of these models is their ability to handle high-dimensional …
Systems (CPSs). The advantage of these models is their ability to handle high-dimensional …
A study on run time assurance for complex cyber physical systems
Cyber-physical systems are becoming more and more complex, thereby increasing the cost
and time to ensure safety. They range from highly complex but finite state to infinite state …
and time to ensure safety. They range from highly complex but finite state to infinite state …
Application of software health management techniques
The growing complexity of software used in large-scale, safety critical cyber-physical
systems makes it increasingly difficult to expose and hence correct all potential defects …
systems makes it increasingly difficult to expose and hence correct all potential defects …
Achieving resilience in distributed software systems via self-reconfiguration
Improvements in mobile networking combined with the ubiquitous availability and adoption
of low-cost development boards have enabled the vision of mobile platforms of Cyber …
of low-cost development boards have enabled the vision of mobile platforms of Cyber …
Practical causal models for cyber-physical systems
Unlike faults in classical systems, faults in Cyber-Physical Systems will often be caused by
the system's interaction with its physical environment and social context, rendering these …
the system's interaction with its physical environment and social context, rendering these …
Dynamic-weighted simplex strategy for learning enabled cyber physical systems
Abstract Cyber Physical Systems (CPS) have increasingly started using Learning Enabled
Components (LECs) for performing perception-based control tasks. The simple design …
Components (LECs) for performing perception-based control tasks. The simple design …
Chariot: Goal-driven orchestration middleware for resilient iot systems
An emerging trend in Internet of Things (IoT) applications is to move the computation (cyber)
closer to the source of the data (physical). This paradigm is often referred to as edge …
closer to the source of the data (physical). This paradigm is often referred to as edge …
SMT-based validation of timed failure propagation graphs
Abstract Timed Failure Propagation Graphs (TFPGs) are a formalism used in industry to
describe failure propagation in a dynamic partially observable system. TFPGs are commonly …
describe failure propagation in a dynamic partially observable system. TFPGs are commonly …
Using temporal causal models to isolate failures in power system protection devices
We introduced the modeling paradigm of Temporal Causal Diagrams (TCD) in this paper.
TCDs capture fault propagation and behavior (nominal and faulty) of system components …
TCDs capture fault propagation and behavior (nominal and faulty) of system components …