13. HSCC 2010: Stockholm, Sweden

Compositionality and abstraction

Hybrid control systems

Resource and scheduling

Specification and control

Identification and control

Applications

Network and control

Modelling and analysis

Verification of stochastic systems

Switched linear systems

maintained by Schloss Dagstuhl LZI, founded at University of Trier