Converse barrier certificate theorem

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2013, Pages 4713-4718

  Wisniewski, Rafael ^a   Sloth, Christoffer ^a  

^a AALBORG UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL ENGINEERING;

BARRIER CERTIFICATES; CONSIDERED SUBSET; SINGULAR POINTS;

DYNAMICAL SYSTEMS;

EID: 84902304093     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2013.6760627     Document Type: Conference Paper

References (15)

1. H. Guéguen, M.-A. Lefebvre, J. Zaytoon, and O. Nasri, "Safety verification and reachability analysis for hybrid systems, " Annual Reviews in Control, vol. 33, no. 1, pp. 25-36, 2009.
2. G. Frehse, C. Le Guernic, A. Donzé, S. Cotton, R. Ray, O. Lebeltel, R. Ripado, A. Girard, T. Dang, and O. Maler, "SpaceEx: Scalable verification of hybrid systems, " in Computer Aided Verification, ser. Lecture Notes in Computer Science, G. Gopalakrishnan and S. Qadeer, Eds. Springer Berlin/Heidelberg, 2011, vol. 6806, pp. 379-395.
3. S. Prajna, A. Jadbabaie, and G. J. Pappas, "A framework for worstcase and stochastic safety verification using barrier certificates, " IEEE Transactions on Automatic Control, vol. 52, no. 8, pp. 1415-1428, August 2007.
4. S. Prajna and A. Rantzer, "Convex programs for temporal verification of nonlinear dynamical systems, " SIAM Journal on Control and Optimization, vol. 46, no. 3, pp. 999-1021, 2007.
5. P. Wieland and F. Allgöwer, "Constructive safety using control barrier functions, " in Proceedings of the 7th IFAC Symposium on Nonlinear Control Systems, 2007, pp. 462-467.
6. S. Prajna and A. Jadbabaie, "Safety verification of hybrid systems using barrier certificates, " in Hybrid Systems: Computation and Control, ser. Lecture Notes in Computer Science. Springer Berlin/Heidelberg, 2004, vol. 2993, pp. 271-274.
7. P. Hartman, Ordinary differential equations, ser. Classics in Applied Mathematics. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM), 2002, vol. 38.
8. M. M. Peixoto, "Structural stability on two-dimensional manifolds, " Topology, vol. 1, no. 2, pp. 101-120, 1962.
9. J. P. Junior and W. de Melo, Geometric Theory of Dynamical Systems: An Introduction. Springer, 1980.
10. M. W. Hirsch, S. Smale, and R. L. Devaney, Differential Equations, Dynamical Systems & An Introduction to Chaos, 2nd ed. Elsevier, 2004.
11. S. Smale, "Morse inequalities for a dynamical system, " Bulletin of the American Mathematical Society, vol. 66, pp. 43-49, 1960.
12. J. Palis and S. Smale, "Structural stability theorems, " in Global Analysis (Proc. Sympos. Pure Math., Vol. XIV, Berkeley, Calif., 1968). Providence, R.I.: Amer. Math. Soc., 1970, pp. 223-231.
13. K. R. Meyer, "Energy functions for Morse Smale systems, " American Journal of Mathematics, vol. 90, no. 4, pp. 1031-1040, 1968.
14. J. W. Milnor, Morse Theory, ser. Annals of Mathematics Studies 51. Princeton University Press, 1963.
15. J. M. Lee, Introduction to Smooth Manifolds. Springer, 2000.