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. https://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: https://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: |
| ||||||||||||
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: |
| ||||||||||||
Other Numbering System: |
| ||||||||||||
DOI: | 10.1109/CDC.2003.1273063 | ||||||||||||
Record Number: | CaltechAUTHORS:20111026-133609047 | ||||||||||||
Persistent URL: | https://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: | 09 Nov 2021 16:48 |
Repository Staff Only: item control page