Barrier Certificates for Nonlinear Model Validation

Proceedings of the IEEE Conference on Decision and Control

Volumn 3, Issue , 2003, Pages 2884-2889

  Prajna, Stephen ^a  

^a CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL SYSTEM ANALYSIS; IDENTIFICATION (CONTROL SYSTEMS); MATHEMATICAL MODELS; POLYNOMIALS; ROBUSTNESS (CONTROL SYSTEMS); TIME DOMAIN ANALYSIS; UNCERTAIN SYSTEMS; VECTORS;

CONTINUOUS TIME NONLINEAR SYSTEMS; DIFFERENTIAL ALGEBRIC MODELS;

NONLINEAR CONTROL SYSTEMS;

EID: 1542288409     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. S. Boyd, L. El Ghaoui, E. Feron, and V. Balakrishnan. Linear Matrix Inequalities in System and Control Theory. SIAM, Philadelphia, PA, 1994.
2. G. Dullerud and R. Smith. A nonlinear functional approach to LFT model validation. Systems and Control Letters, 47(1):1-11, 2002.
3. M. Frenklach, A. Packard, and P. Seiler. Prediction uncertainty from models and data. In Proceedings of the ACC, 2002.
4. A. Megretski and A. Rantzer. System analysis via integral quadratic constraints. IEEE Trans. Automatic Control, 42(6):819-830, 1997.
5. J. D. Murray. Mathematical Biology I: An Introduction. Springer-Verlag, New York, 2002.
6. A. Papachristodoulou and S. Prajna. On the construction of Lyapunov functions using the sum of squares decomposition. In Proceedings IEEE CDC, 2002.
7. P. A. Parrilo. Structured Semidefinite Programs and Semialgebraic Geometry Methods in Robustness and Optimization. PhD thesis, California Institute of Technology, Pasadena, CA, 2000.
8. K. Poolla, P. Khargonekar, A. Tikku, J. Krause, and K. Nagpal. A time-domain approach to model validation. IEEE Trans. Auto. Control, 39(5):951-959, 1994.
9. S. Prajna. Barrier certificates for nonlinear model validation. To be submitted for journal publication. Available from http://www.cds.caltech.edu/~prajna, 2003.
10. S. Prajna and A. Papachristodoulou. Analysis of switched and hybrid systems - Beyond piecewise quadratic methods. In Proceedings of the ACC, 2003.
11. S. Prajna, A. Papachristodoulou, and P. A. Parrilo. SOSTOOLS: Sum of squares optimization toolbox for MATLAB. Available from http://www.cds.caltech.edu/sostools and http://www.aut.ee.ethz.ch/~parrilo/sostools, 2002.
12. S. Rangan and K. Poolla. Time-domain validation for sample-data uncertainty models. IEEE Trans. Automatic Control, 41(7):980-991, 1996.
13. R. S. Smith and J. C. Doyle. Model validation: a connection between robust control and identification. IEEE Trans. Automatic Control, 37(7):942-952, 1992.
14. J. C. Willems. Dissipative dynamical systems, I: General theory, II: Linear systems with quadratic supply rates. Arch. Rational Mech. Anal., 45:321-393, 1972.