A Note on Abstract Interpretation Strategies for Hybrid Automata - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Thomas A. Henzinger, Pei-Hsin Ho. A Note on Abstract Interpretation Strategies for Hybrid Automata. In Panos J. Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry, editors, Hybrid Systems II. Volume 999 of Lecture Notes in Computer Science, pages 252-264, Springer, 1994.

The following publications are possibly variants of this publication:

Reachability Verification for Hybrid AutomataThomas A. Henzinger, Vlad Rusu. hybrid 1998: 190-204

The Theory of Hybrid AutomataThomas A. Henzinger. lics 1996: 278-292

Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid SystemsRajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei-Hsin Ho. hybrid 1993: 209-229

Robust Timed AutomataVineet Gupta, Thomas A. Henzinger, Radha Jagadeesan. hybrid 1997: 331-345

runs on WebDSL