Thomas A. Henzinger and Howard Wong-Toi Department of Computer Science,...  Home/Search
Context Related
| parades.rm.cnr.it/~...hybrid95HW.ps.gz Cached: 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.
PS.gz PS Image Update HelpFrom: parades.rm.cnr.it/~howard/...pubs (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 describe 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):
28.5%: Linear Phase-portrait Approximations for Nonlinear Hybrid.. - Thomas Henzinger Howard (1996) (Correct)
8.9%: Algorithmic Analysis of Nonlinear Hybrid Systems - Henzinger, Ho, Wong-Toi (1996) (Correct)
8.2%: Using HYTECH to Synthesize Control Parameters for a Steam.. - Henzinger, Wong-Toi (1996) (Correct)
Active bibliography (related documents): More All
0.2: Resonances, Radiation Damping and Instability in Hamiltonian .. - Soffer, Weinstein (1998) (Correct)
0.2: Pinning and Locking of Discrete Waves - Lamb, Wulff (Correct)
0.1: HyTech: A Model Checker for Hybrid Systems - Henzinger, Ho, Wong-Toi (1997) (Correct)
Similar documents based on text: More All
0.4: The Controlled Composition Analysis of Hybrid Automata - Shang, Lemmon (Correct)
0.1: Hybrid Phase-Portrait Analysis in Automated System.. - Easley, Bradley (1999) (Correct)
0.1: Beyond HyTech: Hybrid Systems Analysis Using Interval.. - Henzinger, Horowitz.. (1999) (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/article/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/article/henzinger96linear.html" }
Citations (may not include all citations):815 Abstract interpretation: a unified lattice model for static .. (context) - Cousot, Cousot - 1977
404 Symbolic model checking for real-time systems - Henzinger, Nicollin et al. - 1994
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
167 Automatic symbolic verification of embedded systems - Alur, Henzinger et al. - 1993
110 A user guide to HyTech - Henzinger, Ho et al. - 1995
97 HyTech: The next generation - Henzinger, Ho et al. - 1995
90 and Linear Algebra (context) - Hirsch, Smale et al. - 1974
80 Delay analysis in synchronous programs - Halbwachs - 1993
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
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
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.parades.rm.cnr.it/~howard/Publications/pubs.html): More
HyTech: A Model Checker for Hybrid Systems - Henzinger, Ho, Wong-Toi (1997) (Correct)
The Control of Dense Real-Time Discrete Event Systems - Wong-Toi, Hoffmann (1991) (Correct)
The Control of Dense Real-Time Discrete Event Systems - Wong-Toi, Hoffmann (1995) (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