Edmund Clarke, Ansgar Fehnker, Zhi Han, Bruce Krogh, Olaf Stursberg, Michael Theobald  Home/Search
Context Related
| cmu.edu/~emc/paper...ystems%20Based.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cmu.edu/~emc/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Hybrid dynamic systems include both continuous and discrete state variables. Properties of hybrid systems, which have an infinite state space, can often be verified using ordinary model checking together with a finite-state abstraction. (Update)
Context of citations to this paper: More
.... Counter example guided refinement of abstractions for hybrid systems is being independently explored by the hybrid systems group at CMU [20]. The abstract counter example consists of a sequence of abstract states leading from an initial state to a state violating the...
Cited by: More
Verification of a Cruise Control System Using.. - Stursberg, Fehnker.. (2003) (Correct)
Abstraction and Counterexample-Guided Refinement.. - Clarke, Fehnker.. (2003) (Correct)
Abstractions for Hybrid Systems - Tiwari (Correct)
Active bibliography (related documents): More All
0.4: Reachability Analysis of Hybrid Systems using.. - Alur, Dang, Ivancic (2002) (Correct)
0.2: Hybrid System Verification is not a Sinecure - The Electronic .. - Fehnker, Krogh (Correct)
0.2: Automated Symbolic Reachability Analysis; with Application .. - Ghosh, Tiwari, Tomlin (2003) (Correct)
Similar documents based on text:
3.0: Unknown - (Correct)
Related documents from co-citation: More All
5: Verification of Polyhedral Invariant Hybrid Automata Using Polygonal Flow Pipe A.. - Chutinan, Krogh - 1999
5: Reachability Analysis via Face Lifting - Dang, Maler - 1998
4: Counter-example guided predicate abstraction of hybrid systems - Alur, Dang et al. - 2003
BibTeX entry: (Update)
E. Clarke, A. Fehnker, Z. Han, B. Krogh, O. Stursberg, and M. Theobald. Verification of hybrid systems based on counterexample-guided abstraction refinement. In Ninth International Conference on Tools and Algorithms for the Construction and Analysis of Systems, April 2003. http://citeseer.ist.psu.edu/clarke03verification.html More
@misc{ clarke03verification,
author = "E. Clarke and A. Fehnker and Z. Han and B. Krogh and O. Stursberg and M.
Theobald",
title = "Verification of hybrid systems based on counterexample-guided abstraction
refinement",
text = "E. Clarke, A. Fehnker, Z. Han, B. Krogh, O. Stursberg, and M. Theobald.
Verification of hybrid systems based on counterexample-guided abstraction
refinement. In Ninth International Conference on Tools and Algorithms for
the Construction and Analysis of Systems, April 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/clarke03verification.html" }
Citations (may not include all citations):828 Model Checking - Clarke, Grumberg et al. - 1999
267 Computer-Aided Verification of Coordinating Processes: The A.. (context) - Kurshan - 1994
168 What's decidable about hybrid automata - Henzinger, Kopke et al. - 1995
107 Automatic predicate abstraction of c programs - Ball, Majumdar et al. - 2001
94 Counterexample-guided abstraction refinement - Clarke, Grumberg et al. - 2000
88 Lazy abstraction - Henzinger, Jhala et al. - 2002
68 Discrete abstractions of hybrid systems - Alur, Henzinger et al. - 2000
61 Reachability analysis via face lifting - Dang, Maler - 1998
60 A new class of decidable hybrid systems - Lafferriere, Pappas et al. - 1999
44 Ellipsoidal techniques for reachability analysis - Kurzhanski, Varaiya - 2000
41 Verification of polyhedral-invariant hybrid automata using p.. - Chutinan, Krogh - 1999
31 Series of abstractions for hybrid automata - Tiwari, Khanna - 2002
28 Reachability analysis using polygonal projections (context) - Greenstreet, Mitchell - 1999
22 Reachability analysis of hybrid systems via predicate abstra.. - Alur, Dang et al. - 2002
15 Sat based abstraction-refinement using ilp and machine learn.. - Clarke, Gupta et al. - 2002
13 Assume-guarantee reasoning for hierarchical hybrid systems (context) - Henzinger, Minea et al. - 2001
11 Dynamic Partitioning in Analyses of Numerical Properties - Jeannet, Halbwachs et al. - 1999
11 Counter-Example Guided Predicate Abstraction of Hybrid Syste.. - Alur, Dang et al. - 2003
9 An assessment of the current status of algorithmic approache.. (context) - Silva, Stursberg et al. - 2001
7 Verification of infinite-state dynamic systems using approxi.. (context) - Chutinan, Krogh - 2001
4 Modular analysis of discrete controllers for distributed hyb.. (context) - Frehse, Stursberg et al. - 2002
http://www.cs.cmu.edu/
Documents on the same site (http://www.cs.cmu.edu/~emc/papers.htm): More
Hybrid Spectral Transform Diagrams - Clarke, Fujita, Heinle (1997) (Correct)
Another Look at LTL Model Checking - Clarke, Grumberg, Hamaguchi (1994) (Correct)
Verification of the Futurebus+ Cache Coherence Protocol - Clarke, Grumberg.. (1992) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC