Safety Verification of Unknown Dynamical Systems via Gaussian Process Regression.

John Jackson Luca Laurenti Eric W. Frew Morteza Lahijanian

Published in: CDC (2020)

Keyphrases

dynamical systems
gaussian process regression
gaussian processes
gaussian process
differential equations
state space
nonlinear dynamical systems
covariance function
model checking
agent environment
objective function
high dimensional
bayesian framework
predictive state representations