Thomas A. Henzinger, Pei-Hsin Ho  Home/Search
Context Related
| maui.theoinf.tuil...brid_systems.ps.gz 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: maui.theoinf.tuilmenau....hybrid (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Abstract. Linear hybrid systems are dynamical systems whose variables change both discretely and continuously along piecewise linear trajectories; they are useful for modeling digital real-time programs that are embedded in analog environments. Model checking is an algorithmic technique for analyzing finite-state systems that has recently been extended to certain infinite-state systems, including linear hybrid systems. The method has been implemented in HyTech (The Cornell Hybrid Technology... (Update)
Context of citations to this paper: More
.... drifting clocks, real time schedulers, and protocols for the control of manufacturing plants, vehicles, and robots [AHH93, NOSY93, BPV94, HH94, HRP94, MV94, PV94b, ACH 94, MPS95] Two problems that are central to the analysis of hybrid automata are the reachability problem and...
.... which allows the application of symbolic model checking techniques for testing the reachability of undesirable states in a hybrid system [11]. Automatic verification of hybrid models is known to be a hard problem. For example, symbolic model checking of linear hybrid automata...
Cited by: More
Proving Dynamic Properties in an Aerospace Application - Nadjm-Tehrani, Strömberg (Correct)
Hybrid Automata with Finite Bisimulations - Henzinger (1995) (Correct)
Formal Verification of Dynamic Properties in an Aerospace .. - Nadjm-Tehrani, Strömberg (Correct)
Active bibliography (related documents): More All
0.5: Using Abstractions for the Verification of Linear Hybrid.. - Olivero, Sifakis, Yovine (1994) (Correct)
0.0: The Algorithmic Analysis of Hybrid Systems - Alur, Courcoubetis, Halbwachs.. (1995) (Correct)
0.0: Automatic Symbolic Verification of Embedded Systems - Alur, Henzinger, Ho (1996) (Correct)
Similar documents based on text: More All
0.3: HyTech: The Cornell HYbrid TECHnology Tool - Henzinger, Ho (1995) (Correct)
0.2: Beyond HyTech: Hybrid Systems Analysis Using Interval.. - Henzinger, Horowitz.. (1999) (Correct)
0.2: A User Guide to HYTECH - Henzinger, Ho, Wong-Toi (1995) (Correct)
Related documents from co-citation: More All
4: Automatic Symbolic Verification of Embedded Systems - Alur, Henzinger et al. - 1993
3: A mode switching modelling philosophy (context) - Stromberg - 1994
3: The algorithmic analysis of hybrid systems - Alur, Coucoubetis et al. - 1995
BibTeX entry: (Update)
T.A. Henzinger, P.-H. Ho. Model-checking strategies for linear hybrid systems. Workshop on Hybrid Systems and Autonomous Control (Ithaca, NY), 1994. http://citeseer.ist.psu.edu/henzinger94model.html More
@techreport{ henzinger94model,
author = "Thomas A. Henzinger and Pei-Hsin Ho",
title = "Model Checking Strategies for Linear Hybrid Systems",
number = "TR94-1437",
pages = "15",
year = "1994",
url = "citeseer.ist.psu.edu/henzinger94model.html" }
Citations (may not include all citations):1097 Automatic verification of finite-state concurrent systems us.. (context) - Clarke, Emerson et al. - 1986
815 Abstract interpretation: a unified lattice model for the sta.. (context) - Cousot, Cousot - 1977
779 Symbolic model checking: 10 20 states and beyond - Burch, Clarke et al. - 1992
518 Integer and Combinatorial Optimization (context) - Nemhauser, Wolsey - 1988
404 Symbolic model checking for real-time systems - Henzinger, Nicollin et al. - 1994
399 The algorithmic analysis of hybrid systems - Alur, Coucoubetis et al. - 1994
250 Automatic discovery of linear restraints among variables of .. - Cousot, Halbwachs - 1978
232 Hybrid automata: an algorithmic approach to the specificatio.. - Alur, Courcoubetis et al. - 1993
167 Automatic symbolic verification of embedded systems - Alur, Henzinger et al. - 1993
139 From timed to hybrid systems - Maler, Manna et al. - 1992
80 Delay analysis in synchronous programs - Halbwachs - 1993
80 An approach to the description and analysis of hybrid system.. - Nicollin, Olivero et al. - 1993
75 Verification of linear hybrid systems by means of convex app.. - Halbwachs, Raymond et al. - 1994
2 Using iterative symbolic approximation for timing verificati.. (context) - Dill, Wong-Toi - 1993
Documents on the same site (http://maui.theoinf.tu-ilmenau.de/forschung/links/hybrid.html): More
Timed and Hybrid Statecharts and their Textual Representation - Kesten, Pnueli (1992) (Correct)
Timed Transition Systems - Thomas Henzinger (1992) (Correct)
From Timed to Hybrid Systems - Maler, Manna, Pnueli (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