45 citations · 52 across the 10 of their papers we have counts for
4 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…
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…
Symbolic Abstractions From Data: A PAC Learning Approach
Alex Devonport, Adnane Saoud, Murat Arcak
Symbolic control techniques aim to satisfy complex logic specifications. A critical step in these techniques is the construction of a symbolic (discrete) abstraction, a finite-stat…