Beyond HYTECH: Hybrid systems analysis using interval numerical methods

Beyond HYTECH: Hybrid systems analysis using interval numerical methods (2000)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Thomas A. Henzinger , Benjamin Horowitz , Rupak Majumdar , Howard Wong-toi

Venue:	in HSCC
Citations:	37 - 1 self

BibTeX

@INPROCEEDINGS{Henzinger00beyondhytech:,
    author = {Thomas A. Henzinger and Benjamin Horowitz and Rupak Majumdar and Howard Wong-toi},
    title = {Beyond HYTECH: Hybrid systems analysis using interval numerical methods},
    booktitle = {in HSCC},
    year = {2000},
    pages = {130--144},
    publisher = {Springer}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

692	Interval analysis - Moore - 1966
320	Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems - Alur, Courcoubetis, et al. - 1993
305	HYTECH: A model checker for hybrid systems - Henzinger, Ho, et al. - 1997
234	What’s decidable about hybrid automata - Henzinger, Kopke, et al. - 1995
92	Algorithmic analysis of nonlinear hybrid systems - Henzinger, Ho, et al. - 1998
74	S.: A new class of decidable hybrid systems - Pappas, Lafferriere, et al. - 1999
63	Reachability analysis via face-lifting - Dang, Maler - 1998
54	S.: Verification of hybrid systems with linear differential inclusions using ellipsoidal approximations - Botchkarev, Tripakis - 2000
45	Automated analysis of an audio control protocol - Ho, Wong-Toi - 1995
38	An overview of hybrid simulation phenomena and their support by simulation packages - Mosterman - 1999
35	Timing analysis of Ada tasking programs - Corbett - 1996
33	The copycat project - Hofstadter - 1984
30	Using HyTech to synthesize control parameters for a steam boiler - Henzinger, Wong-Toi - 1996
30	Profil/bias-a fast interval library - Knüppel - 1994
26	Computation of guaranteed enclosures for the solutions of ordinary initial and boundary value-problem - Lohner - 1992
24	Using HyTech to verify an automotive control system - Stauner, Müller, et al. - 1997
24	Hybrid Control of Air Traffic Management Systems - Tomlin - 1998
23	A note on abstract interpretation strategies for hybrid automata - Henzinger, Ho - 1995
16	Automatic Analysis of Hybrid Systems - Ho - 1995
16	Interval methods for initial value problems in ODEs - Rihm - 1994
15	Automated verification of a parametric real-time program: The ABR conformance protocol - Bérard, Fribourg - 1999
15	Automatic validation of numerical solutions - Stauning - 1997
13	Computing polyhedral approximations to flow pipes for dynamic systems - Chutinan, Krogh - 1992
11	Comparing timed and hybrid automata as approximations of continuous systems - Stursberg, Kowalewski, et al. - 1997
6	Veri cation of Real-Time Systems by Successive over and under Approximation - Dill, Wong-Toi - 1995
4	Scheduling system verification - Hsiung, Wang, et al.
4	Veri cation of hybrid systems with linear di erential inclusions using ellipsoidal approximations - Botchkarev, Tripakis - 2000
3	Formal verification of an automotive engine controller in cutoff mode - Villa, Wong-Toi, et al. - 1998
3	HyTech: amodelchecker for hybrid systems - Henzinger, Ho, et al. - 1997
3	Formal veri cation of an automotive engine controller in cuto mode - Villa, Wong-Toi, et al. - 1998
2	Hybrid Control of Air Tra c Management Systems - Tomlin - 1998
1	Verification of real-time systems by successive overand underapproximation - Dill, Wong-Toi - 1995
1	Pascal-XSC: Language Reference and Examples - Klatte, Kulisch, et al. - 1992
1	Automated veri cation of a parametric real-time program: the ABR conformance protocol - Berard, Fribourg - 1999
1	Computing polyhedral approximations to ow pipes for dynamic systems - Chutinan, Krogh - 1998
1	Scheduling system veri cation - Hsiung, Wang