7 citations · 7 across the 2 of their papers we have counts for
2 papers
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★ 7 cited
Optimization Based Planner Tracker Design for Safety Guarantees
He Yin, Monimoy Bujarbaruah, Murat Arcak +1
We present a safe-by-design approach to path planning and control for nonlinear systems. The planner uses a low fidelity model of the plant to compute reference trajectories by sol…