Stochastic safety verification using barrier certificates

Proceedings of the IEEE Conference on Decision and Control

Volumn 1, Issue , 2004, Pages 929-934

  Prajna, Stephen ^a   Jadbabaie, Ali ^b   Pappas, George J ^b  

^a CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

^b UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CONSTRAINT THEORY; DISCRETE TIME CONTROL SYSTEMS; FUNCTIONS; INTEGRAL EQUATIONS; POLYNOMIAL APPROXIMATION; PROBABILITY DENSITY FUNCTION; VECTORS;

CONVEX OPTIMIZATION; INTEGRAL QUADRATIC CONSTRAINTS (IQC); MULTIVARIATE POLYNOMIALS; SWITCHING DIFFUSION;

STOCHASTIC CONTROL SYSTEMS;

EID: 14344261634     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/cdc.2004.1428804     Document Type: Conference Paper

References (24)

1. R. Alur, T. Dang, and F. Ivancic, "Progress on reachability analysis of hybrid systems using predicate abstraction," in Hybrid Systems: Computation and Control. Heidelberg: Springer-Verlag, 2003.
2. E. Asarin, T. Dang, and O. Maler, "The d/dt tool for verification of hybrid systems," in Computer Aided Verification, LNCS 2404. Springer-Verlag, 2002, pp. 365-370.
3. A. Bemporad, F. D. Torrisi, and M. Morari, "Optimization-based verification and stability characterization of piecewise affine and hybrid systems," in Hybrid Systems: Computation and Control. Heidelberg: Springer-Verlag, 2000.
4. M. L. Bujorianu, "Extended stochastic hybrid systems and their reachability problem," in Hybrid Systems: Computation and Control. Heidelberg: Springer-Verlag, 2004.
5. M. L. Bujorianu and J. Lygeros, "Reachability questions in piecewise deterministic Markov processes," in Hybrid Systems: Computation and Control. Heidelberg: Springer-Verlag, 2003.
6. A. Chutinan and B. H. Krogh, "Computational techniques for hybrid system verification." IEEE Trans. Automatic Control, vol. 48, no. 1, pp. 64-75, 2003.
7. M. H. A. Davis, Markov Processes and Optimization. London: Chapman-Hall, 1993.
8. G. A. Edgar and L. Sucheston, Stopping Times and Directed Processes. Cambridge: Cambridge University Press, 1992.
9. M. K. Ghosh, A. Arapostathis, and S. I. Marcus, "Ergodic control of switching diffusions," SIAM Journal on Control and Optimization, vol. 35, no. 6, pp. 1952-1988, 1997.
10. J. P. Hespanha, "Stochastic hybrid systems: Application to communication networks," in Hybrid Systems: Computation and Control. Heidelberg: Springer-Verlag, 2004.
11. J. Hu, J. Lygeros, and S. Sastry, "Towards a theory of stochastic hybrid systems," in Hybrid Systems: Computation and Control. Heidelberg: Springer-Verlag, 2000.
12. H. J. Kushner, Stochastic Stability and Control. New York: Academic Press, 1967.
13. G. Lafferriere, G. J. Pappas, and S. Yovine, "Symbolic reachability computations for families of linear vector fields," J. Symbolic Computation, vol. 32, no. 3, pp. 231-253, 2001.
14. X. Mao, "Stability of stochastic differential equations with Markovian switching, Stochastic Processes and Their Applications, vol. 79, no. 1, pp. 45-67, 1999.
15. B. Øksendal, Stochastic Differential Equation: An Introduction with Applications. Berlin: Springer-Verlag, 2000.
16. P. A. Parrilo, "Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization," Ph.D. dissertation, Caltech, Pasadena, CA, 2000.
17. G. Pola, M. L. Bujorianu, J. Lygeros, and M. D. Di Benedetto, "Stochastic hybrid models: An overview," in Proceedings IFAC Conference on Analysis and Design of Hybrid Systems, 2003.
18. S. Prajna, "Barrier certificates for nonlinear model validation," in Proceedings IEEE Conference on Decision and Control, 2003.
19. S. Prajna and A. Jadbabaie, "Safety verification of hybrid systems using barrier certificates," in Hybrid Systems: Computation and Control. Heidelberg: Springer-Verlag, 2004.
20. S. Prajna, A. Papachristodoulou, and P. A. Parrilo, "Introducing SOSTOOLS: A general purpose sum of squares programming solver," in Proceedings IEEE Conference on Decision and Control, 2002, available at http://www.cds.caltech.edu/sostools and http://www.aut.ee.ethz.ch/~parrilo/ sostools.
21. A. Tiwari, "Approximate reachability for linear systems," in Hybrid Systems: Computation and Control. Heidelberg: Springer-Verlag, 2003.
22. C. J. Tomlin, I. Mitchell, A. M. Bayen, and M. Oishi, "Computational techniques for the verification of hybrid systems," Proc. of the IEEE, vol. 91, no. 7, pp. 986-1001, 2003.
23. L. Vandenberghe and S. Boyd, "Semidefinite programming," SIAM Rwiew, vol. 38, no. 1, pp. 49-95, 1996.
24. O. Watkins and J. Lygeros, "Stochastic reachability for discrete time systems: An application to aircraft collision avoidance," in Proceedings IEEE Conference on Decision and Control, 2003.