45 citations · 52 across the 10 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
eess.SY2019
Data-Driven Reachable Set Computation using Adaptive Gaussian Process Classification and Monte Carlo Methods
Alex Devonport, Murat Arcak
We present two data-driven methods for estimating reachable sets with probabilistic guarantees. Both methods make use of a probabilistic formulation allowing for a formal definitio…
eess.SY2019★ 45 cited
TIRA: Toolbox for Interval Reachability Analysis
Pierre-Jean Meyer, Alex Devonport, Murat Arcak
This paper presents TIRA, a Matlab library gathering several methods for the computation of interval over-approximations of the reachable sets for both continuous- and discrete-tim…