Causal repair of learning-enabled cyber-physical systems

P Lu, I Ruchkin, M Cleaveland… - … on Assured Autonomy …, 2023 - ieeexplore.ieee.org
Models of actual causality leverage domain knowledge to generate convincing diagnoses of
events that caused an outcome. It is promising to apply these models to diagnose and repair …

Repairing Learning-Enabled Controllers While Preserving What Works

P Lu, M Cleaveland, O Sokolsky, I Lee… - arXiv preprint arXiv …, 2023 - arxiv.org
Learning-enabled controllers have been adopted in various cyber-physical systems (CPS).
When a learning-enabled controller fails to accomplish its task from a set of initial states …

Explainability for Property Violations in Cyber-Physical Systems: An Immune-Inspired Approach

JPC de Araujo, GN Rodrigues, M Carwehl… - IEEE …, 2024 - ieeexplore.ieee.org
Complex relations between cybernetic and physical components of a cyber-physical system
(CPS) in tandem with continuous environment changes represent a challenge to …

Combining runtime monitoring and machine learning with human feedback

A Lukina - Proceedings of the AAAI Conference on Artificial …, 2023 - ojs.aaai.org
State-of-the-art machine-learned controllers for autonomous systems demonstrate
unbeatable performance in scenarios known from training. However, in evolving …

Dynamic simplex: Balancing safety and performance in autonomous cyber physical systems

B Luo, S Ramakrishna, A Pettet, C Kuhn… - Proceedings of the …, 2023 - dl.acm.org
Learning Enabled Components (LEC) have greatly assisted cyber-physical systems in
achieving higher levels of autonomy. However, LEC's susceptibility to dynamic and …

Interpretable fault diagnosis for cyberphysical systems: A learning perspective

Z Deng, Z Kong - Computer, 2021 - ieeexplore.ieee.org
Cyberphysical systems (CPSs) are vulnerable to catastrophic fault propagation due to the
strong connectivity among their subsystems. This article introduces a learning-based …

How to ensure safety of learning-enabled cyber-physical systems?

N Paoletti, J Woodcock - Research Directions: Cyber-Physical …, 2023 - cambridge.org
Modern cyber-physical systems (CPS) integrate machine learning and deep learning
components for a variety of tasks, including sensing, control, anomaly detection and learning …

Modalas: Model-driven assurance for learning-enabled autonomous systems

MA Langford, KH Chan, JE Fleck… - 2021 ACM/IEEE 24th …, 2021 - ieeexplore.ieee.org
Increasingly, safety-critical systems include artificial intelligence and machine learning
components (ie, Learning-Enabled Components (LECs)). However, when behavior is …

Improving resilience in cyber-physical systems based on transfer learning

MS Azari, F Flammini, S Santini - 2022 IEEE International …, 2022 - ieeexplore.ieee.org
An essential aspect of resilience within Cyber-Physical Systems stands in their capacity of
early detection of faults before they generate failures. Faults can be of any origin, either …

Towards self-explainable cyber-physical systems

M Blumreiter, J Greenyer, FJC Garcia… - 2019 ACM/IEEE …, 2019 - ieeexplore.ieee.org
With the increasing complexity of Cyber-Physical Systems, their behavior and decisions
become increasingly difficult to understand and comprehend for users and other …