Thomas A. Henzinger Howard Wong-Toi Department of Computer Science, Cornell...  Home/Search
Context Related
| berkeley.edu/~tah/..._hybrid_systems.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: berkeley.edu/~t..._hybrid_systems (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . We use linear hybrid automata to define linear approximations of the phase portraits of nonlinear hybrid systems. The approximating automata can be analyzed automatically using the symbolic model checker HyTech. We demonstrate the technique through the study of predator-prey systems, where we compute population bounds for both species. We also identify a class of nonlinear hybrid automata for which linear phase-portrait approximations can be generated automatically. 1 Introduction... (Update)
Cited by: More
Towards Continuous Abstractions of Dynamical and Control Systems - George Pappas And (1997) (Correct)
Abstractions for Hybrid Systems - Tiwari (Correct)
Modelling and Verification using Linear Hybrid Automata - a.. - Müller, Stauner (1996) (Correct)
Similar documents (at the sentence level):
30.6%: Linear Phase-Portrait Approximations for Nonlinear Hybrid.. - Thomas Henzinger And (1996) (Correct)
Active bibliography (related documents): More All
0.4: Algorithmic Analysis of Nonlinear Hybrid Systems - Henzinger, Ho, Wong-Toi (1996) (Correct)
0.2: Pinning and Locking of Discrete Waves - Lamb, Wulff (Correct)
0.2: Resonances, Radiation Damping and Instability in Hamiltonian .. - Soffer, Weinstein (1998) (Correct)
Similar documents based on text: More All
0.4: The Controlled Composition Analysis of Hybrid Automata - Shang, Lemmon (Correct)
0.3: Towards Computing Phase Portraits of Polygonal.. - Asarin, Schneider.. (2002) (Correct)
0.2: Using HYTECH to Synthesize Control Parameters for a Steam.. - Thomas Henzinger Howard (1996) (Correct)
Related documents from co-citation: More All
20: Algorithmic analysis of nonlinear hybrid systems - Henzinger, Ho et al. - 1996
20: The algorithmic analysis of hybrid systems - Alur, Coucoubetis et al. - 1995
16: Automated analysis of an audio control protocol - Ho, Wong-Toi - 1995
BibTeX entry: (Update)
T.A. Henzinger and H. Wong-Toi. Linear phase-portrait approximations for nonlinear hybrid systems. In R. Alur, T.A. Henzinger, and E.D. Sontag, editors, Hybrid Systems III, LNCS 1066. Springer-Verlag, 1996. http://citeseer.ist.psu.edu/henzinger96linear.html More
@inproceedings{ henzinger95linear,
author = "Thomas A. Henzinger and Howard Wong-Toi",
title = "Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems",
booktitle = "Hybrid Systems",
pages = "377-388",
year = "1995",
url = "citeseer.ist.psu.edu/henzinger96linear.html" }
Citations (may not include all citations):815 Abstract interpretation: a unified lattice model for the sta.. (context) - Cousot, Cousot - 1977
399 The algorithmic analysis of hybrid systems - Alur, Courcoubetis et al. - 1995
232 Hybrid automata: an algorithmic approach to the specificatio.. - Alur, Courcoubetis et al. - 1993
168 What's decidable about hybrid automata - Henzinger, Kopke et al. - 1995
167 Automatic symbolic verification of embedded systems - Alur, Henzinger et al. - 1993
90 and Linear Algebra (context) - Hirsch, Smale et al. - 1974
77 Algorithmic analysis of nonlinear hybrid systems - Henzinger, Ho - 1995
75 Verification of linear hybrid systems by means of convex app.. - Halbwachs, Raymond et al. - 1994
72 HyTech: The Cornell Hybrid Technology Tool - Henzinger, Ho - 1995
58 Hybrid automata with finite bisimulations - Henzinger - 1995
53 Automated analysis of an audio control protocol - Ho, Wong-Toi - 1995
35 A note on abstract-interpretation strategies for hybrid auto.. (context) - Henzinger, Ho - 1995
4 Geometric Methods in the Theory of Ordinary Differential Equ.. (context) - Arnol'd - 1983
3 Analytical note on certain rhythmic relations in organic sys.. (context) - Lotka - 1920
1 th Annual Real-time Systems Symposium (context) - Henzinger, Ho et al. - 1995
The graph only includes citing articles where the year of publication is known.
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