Ansgar Fehnker and Franjo Ivancic Carnegie Mellon University, 5000 Forbes...  Home/Search
Context Related
| unsw.edu/~ansgar/papers/bench.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: unsw.edu/~ansgar/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: There are numerous application examples for hybrid systems verification in recent literature. Most of them were introduced to illustrate a new approach to hybrid systems verification, and are therefore of a limited size. Others are case studies that serve to prove that an approach can be applied to real world problems. Verification of these typically requires a lot of domain experience to obtain a tractable, verifiable model. Verification of a case study yields a singular result that is... (Update)
Cited by: More
Refining Abstractions of Hybrid Systems Using.. - Fehnker, Clarke, Jha.. (Correct)
Active bibliography (related documents): More All
0.1: Safety Verification of Hybrid Systems by Constraint.. - Ratschan, She (Correct)
0.1: Progress on Reachability Analysis of Hybrid Systems Using.. - Alur, Dang, Ivancic (2003) (Correct)
0.1: Counter-Example Guided Predicate Abstraction of Hybrid Systems - Alur, Dang, Ivancic (2003) (Correct)
Similar documents based on text: More All
1.0: Benchmarks for Hybrid Systems Verification - Fehnker, Ivancic (2004) (Correct)
0.2: As Cheap as Possible: Efficient Cost-Optimal.. - Larsen, Behrmann, .. (2001) (Correct)
0.2: Specification-Guided Analysis of Hybrid Systems Using .. - Stursberg, Fehnker.. (2003) (Correct)
BibTeX entry: (Update)
A. Fehnker and F. Ivan ci c. Benchmarks for hybrid systems verification. In Proc. of HSCC'04, LNCS. Springer, 2004. http://citeseer.ist.psu.edu/article/fehnker04benchmarks.html More
@misc{ fehnker04benchmarks,
author = "A. Fehnker and F. ci",
title = "Benchmarks for hybrid systems verification",
text = "A. Fehnker and F. Ivan ci c. Benchmarks for hybrid systems verification.
In Proc. of HSCC'04, LNCS. Springer, 2004.",
year = "2004",
url = "citeseer.ist.psu.edu/article/fehnker04benchmarks.html" }
Citations (may not include all citations):22 Reachability analysis of hybrid systems via predicate abstra.. - Alur, Dang et al. - 2002
22 Reachability analysis of hybrid systems via predicate abstra.. - Alur, Dang et al. - 2002
22 Reachability analysis of hybrid systems via predicate abstra.. - Alur, Dang 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)
Specification-Guided Analysis of Hybrid Systems Using .. - Stursberg, Fehnker.. (2003) (Correct)
Scheduling a Steel Plant with Timed Automata - Ansgar Fehnker Computing (1999) (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