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

a service of Schloss Dagstuhl - Leibniz Center for Informatics