Workshop on Modeling and
Verification
of Uncertain Hybrid Systems
Program
9.00 – 9.05 Opening
Section A: Modelling
uncertain hybrid systems
Subsection A1: Uncertain Cyber-physical systems
9.05 – 9.35 Walid Taha
9.35 – 10.05 Martin Fuchs
10.05 – 10.30 Coffee break
Subsection A1: Stochastic hybrid systems
10.30 – 11.00 Manuela Bujorianu
11.00 – 11.30
Luca Bortolussi
11.30 – 12.00 Anne Remke
12.00 – 13.30 Lunch
Section B: Verification of stochastic hybrid systems
Subsection B1: formal verification
13.30 – 14.00 Martin Fraenzle
14.00 - 14.30 Paolo Zuliani
14.30 – 15.00 Alexandru Mereacre
15.00 – 15.30 Coffee break
Subsection B2: Control-theoretic verification methods
15.30 – 16.00 Xenofon D. Koutsoukos
16.00 - 16.30 Alessandro
D'Innocenzo
16.30 -17.00 Koeppl Heinz
17.30 Welcome reception