Sciweavers

Share
AUTOMATICA
2006

Barrier certificates for nonlinear model validation

9 years 2 months ago
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.
Stephen Prajna
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2006
Where AUTOMATICA
Authors Stephen Prajna
Comments (0)
books