Sampling-based resolution-complete algorithms for safety falsification of linear systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4981 LNCS, Issue , 2008, Pages 606-609

  Bhatia, Amit ^a   Frazzoli, Emilio ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

HYBRID SYSTEMS; INVARIANCE; LINEAR SYSTEMS; SPECIFICATIONS;

DISCRETE TIME; EXOGENOUS INPUT; INFINITE TIME HORIZON; LINEAR TIME-INVARIANT SYSTEM; RESOLUTION COMPLETE; SAFETY SPECIFICATIONS; SAMPLING-BASED;

CRIME;

EID: 70350018528     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78929-1_45     Document Type: Conference Paper

References (9)

1. Kesten, Y., Pnueli, A., Sifakis, J., Yovine, S.: Integration graphs: A class of decidable hybrid systems. In: Grossman, R.L., Ravn, A.P., Rischel, H., Nerode, A. (eds.) HS 1991 and HS 1992. LNCS, vol.736, pp. 179-208. Springer, Heidelberg (1993)
2. Bhatia, A., Frazzoli, E.: Sampling-based resolution-complete algorithms for safety falsification of linear systems (January 2008), http://arxiv.org/abs/ 0801.0570
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: Conference on Decision and Control (2001)
4. Bhatia, A., Frazzoli, E.: Incremental search methods for reachability analysis of continuous and hybrid systems. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol.2993, pp. 142-156. Springer, Heidelberg (2004)
5. Kim, J., Esposito, J.M., Kumar, V.: An rrt-based algorithm for testing and validating multi-robot controllers. In: Robotics: Science and Systems, pp. 249-256 (2005)
6. Bhatia, A., Frazzoli, E.: Resolution complete safety falsification of continuous time systems. In: Conference on Decision and Control (2006)
7. Bhatia, A., Frazzoli, E.: Sampling-based resolution-complete safety falsification of linear hybrid systems. In: Conference on Decision and Control (2007)
8. Cheng, P., Kumar, V.: Sampling-based falsification and verification of controllers for continuous dynamic systems. In: WAFR (2006)
9. Girard, A.: Approximately bisimilar finite abstractions of stable linear systems. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol.4416, pp. 231-244. Springer, Heidelberg (2007)