3 citations · 5 across the 9 of their papers we have counts for
4 papers · 1 filter
Convex and Nonconvex Sublinear Regression with Application to Data-driven Learning of Reach Sets
Shadi Haddad, Abhishek Halder
We consider estimating a compact set from finite data by approximating the support function of that set via sublinear regression. Support functions uniquely characterize a compact…
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…
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…
Prediction and Optimal Feedback Steering of Probability Density Functions for Safe Automated Driving
Shadi Haddad, Kenneth F. Caluya, Abhishek Halder +1
We propose a stochastic prediction-control framework to promote safety in automated driving by directly controlling the joint state probability density functions (PDFs) subject to…