What's Decidable about Hybrid Automata?

Alur, 1995, The algorithmic analysis of hybrid systems, Theor. Comput. Sci., 138, 3, 10.1016/0304-3975(94)00202-T

Alur, 1997, Computing accumulated delays in real-time systems, Formal Methods System Design, 11, 137, 10.1023/A:1008626013578

Alur, 1993, Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems, 736

Alur, 1994, A theory of timed automata, Theor. Comput. Sci., 126, 183, 10.1016/0304-3975(94)90010-8

Alur, 1996, Automatic symbolic verification of embedded systems, IEEE Trans. Software Eng., 22, 181, 10.1109/32.489079

Alur, 1993, Parametric real-time reasoning

Bouajjani, 1994, Verifying invariance properties of timed systems with duration variables, 863, 193

Bouajjani, 1993, On model checking for real-time properties with durations

Bouajjani, 1995, Verifyingω, 939, 437

Čerans, 1992

Corbett, 1996, Timing analysis of Ada tasking programs, IEEE Trans. Software Eng., 22, 461, 10.1109/32.538604

Henzinger, 1995, HyTech

Henzinger, 1997, HyTech, Software Tools Technology Transfer, 1, 110, 10.1007/s100090050008

Henzinger, 1998, Algorithmic analysis of nonlinear hybrid systems, IEEE Trans. Automatic Control, 43, 540, 10.1109/9.664156

Henzinger, 1992, What good are digital clocks?, 623, 545

Henzinger, 1994, Symbolic model checking for real-time systems, Inform. & Comput., 111, 193, 10.1006/inco.1994.1045

Halbwachs, 1994, Verification of linear hybrid systems by means of convex approximation, 864, 223

Ho, 1995, Automated analysis of an audio control protocol, 939, 381

Henzinger, 1996, Using HyTech to synthesize control parameters for a steam boiler, 1165, 265

Kopke, 1996

Kesten, 1993, Integration graphs: A class of decidable hybrid systems, 736, 179

Lynch, 1996, Forward and backward simulations, Part II: Timing-based systems, Inform. & Comput., 128, 1, 10.1006/inco.1996.0060

McManis, 1994, Suspension automata: A decidable class of hybrid automata, 818, 105

Nicollin, 1993, An approach to the description and analysis of hybrid systems, 736, 149

Nadjm-Tehrani, 1995, Proving dynamic properties in an aerospace application

Olivero, 1994, Using abstractions for the verification of linear hybrid systems, 818, 81

Puri, 1996, ε, 1066, 362

Puri, 1994, Decidability of hybrid systems with rectangular differential inclusions, 818, 95

Stauner, 1997, UsingHyTech, 1201, 139

Vardi, 1986, An automata-theoretic approach to automatic program verification