What's decidable about hybrid automata?
T.A. Henzinger, P. Kopke, A. Puri, P. Varaiya, Journal of Computer and System Sciences 57 (1998) 94–124.
LibreCat: https://research-explorer.ista.ac.at/record/4492
DOI: 10.1006/jcss.1998.1581