30 citations · 61 across the 30 of their papers we have counts for
Showing 2021 · eess.SYShow all
2 papers · 2 filters
eess.SY2021
Anytime Ellipsoidal Over-approximation of Forward Reach Sets of Uncertain Linear Systems
Shadi Haddad, Abhishek Halder
Computing tight over-approximation of reach sets of a controlled uncertain dynamical system is a common practice in verification of safety-critical cyber-physical systems (CPS). Wh…
eess.SY2021★ 3 cited
The Curious Case of Integrator Reach Sets, Part I: Basic Theory
Shadi Haddad, Abhishek Halder
This is the first of a two part paper investigating the geometry of the integrator reach sets, and the applications thereof. In this Part I, assuming box-valued input uncertainties…