GP3: A Sampling-based Analysis Framework for Gaussian Processes

by   Armin Lederer, et al.

Although machine learning is increasingly applied in control approaches, only few methods guarantee certifiable safety, which is necessary for real world applications. These approaches typically rely on well-understood learning algorithms, which allow formal theoretical analysis. Gaussian process regression is a prominent example among those methods, which attracts growing attention due to its strong Bayesian foundations. Even though many problems regarding the analysis of Gaussian processes have a similar structure, specific approaches are typically tailored for them individually, without strong focus on computational efficiency. Thereby, the practical applicability and performance of these approaches is limited. In order to overcome this issue, we propose a novel framework called GP3, general purpose computation on graphics processing units for Gaussian processes, which allows to solve many of the existing problems efficiently. By employing interval analysis, local Lipschitz constants are computed in order to extend properties verified on a grid to continuous state spaces. Since the computation is completely parallelizable, the computational benefits of GPU processing are exploited in combination with multi-resolution sampling in order to allow high resolution analysis.


Efficiently sampling functions from Gaussian process posteriors

Gaussian processes are the gold standard for many real-world modeling pr...

Evolving-Graph Gaussian Processes

Graph Gaussian Processes (GGPs) provide a data-efficient solution on gra...

Uniform Error and Posterior Variance Bounds for Gaussian Process Regression with Application to Safe Control

In application areas where data generation is expensive, Gaussian proces...

Graph Convolutional Gaussian Processes

We propose a novel Bayesian nonparametric method to learn translation-in...

Domain Selection for Gaussian Process Data: An application to electrocardiogram signals

Gaussian Processes and the Kullback-Leibler divergence have been deeply ...

Mixtures of Gaussian Processes for regression under multiple prior distributions

When constructing a Bayesian Machine Learning model, we might be faced w...

Using Multitask Gaussian Processes to estimate the effect of a targeted effort to remove firearms

Gun violence is a critical public safety concern in the United States. I...

Please sign up or login with your details

Forgot password? Click here to reset