Refining abstractions of hybrid systems using counterexample fragments

Lecture Notes in Computer Science

Volumn 3414, Issue , 2005, Pages 242-257

  Fehnker, Ansgar ^a   Clarke, Edmund ^b   Jha, Sumit Kumar ^b   Krogh, Bruce ^b  

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

^b CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; APPROXIMATION THEORY; DISCRETE TIME CONTROL SYSTEMS; GRAPH THEORY; MATHEMATICAL TECHNIQUES;

DISCRETE-STATE SYSTEMS; FRAGMENTS; HYBRID SYSTEMS; VERIFICATION;

HYBRID COMPUTERS;

EID: 24344473055     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31954-2_16     Document Type: Conference Paper

References (11)

1. Alur, R., Dang, T., Ivančić, F.: Counter-example guided predicate abstraction of hybrid system. In: TACAS. Volume 2619 of LNCS., Springer (2003)
2. Chutinan, A., Krogh, B.: Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations. In Vaandrager, F., van Schuppen, J., eds.: Hybrid Systems: Computation and Control. LNCS 1569, Springer Verlag (1999) 76-90
3. Clarke, E., Fehnker, A., Han, Z., Krogh, B., Ouaknine, J., Stursberg, O., Theobald, M.: Abstraction and counterexample-guided refinement in model checking of hybrid systems. International Journal of Foundations of Computer Science 14 (2003) 583-604
4. Tiwari, A., Khanna, G.: Series of abstractions for hybrid automata. In Tomlin, C.J., Greenstreet, M.R., eds.: Hybrid Systems: Computation and Control HSCC. Volume 2289 of LNCS., Springer (2002) 465-478
5. Clarke, E., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-guided abstraction refinement. In: Computer-Aided Verification. Volume 1855 of LNCS., Springer (2000) 154-169
6. Kurshan, R.: Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach. Princeton University Press (1994)
7. Henzinger, T., Kopke, P., Puri, A., Varaiya, P.: What's decidable about hybrid automata? In: Proceedings of the 27th Annual Symposium on Theory of Computing, ACM Press (1995) 373-382
8. Sheyner, O.: Scenario Graphs and Attack Graphs. PhD thesis, SCS, Carnegie Mellon University (2004)
9. Skiena, S.: The Algorithm Design Manual. Telos/Springer-Verlag (1998)
10. th IEEE Conf. on Decision and Control. (2001)
11. Stursberg, O., Fehnker, A., Han, Z., Krogh, B.: Specification-guided analysis of hybrid systems using a hierachy of validation methods. In: Proc. IFAC Conference ADHS, Elsevier (2003)