Zobrazeno 1 - 10
of 42
pro vyhledávání: '"Haddad, Shadi"'
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 its input range. In doing so, we deduce a parametric formula for the bou
Externí odkaz:
http://arxiv.org/abs/2309.08222
Autor:
Haddad, Shadi, Halder, Abhishek
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 set up to closure of convexification, and are sublinear (convex as wel
Externí odkaz:
http://arxiv.org/abs/2210.01919
Autor:
Haddad, Shadi, Halder, Abhishek
We consider the problem of computing the (two-sided) Hausdorff distance between the unit $\ell_{p_{1}}$ and $\ell_{p_{2}}$ norm balls in finite dimensional Euclidean space for $1 \leq p_1 < p_2 \leq \infty$, and derive a closed-form formula for the s
Externí odkaz:
http://arxiv.org/abs/2206.12012
Autor:
Haddad, Shadi, Halder, Abhishek
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 problem as that of certifying or falsifying the intersection of their re
Externí odkaz:
http://arxiv.org/abs/2203.12007
Autor:
Haddad, Shadi, Halder, Abhishek
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 performance verification. However, specific algebraic and topological
Externí odkaz:
http://arxiv.org/abs/2109.00595
Autor:
Haddad, Shadi, Halder, Abhishek
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). While several algorithms are available for this purpose, they tend to be
Externí odkaz:
http://arxiv.org/abs/2103.04545
Autor:
Haddad, Shadi, Halder, Abhishek
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, we establish that this compact convex reach set is semialgebraic, tr
Externí odkaz:
http://arxiv.org/abs/2102.11423
Prediction and Optimal Feedback Steering of Probability Density Functions for Safe Automated Driving
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 the vehicle dynamics via trajectory-level state feedback. To illustrat
Externí odkaz:
http://arxiv.org/abs/2009.09055
We propose a stochastic reachability computation framework for occupancy prediction in automated driving by directly solving the underlying transport partial differential equation governing the advection of the closed-loop joint density functions. Th
Externí odkaz:
http://arxiv.org/abs/2006.12581
Autor:
Haddad, Shadi, Halder, Abhishek
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 diameter (i.e., maximal width) of these sets in terms of the state spac
Externí odkaz:
http://arxiv.org/abs/1909.12498