59 citations · 326 across the 66 of their papers we have counts for
8 papers · 1 filter
Data-Driven Reachability analysis and Support set Estimation with Christoffel Functions
Alex Devonport, Forest Yang, Laurent El Ghaoui +1
We present algorithms for estimating the forward reachable set of a dynamical system using only a finite collection of independent and identically distributed samples. The produced…
DaDRA: A Python Library for Data-Driven Reachability Analysis
Jared Mejia, Alex Devonport, Murat Arcak
Reachability analysis is used to determine all possible states that a system acting under uncertainty may reach. It is a critical component to obtain guarantees of various safety-c…
Recurrent Neural Network Controllers Synthesis with Stability Guarantees for Partially Observed Systems
Fangda Gu, He Yin, Laurent El Ghaoui +3
Neural network controllers have become popular in control tasks thanks to their flexibility and expressivity. Stability is a crucial property for safety-critical dynamical systems,…
Speed Advisory System Using Real-Time Actuated Traffic Light Phase Length Prediction
Mikhail Burov, Murat Arcak, Alexander Kurzhanskiy
Speed advisory systems for connected vehicles rely on the estimation of green (or red) light duration at signalized intersections. A particular challenge is to predict the signal p…
Detecting Braess Routes: an Algorithm Accounting for Queuing Delays With an Extended Graph
Mikhail Burov, Can Kizilkale, Alexander Kurzhanskiy +1
The Braess paradox is a counter-intuitive phenomenon whereby adding roads to a network results in higher travel time at equilibrium. In this paper we present an algorithm to detect…
Data-Driven Reachability Analysis with Christoffel Functions
Alex Devonport, Forest Yang, Laurent El Ghaoui +1
We present an algorithm for data-driven reachability analysis that estimates finite-horizon forward reachable sets for general nonlinear systems using level sets of a certain class…