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