15. HSCC 2012: Beijing, China


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, founded at University of Trier