×

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].

MSC:

68Q45 Formal languages and automata
PDFBibTeX XMLCite