3 citations · 5 across the 9 of their papers we have counts for
10 papers
Exact Computation of LTI Reach Set from Integrator Reach Set with Bounded Input
Shadi Haddad, Pansie Khodary, Abhishek Halder
We present a semi-analytical method for exact computation of the boundary of the reach set of a single-input controllable linear time invariant (LTI) system with given bounds on it…
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…
A Note on the Hausdorff Distance between Norm Balls and their Linear Maps
Shadi Haddad, Abhishek Halder
We consider the problem of computing the (two-sided) Hausdorff distance between the unit and norm balls in finite dimensional Euclidean space for $1 \…
Certifying the Intersection of Reach Sets of Integrator Agents with Set-valued Input Uncertainties
Shadi Haddad, Abhishek Halder
We consider the problem of verifying safety for a pair of identical integrator agents in continuous time with compact set-valued input uncertainties. We encode this verification pr…
Boundary and Taxonomy of Integrator Reach Sets
Shadi Haddad, Abhishek Halder
Over-approximating the forward reach sets of controlled dynamical systems subject to set-valued uncertainties is a common practice in systems-control engineering for the purpose of…
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…
Density-based Stochastic Reachability Computation for Occupancy Prediction in Automated Driving
Shadi Haddad, Abhishek Halder, Baljeet Singh
We propose a stochastic reachability computation framework for occupancy prediction in automated driving by directly solving the underlying transport partial differential equation…
The Convex Geometry of Integrator Reach Sets
Shadi Haddad, Abhishek Halder
We study the convex geometry of the forward reach sets for integrator dynamics in finite dimensions with bounded control. We derive closed-form expressions for the volume and the d…