Olaf Stursberg, Ansgar Fehnker, Zhi Han, Bruce H. Krogh  Home/Search
Context
Related
| unsw.edu/~ansgar/papers/cep.ps 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: unsw.edu/~ansgar/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Formal verification has been identified by the research community as a useful step in logic controller design since it reveals algorithmically whether the controller in conjunction with the controlled plant satisfies given design specifications. If it is necessary, however, to model the continuous/hybrid behavior of the plant, the verification is a computationally expensive task, thus limiting its applicability to rather small systems. This paper shows for the example of a cruise control system ... (Update)
Active bibliography (related documents): More All
0.5: Time-Optimal Test Cases for Real-Time Systems - Hessel, Larsen, Nielsen.. (2003) (Correct)
0.4: Safety Verification of Hybrid Systems by Constraint.. - Ratschan, She (Correct)
0.3: Refining Abstractions of Hybrid Systems Using.. - Fehnker, Clarke, Jha.. (Correct)
Similar documents based on text: More All
1.0: Verification of a Cruise Control System Using.. - Stursberg, Fehnker.. (Correct)
0.8: Specification-Guided Analysis of Hybrid Systems Using .. - Stursberg, Fehnker.. (2003) (Correct)
0.3: Abstraction and Counterexample-Guided Refinement.. - Clarke, Fehnker.. (2003) (Correct)
BibTeX entry: (Update)
@misc{ stursberg-verification,
author = "Olaf Stursberg and Ansgar Fehnker and Zhi Han and Bruce H. Krogh",
title = "Verification of a Cruise Control System Using Counterexample-Guided Search",
url = "citeseer.ist.psu.edu/stursberg03verification.html" }
Citations (may not include all citations):227 Formal methods: state of the art and future directions - Clarke, Wing - 1996 DBLP
167 Automatic symbolic verification of embedded systems - Alur, Henzinger et al. - 1996 ACM DBLP
94 Counterexampleguided abstraction refinement - Clarke, Grumberg et al. - 2000
61 Reachability analysis via face lifting - Dang, Maler - 1998 ACM DBLP
56 Computer-aided verification (context) - Clarke, Kurshan - 1996 ACM
41 Verification of polyhedral-invariant hybrid automata using p.. - Chutinan, Krogh - 1999
22 Reachability analysis of hybrid systems via predicate abstra.. - Alur, Dang et al. - 2002 ACM DBLP
22 Grumberg and D (context) - Clarke - 1999
5 Verification of hybrid systems based on counterexample-guide.. - Clarke, Fehnker et al. - 2003 DBLP
3 Abstraction and counterexample-guided refinement in model ch.. - Clarke, Fehnker et al. - 2003 DBLP
2 Automated analysis of an audio control protocol using uppaal - Bengtsson, Gri et al. - 2002
Documents on the same site (http://www.cse.unsw.edu/~ansgar/): More
Hybrid System Verification Is Not a Sinecure - The Electronic .. - Fehnker, Krogh (2004) (Correct)
Benchmarks for Hybrid Systems Verification - Ansgar Fehnker And (2004) (Correct)
Specification-Guided Analysis of Hybrid Systems Using .. - Stursberg, Fehnker.. (2003) (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