17. HSCC 2014: Berlin, Germany

Refine list

showing all ?? records

Piecewise affine and switched linear systems

Stochastic hybrid systems

Hybrid system modeling

Stability and control

Keynote address

Tool and case study presentations


Approximation and robustness

Applications of hybrid systems

Timed systems and temporal specifications

a service of  Schloss Dagstuhl - Leibniz Center for Informatics