Henzinger, Thomas A.; Raskin, Jean-François Robust undecidability of timed and hybrid systems. (English) Zbl 0944.93018 Lynch, Nancy (ed.) et al., Hybrid systems: computation and control. 3rd international workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1790, 145-159 (2000). Reviewer: D.Franke (Hamburg) MSC: 93C30 93C65 68Q45 93C73 PDFBibTeX XMLCite \textit{T. A. Henzinger} and \textit{J.-F. Raskin}, Lect. Notes Comput. Sci. 1790, 145--159 (2000; Zbl 0944.93018)
Alur, R.; Courcoubetis, C.; Henzinger, T.; Ho, P.; Nicollin, X.; Olivero, A.; Sifakis, J.; Yovine, S. The algorithmic analysis of hybrid systems. (English) Zbl 0823.68067 Cohen, Guy (ed.) et al., 11th International conference on analysis and optimization of systems: discrete event systems. Sophia-Antipolis, France, June 15-17, 1994. Berlin: Springer-Verlag. Lect. Notes Control Inf. Sci. 199, 331-351 (1994). MSC: 68Q45 PDFBibTeX XMLCite \textit{R. Alur} et al., Lect. Notes Control Inf. Sci. 199, 331--351 (1994; Zbl 0823.68067)