CaltechAUTHORS
  A Caltech Library Service

Barrier Certificates for Nonlinear Model Validation

Prajna, Stephen (2003) Barrier Certificates for Nonlinear Model Validation. In: 42nd IEEE Conference on Decision and Control. IEEE , Piscataway, N.J. , pp. 2884-2889. ISBN 0-7803-7924-1 http://resolver.caltech.edu/CaltechAUTHORS:20111026-133609047

Full text is not posted in this repository. Consult Related URLs below.

Use this Persistent URL to link to this item: http://resolver.caltech.edu/CaltechAUTHORS:20111026-133609047

Abstract

New 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 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.


Item Type:Book Section
Related URLs:
URLURL TypeDescription
http://dx.doi.org/10.1109/CDC.2003.1273063 DOIUNSPECIFIED
http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1273063PublisherUNSPECIFIED
Additional Information:© 2003 IEEE. Date of Current Version: 15 March 2004. The author would like to thank Prof. John Doyle for suggesting the author to work on this topic and providing stimulating discussions. This work was supported by AFOSR “Unified Theory for Complex Biological and Engineering Networks”, NIH/NIGMS Alliance for Cellular Signaling, DARPA “Enlightened Multiscale Simulation of Biochemical Networks”, the Kitano ERATO Systems Biology Project, and URI “Protecting Infrastructures from Themselves.”
Funders:
Funding AgencyGrant Number
Air Force Office of Scientific Research (AFOSR)UNSPECIFIED
NIH/NIGMS Alliance for Cellular Signaling (AfCS)UNSPECIFIED
Defense Advanced Research Projects Agency (DARPA)UNSPECIFIED
Kitano ERATO Systems Biology ProjectUNSPECIFIED
URIUNSPECIFIED
Other Numbering System:
Other Numbering System NameOther Numbering System ID
INSPEC Accession Number8037771
Record Number:CaltechAUTHORS:20111026-133609047
Persistent URL:http://resolver.caltech.edu/CaltechAUTHORS:20111026-133609047
Official Citation:Prajna, S.; , "Barrier certificates for nonlinear model validation," Decision and Control, 2003. Proceedings. 42nd IEEE Conference on , vol.3, no., pp. 2884- 2889 Vol.3, 9-12 Dec. 2003 doi: 10.1109/CDC.2003.1273063 URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=1273063&isnumber=28482
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:27457
Collection:CaltechAUTHORS
Deposited By: Ruth Sustaita
Deposited On:26 Oct 2011 20:56
Last Modified:26 Oct 2011 20:56

Repository Staff Only: item control page