On the necessity of barrier certificates

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 16, Issue , 2005, Pages 526-531

  Prajna, Stephen ^a   Rantzer, Anders ^b  

^a CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

^b LUND INSTITUTE OF TECHNOLOGY   (Sweden)

Author keywords

Barrier certificates; Convex duality; Density functions; Nonlinear systems; Safety analysis

Indexed keywords

PROBABILITY DENSITY FUNCTION;

BARRIER CERTIFICATES; CONVEX DUALITY; INITIAL STATE; SAFETY ANALYSIS; SAFETY VERIFICATION;

NONLINEAR SYSTEMS;

EID: 79960718461     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20050703-6-cz-1902.00743     Document Type: Conference Paper

References (15)

1. Alur, R., T. Dang and F. Ivancic (2003). Progress on reachability analysis of hybrid systems using predicate abstraction. In: Hybrid Systems: Computation and Control, LNCS 2623. pp. 4-19. Springer-Verlag. Heidelberg.
2. Aubin, J.-P (1991). Viability Theory. Birkhäuser. Boston, MA.
3. Boyd, S. and L. Vandenberghe (2004). Convex Optimization. Cambridge University Press. Cambridge.
4. Clarke, Jr., E. M., O. Grumberg and D. A. Peled (2000). Model Checking. MIT Press. Cambridge, MA.
5. Jirstrand, M. (1998). Invariant sets for a class of hybrid systems. In: Proceedings of the IEEE Conference on Decision and Control.
6. Khalil, H. K. (1996). Nonlinear Systems. second ed.. Prentice-Hall, Inc.. Upper Saddle River, NJ.
7. Kurzhanski, A. and P. Varaiya (2000). Ellipsoidal techniques for reachability analysis. In: Hybrid Systems: Computation and Control, LNCS 1790. pp. 203-213. Springer-Verlag. Heidelberg.
8. Luenberger, D. G. (1969). Optimization by Vector Space Methods. John Wiley & Sons. New York, NY.
9. Papadimitriou, C. H. and K. Steiglitz (1998). Combinatorial Optimization: Algorithms and Complexity. Dover Publications Inc.. Mineola, NY.
10. Prajna, S., A. Jadbabaie and G. J. Pappas (2004). Stochastic safety verification using barrier certificates. In: Proceedings of the IEEE Conference on Decision and Control.
11. Prajna, S., A. Papachristodoulou and P. A. Parrilo (2002). Introducing SOSTOOLS: A general purpose sum of squares programming solver. In: Proceedings of the IEEE Conference on Decision and Control. Available at http://www.cds.caltech.edu/sostools and http://www.mit.edu/∼parrilo/ sostools.
12. Prajna, S. and A. Jadbabaie (2004). Safety verification of hybrid systems using barrier certificates. In: Hybrid Systems: Computation and Control, LNCS 2993. pp. 477-492. Springer-Verlag. Heidelberg.
13. Prajna, S. and A. Rantzer (2005). Primal-dual tests for safety and reachability. In: Hybrid Systems: Computation and Control, LNCS 3414. pp. 542-556. Springer-Verlag. Heidelberg.
14. Rantzer, A. (2001). A dual to Lyapunov's stability theorem. Systems and Control Letters 42(3), 161-168.
15. Rantzer, A. and S. Hedlund (2003). Duality between cost and density in optimal control. In: Proceedings of the IEEE Conference on Decision and Control.