7 citations · 15 across the 7 of their papers we have counts for
3 papers · 1 filter
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…
Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems
Josefine Graebener, Apurva Badithela, Richard M. Murray
We present a framework for merging unit tests for autonomous systems. Typically, it is intractable to test an autonomous system for every scenario in its operating environment. The…
Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture
Josefine Graebener, Tung Phan-Minh, Jiaqi Yan +2
Increased complexity in cyber-physical systems calls for modular system design methodologies that guarantee correct and reliable behavior, both in normal operations and in the pres…