16. HSCC 2013: Philadelphia, PA, USA

Control I

HSCC invited speaker session

Learning

Stability

Tool and case study papers

State estimation

Reachability

Scheduling

Verification

Stochastic hybrid systems

Control II

maintained by Schloss Dagstuhl LZI, founded at University of Trier