45 citations · 52 across the 10 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
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…