3 papers
eess.SY2020
Bayesian Safe Learning and Control with Sum-of-Squares Analysis and Polynomial Kernels
Alex Devonport, He Yin, Murat Arcak
We propose an iterative method to safely learn the unmodeled dynamics of a nonlinear system using Bayesian Gaussian process (GP) models with polynomial kernel functions. The method…
eess.SY2020
PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems
Alex Devonport, Mahmoud Khaled, Murat Arcak +1
Reachability analysis is a critical tool for the formal verification of dynamical systems and the synthesis of controllers for them. Due to their computational complexity, many rea…
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…