15. HSCC 2012: Beijing, China

Keynote

Invited talk & networked control

Verification (1) -- invariant generation & abstraction

Verification (2) -- reachability computation and games

Controller synthesis and scheduling

Verification 3 -- abstraction & randomized search

Applications and modelling

Stability and switched systems

Stochastic systems (1)

Quantized and symbolic control systems

Stochastic systems (2)

Tool papers

maintained by Schloss Dagstuhl LZI at University of Trier