2 papers
eess.SY2025
A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems
Josefine B. Graebener, Inigo Incer, Richard M. Murray
Identifying the cause of a system-level failure in a cyber-physical system (CPS) can be like tracing a needle in a haystack. This paper approaches the problem by assuming that the…
cs.FL2024
Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications
Josefine B. Graebener, Apurva S. Badithela, Denizalp Goktas +4
Designing tests to evaluate if a given autonomous system satisfies complex specifications is challenging due to the complexity of these systems. This work proposes a flow-based app…