# Automatic Failure Explanation in CPS Models

arXiv: https://arxiv.org/abs/1903.12468 · HTML: https://mlsanity.com/paper/1903.12468/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 29 Mar 2019.

## Built on by (most cited first, 1 of 1)

- [Learning to Estimate System Specifications in Linear Temporal Logic using Transformers and Mamba](https://mlsanity.com/paper/2405.20917/) (2024)

## Abstract (arXiv)

Debugging Cyber-Physical System (CPS) models can be extremely complex. Indeed, only the detection of a failure is insuffcient to know how to correct a faulty model. Faults can propagate in time and in space producing observable misbehaviours in locations completely different from the location of the fault. Understanding the reason of an observed failure is typically a challenging and laborious task left to the experience and domain knowledge of the designer. n In this paper, we propose CPSDebug, a novel approach that by combining testing, specification mining, and failure analysis, can automatically explain failures in Simulink/Stateflow models. We evaluate CPSDebug on two case studies, involving two use scenarios and several classes of faults, demonstrating the potential value of our approach.