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

a service of Schloss Dagstuhl - Leibniz Center for Informatics