×

Found 2 Documents (Results 1–2)

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)
PDFBibTeX XMLCite

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

Filter Results by …

Year of Publication

Main Field