The Theory of Rectangular Hybrid Automata
P. Kopke, The Theory of Rectangular Hybrid Automata, Cornell University, 1996.
LibreCat: https://research-explorer.ista.ac.at/record/4419

Automatic analysis of hybrid systems
P. Ho, Automatic Analysis of Hybrid Systems, Cornell University, 1995.
LibreCat: https://research-explorer.ista.ac.at/record/4428