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

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

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

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)