30 citations · 61 across the 30 of their papers we have counts for
5 papers · 1 filter
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…
Stochastic Uncertainty Propagation in Power System Dynamics using Measure-valued Proximal Recursions
Abhishek Halder, Kenneth F. Caluya, Pegah Ojaghi +1
We present a proximal algorithm that performs a variational recursion on the space of joint probability measures to propagate the stochastic uncertainties in power system dynamics…
On the Convexity of Discrete Time Covariance Steering in Stochastic Linear Systems with Wasserstein Terminal Cost
Isin M. Balci, Abhishek Halder, Efstathios Bakolas
In this work, we analyze the properties of the solution to the covariance steering problem for discrete time Gaussian linear systems with a squared Wasserstein distance terminal co…
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…