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 not available from this repository.
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 | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 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: |
| ||||||||||||
| Record Number: | CaltechAUTHORS:20111026-133609047 | ||||||||||||
| Persistent URL: | http://resolver.caltech.edu/CaltechAUTHORS:20111026-133609047 | ||||||||||||
| Related URLs: | |||||||||||||
| 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
