Barrier certificates for nonlinear model validation

Authors:
Stephen Prajna
Affiliations:
Control and Dynamical Systems, California Institute of Technology, Pasadena, CA 91125, USA
Venue:
Automatica (Journal of IFAC)
Year:
2006

Citing 3
Cited 1

Semidefinite programming

SIAM Review
Introduction to Hybrid Dynamical Systems

Introduction to Hybrid Dynamical Systems
Model validation for control and controller validation in a prediction error identification framework-Part I: theory

Automatica (Journal of IFAC)

Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets

Proceedings of the 16th international conference on Hybrid systems: computation and control

Quantified Score

Hi-index	22.14

Visualization

Abstract

Methods for model validation of continuous-time nonlinear systems with uncertain parameters are presented in this paper. The methods employ functions of state-parameter-time, termed 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 can be treated within this framework; this includes differential-algebraic models, models with memoryless/dynamic uncertainties, and hybrid models. Construction of barrier certificates can be performed by convex optimization, utilizing recent results on the sum of squares decomposition of multivariate polynomials.