Skip to main content

Acta Informatica

Ausgabe 7/2007

Hybrid Systems

Inhalt (4 Artikel)

Editorial

Editorial: Hybrid Systems

Ernst-Rüdiger Olderog, Anders P. Ravn

Original Article

Hybridization methods for the analysis of nonlinear systems

Eugene Asarin, Thao Dang, Antoine Girard

Original Article

Symbolic models for control systems

Paulo Tabuada

Original article

Geometric analysis of nondeterminacy in dynamical systems

Rafael Wisniewski, Martin Raussen