Probabilistic testing for stochastic hybrid systems

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2008, Pages 4030-4035

  Julius, A Agung ^a   Pappas, George J ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AIRCRAFT DETECTION; HYBRID SYSTEMS; SAFETY TESTING; STOCHASTIC CONTROL SYSTEMS;

CONFLICT DETECTION; CONTINUOUS DYNAMICS; EXECUTION TRACE; HIGHLY PARALLELS; PARTIAL VERIFICATION; PROBABILISTIC SAFETY; PROBABILISTIC TESTING; STOCHASTIC HYBRID SYSTEMS;

STOCHASTIC SYSTEMS;

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

References (25)

1. A. A. Julius, G. Fainekos, M. Anand, I. Lee, and G. J. Pappas, "Robust test generation and coverage for hybrid systems," in Hybrid Systems: Computation and Control, vol. 4416 of LNCS, pp. 329-342, Springer Verlag, 2007.
2. A. Girard and G. J. Pappas, "Verification using simulation," in Hybrid Systems: Computation and Control, vol. 3927 of LNCS, pp. 272-286, Springer Verlag, 2006.
3. M. S. Branicky, M. M. Curtiss, J. Levine, and S. Morgan, "RRTs for nonlinear, discrete, and hybrid planning and control," in Proc. IEEE Conf. Decision and Control, (Hawaii, USA), 2003.
4. J. Kapinski, B. H. Krogh, O. Maler, and O. Stursberg, "On systematic simulation of open continuous systems.," in Hybrid Systems: Computation and Control, vol. 2623 of LNCS, pp. 283-297, Springer, 2003.
5. A. Bhatia and E. Frazzoli, "Incremental search methods for reachability analysis of continuous and hybrid systems," in Hybrid Systems: Computation and Control, vol. 2993 of LNCS, pp. 142-156, Springer Verlag, 2004.
6. J. Kim, J. M. Esposito, and V. Kumar, "An rrt-based algorithm for testing and validating multi-robot controllers," in Robotics: Science and Systems, (Boston, USA), pp. 249-256, 2005.
7. S. M. LaValle, Planning algorithms. Cambridge University Press, 2006.
8. P. Cheng and V. Kumar, "Sampling-based falsification and verification of controllers for continuous dynamic systems," in Workshop on Algorithmic Foundations of Robotics VII (S. Akella, N. Amato, W. Huang, and B. Misha, eds.), 2006.
9. E. Plaku, L. E. Kavraki, and M. Y. Vardi, "Hybrid systems: From verification to falsification," in International Conference on Computer Aided Verification, vol. 4590 of LNCS, pp. 468-481, Springer, 2007.
10. T. Nahhal and T. Dang, "Guided randomized simulation," in Hybrid Systems: Computation and Control, vol. 4416 of LNCS, pp. 731-735, Springer Verlag, 2007.
11. J. P. Hespanha, "Polynomial stochastic hybrid systems," in HSCC (M. Morari and L. Thiele, eds.), vol. 3414 of Lecture Notes in Computer Science, pp. 322-338, Springer Verlag, 2005.
12. M. Prandini, J. Hu, J. Lygeros, and S. Sastry, "A probabilistic approach to aircraft conflict detection," IEEE Trans. on Intelligent Transportation Systems, vol. 1(4), pp. 199-220, 2000.
13. A. Abate, S. Amin, M. Prandini, J. Lygeros, and S. Sastry, "Computational approaches to reachability analysis of stochastic hybrid systems," in Hybrid Systems: Computation and Control, vol. 4416 of LNCS, pp. 4-17, Springer Verlag, 2007.
14. S. Prajna, A. Jadbabaie, and G. J. Pappas, "Stochastic safety verification using barrier certificates," in Proc. 43rd IEEE Conference on Decision and Control, (Bahamas), IEEE, 2004.
15. F. C. Klebaner, Introduction to stochastic calculus with applications. London, UK: Imperial College Press, 2005.
16. A. A. Julius, A. Girard, and G. J. Pappas, "Approximate bisimulation for a class of stochastic hybrid systems," in Proc. American Control Conference, (Minneapolis, USA), 2006.
17. A. A. Julius and G. J. Pappas, "Approximate abstraction of stochastic hybrid systems." provisionally accepted to the IEEE Trans. Automatic Control, 2006.
18. H. J. Kushner, Stochastic stability and control. Mathematics in Science and Engineering: Academic Press, 1967.
19. A. Girard and G. J. Pappas, "Approximate bisimulations for nonlinear dynamical systems," in Proc. of the IEEE Conf. Decision and Control, (Seville, Spain), 2005.
20. A. Girard and G. J. Pappas, "Approximation metrics for discrete and continuous systems," IEEE Trans. Automatic Control, vol. 52, no. 5, pp. 782-798, 2007.
21. R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P. H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine, "The algorithmic analysis of hybrid systems," Theoretical Computer Science, vol. 138, pp. 3-34, 1995.
22. W. L. Brogan, Modern control theory. New Jersey: Prentice Hall International, 1991.
23. J. Löfberg, "YALMIP: a toolbox for modeling and optimization in MATLAB," in Proc. CACSD Conference, 2004.
24. S. Boyd and M. C. Grant, "cvx - MATLAB software for disciplined convex programming," 2005. http://www.stanford.edu/~boyd/cvx/.
25. J. Hu, M. Prandini, and S. Sastry, "Probabilistic safety analysis in three dimensional aircraft flight," in Proc. 42nd IEEE Conf. Decision and Control, (Maui, USA), pp. 5335-5340, 2003.