Barrier certificates for nonlinear model validation

Abstract-- New methods for model validation of continuoustime nonlinear systems with uncertain parameters are presented in this paper. The methods employ functions of state-parametertime, termed here as barrier certificates, whose existence proves that a model and a feasible parameter set are inconsistent with some time-domain experimental data. A very large class of models, including differential-algebraic models, models with memoryless/dynamic uncertainties, and hybrid models, can be treated within this framework. Construction of barrier certificates can be performed by convex optimization, utilizing the sum of squares decomposition of multivariate polynomials.

• Type: Journal
• Year: 2006
• Where: AUTOMATICA
• Authors: Stephen Prajna
• Keywords: AUTOMATICA 2006, Barrier Certificates, Model Validation, Uncertain Parameters