30 citations · 61 across the 30 of their papers we have counts for
12 papers · 1 filter
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…
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…
Stability Theory of Stochastic Models in Opinion Dynamics
Zahra Askarzadeh, Rui Fu, Abhishek Halder +2
We consider a certain class of nonlinear maps that preserve the probability simplex, i.e., stochastic maps, that are inspired by the DeGroot-Friedkin model of belief/opinion propag…
Architecture and Algorithms for Privacy Preserving Thermal Inertial Load Management by A Load Serving Entity
Abhishek Halder, Xinbo Geng, P. R. Kumar +1
Motivated by the growing importance of demand response in modern power system's operations, we propose an architecture and supporting algorithms for privacy preserving thermal iner…