17. HSCC 2014: Berlin, Germany

Piecewise affine and switched linear systems

Stochastic hybrid systems

Hybrid system modeling

Stability and control

Keynote address

Tool and case study presentations

Reachability

Approximation and robustness

Applications of hybrid systems

Timed systems and temporal specifications

maintained by Schloss Dagstuhl LZI at University of Trier