| |
Monday |
Tuesday |
Wednesday |
Thursday |
Friday |
|
9:00
|
10:30
|
CPS Intro
Peter Marwedel 1
(slides)
|
CPS in Social Spaces
Tarek F. Abdelzaher 1
(slides)
|
CPU Resource Management
Karl-Erik Årzén 1
(slides)
|
Hybrid Automata
Radu Grosu 1
(slides)
|
Hybrid Automata
Radu Grosu 2
(slides, same as to the left)
|
|
10:30
|
Break |
Break |
Break |
Break |
Break |
|
11:00
|
12:30
|
CPS Intro
Peter Marwedel 2
(slides, same as above)
|
Medical CPS
Insup Lee 1
(slides-0,slides-1)
|
Uppaal
Kim G. Larsen 2
(slides)
|
Statistical Model Checking
Axel Legay 1
(slides-1,slides-2)
video
|
Statistical Model Checking
Axel Legay 2
(slides-3,slides-4)
|
|
12:30
13:30
|
Lunch |
Lunch |
Lunch |
Lunch |
Lunch |
|
13:30
|
15:00
|
Uppaal
Kim G. Larsen 1
(slides)
|
CPS in Social Spaces
Tarek F. Abdelzaher 2
(slides,same as above)
|
CPU Resource Management
Karl-Erik Årzén 2
(slides, same as above)
|
ITOS project:
GN ReSound
- Flemming Schmidt
(slides)
- Allan Munck
(slides)
|
|
|
15:00
|
Break |
Break |
Break |
Break |
|
|
15:30
|
17:00
|
Cyber-Physical Microsystems
Jan Madsen 1
(slides)
|
Medical CPS
Insup Lee 2
(slides-2, slides-3)
|
Cyber-Physical Microsystems
Jan Madsen 2
(slides)
|
MAN Diesel & Turbo
- Nicolai Pedersen
(slides)
Seluxit
- Brian Boyles (slides)
- Marco Muñiz (slides)
|
|