You have Guest access.
Log In
Volume 1 / 1971 - Volume 49 / 2012
Hybrid Systems
449-450
Editorial
Editorial: Hybrid Systems
Ernst-Rüdiger Olderog and Anders P. Ravn
451-476
Original Article
Hybridization methods for the analysis of nonlinear systems
Eugene Asarin, Thao Dang and Antoine Girard
477-500
Symbolic models for control systems
Paulo Tabuada
501-519
Original article
Geometric analysis of nondeterminacy in dynamical systems Towards a geometric analysis of concurrent systems
Rafael Wisniewski and Martin Raussen
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info