Model Validation: A Probabilistic Formulation

A. Halder and R. Bhattacharya

50th IEEE Conference on Decision and Control (CDC) and European Control Conference (ECC), Orlando, Florida, USA, December 2011.

Abstract: This paper presents a probabilistic formulation of the model validation problem. The proposed validation framework is simple, intuitive, and can account both deterministic and stochastic nonlinear systems in presence of parametric and nonparametric uncertainties. Contrary to the hard invalidation methods proposed in the literature, our formulation allows a relaxed notion of validation in probability. The construction of probabilistically robust validation certificates provides provably correct guarantees. Computational complexities and numerical examples are given to illustrate the method.