5 papers
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…
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…
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…