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). Summary: We extend the timed-automaton model for real-time systems to a formal model for hybrid systems: while the continuous variables of a timed automaton are clocks that measure time, the continuous variables of a hybrid system are governed by arbitrary differential equations. We then adopt the verification methodology for timed automata to analyze hybrid systems: while the verification problem is decidable for timed automata, we obtain semidecision procedures for the class of hybrid systems whose continuous variables change in a piecewise linear fashion.For the entire collection see [Zbl 0811.00024]. Cited in 22 Documents MSC: 68Q45 Formal languages and automata Keywords:timed-automaton model; real-time systems; hybrid systems PDFBibTeX XMLCite \textit{R. Alur} et al., Lect. Notes Control Inf. Sci. 199, 331--351 (1994; Zbl 0823.68067)