Barrier certificates for nonlinear model validation |
| |
Authors: | Stephen Prajna [Author Vitae] |
| |
Affiliation: | Control and Dynamical Systems, California Institute of Technology, Pasadena, CA 91125, USA |
| |
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. |
| |
Keywords: | Model validation Nonlinear systems Barrier certificates Semidefinite programming relaxations |
本文献已被 ScienceDirect 等数据库收录! |
|