ISSN 0001-5903 (Print)
Publisher: Springer Science and Media
Editorial: Hybrid Systems pp. 449-450(2) Authors: Olderog, E. R.; Ravn, A. P.
Hybridization methods for the analysis of nonlinear systems pp. 451-476(26) Authors: Asarin, E.; Dang, T.; Girard, A.
Symbolic models for control systems pp. 477-500(24) Author: Tabuada, P.
Geometric analysis of nondeterminacy in dynamical systems pp. 501-519(19) Authors: Wisniewski, R.; Raussen, M.