Resolution-complete safety falsification of continuous time systems

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2006, Pages 3297-3302

  Bhatia, Amit ^a   Frazzoli, Emilio ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CONTROL SYSTEM ANALYSIS; PROBLEM SOLVING; SPECIFICATIONS;

CONTROLLED TRAJECTORY; RESOLUTION-COMPLETE SAFETY FALSIFICATION; SAFETY PROPERTY; TARGET RESOLUTION;

CONTINUOUS TIME SYSTEMS;

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

References (19)

1. Alur, R., Dang, T., Ivančić, F.: Reachability analysis of hybrid systems via predicate abstraction. In Tomlin, C.J., Greenstreet, M.R., eds.: Hybrid Systems: Computation and Control. Lecture Notes in Computer Sciences. Springer (2002) 35-48
2. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Boston, MA (2000)
3. Silva, B.I., Stursberg, O., Krogh, B.H., Engell, S.: An assessment of the current status of algorithmic approaches to the verification of hybrid systems. In: Proceedings of the 40th Annual Conference on Decision and Control. Volume 3. (2001) 2867-2874
4. Alur, R., Henzinger, T.: Computer-aided verification (2003) Lecture notes. Available at http://www.cis.upenn.edu/cis673.
5. Henzinger, T.A., Kopke, RW, Puri, A., Varaiya, P.: What's decidable about hybrid automata? In: Proceedings of the 27th ACM Symposium on Theory of Computing (STOC). (1995) 373-382
6. Alur, R., Dang, T., Ivančić, F.: Counter-example guided predicate abstraction of hybrid systems. In: 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. (2003)
7. Henzinger, T., Ho, PH.: HyTech: the Cornell Hybrid Technology Tool. In Antsaklis, P.J., Kohn, W., Nerode, A., Sastry, S., eds.: Hybrid Systems II. Volume 999 of Lecture Notes in Computer Science. Springer-Verlga (1995)
8. Mitchell, I., Tomlin, C.: Level set methods for computation in hybrid systems. In: Hybrid Systems: Computation and Control. Volume 1790. Springer (2000)
9. Girard, A.: Reachability of uncertain linear systems using zonotopes. In Morari, M., Thiele, L., Rossi, F., eds.: Hybrid Systems: Computation and Control. Volume 3414 of Lecture Notes in Computer Science. Springer-Verilag (2005) 291-305
10. Chutinan, A., Krogh, B.H.: Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations. In: Hybrid Systems: Computation and Control. Volume 1569. Springer (1999)
11. Asarin, E., Bournez, O., Dang, T., Maler, O.: The d/dt tool for verification of hybrid systems. In: Proceedings of the Conference on Computer-Aided Verification. Volume 2404 of Lecture Notes in Computer Science., Springer (2002) 365-370
12. Kurzhanski, A.B., Varaiya, P.: Ellipsoidal techniques for reach-ability analysis. In: Hybrid Systems: Control and Computation. Volume 1790 of Lecture Notes in Computer Science. Springer-Verlag (2000)
13. Prajna, S., Rantzer, A.: Primal-dual tests for safety and reachability. In Morari, M., Thiele, L., eds.: Hybrid Systems: Computation and Control. Volume 3414 of Lecture Notes in Computer Science. Springer (2005) 542-556
14. Bhatia, A., Frazzoli, E.: Incremental search methods for reach-ability analysis of continuous and hybrid systems. In Alur, R., Pappas, G.J., eds.: Hybrid Systems: Computation and Control. Volume 2993 of Lecture Notes in Computer Science. Springer (2004) 142-156
15. LaValle, S.M., Kuffner, J.J.: Rapidly-exploring random trees: Progress and prospects. In Donald, B.R., Lynch, K.M., Rus, D., eds.: Algorithmic and Computational Robotics: New Directions. A.K. Peters, Wellesley, MA (2001) 293-308
16. Lindemann, S.R., LaValle, S.M.: Steps toward derandomizing RRTs. In: IEEE/RSJ Int'l Conf. on Intelligent Robots and Systems. (2003) Under review.
17. Cheng, P., LaValle, S.M.: Resolution completeness for sampling-based motion planning with differential constraints. International Journal of Robotics Research (2004) Submitted.
18. Goldberg, K.: Completeness in robot motion planning. In: Workshop on Algorithmic Foundations of Robotics. (1994) 419-429
19. Cheng, P., Kumar, V.: Sampling-based falsification and verification of controllers for continuous dynamic systems. In: Workshop on Algorithmic Foundations of Robotics. (2006) Submitted.