97 citations · 159 across the 3 of their papers we have counts for
3 papers
Data-driven Reachability using Christoffel Functions and Conformal Prediction
Abdelmouaiz Tebjou, Goran Frehse, Faïcel Chamroukhi
An important mathematical tool in the analysis of dynamical systems is the approximation of the reach set, i.e., the set of states reachable after a given time from a given initial…
JuliaReach: a Toolbox for Set-Based Reachability
Sergiy Bogomolov, Marcelo Forets, Goran Frehse +2
We present JuliaReach, a toolbox for set-based reachability analysis of dynamical systems. JuliaReach consists of two main packages: Reachability, containing implementations of rea…
Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices
Sergiy Bogomolov, Marcelo Forets, Goran Frehse +3
Approximating the set of reachable states of a dynamical system is an algorithmic yet mathematically rigorous way to reason about its safety. Although progress has been made in the…