4 papers · 1 filter
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…
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…
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…