technische universität münchen computer science > net > pahl
[http://pahl.de/?site=2016-09_HLF-CPS]
qrcode
> teaching > HLF16 CPS
Distributed Smart Space Orchestration

news

2017-03-10
CPS workshop

with Joseph Sifakis and Vint Cerf online!

2017-03-03
On using Deep Learning in Smart Spaces

online!

2017-03-03
Distributed Smart Space Orchestration

NOMS 2016 Dissertation Session talk online!

2017-02-17
Smart Space Orchestration - How to make the Internet of Things smart?

talk at Eurecom online!

2016-11-10
More info on MOOC4Masters

online (including an interview with Vint Cerf)!


more news...

Cyber Physical Systems

Workshop at the 4th Heidelberg Lauereate Forum 2016

The workshop features the ACM Turing Award winners Joseph Sifakis (2007) and Vinton Cerf (2004). It was organized by Marc-Oliver Pahl (TUM), Amel Bennaceur (Open University), and Sai Manoj (TU Wien).

The workshop took place at the occasion of the 4th Heidelberg Laureate Forum (http://www.heidelberg-laureate-forum.org/). The Heidelberg Laureate forum is an annual forum organized by the Klaus Tschira Stiftung. 200 selected students assemble in Heidelberg to meet and discuss with winners of the ACM Turing Award, the Abel Prize, and the Fields Medal.

On Monday, Sep 19 2016, 30 students participated in the workshop on Cyber Physical Systems. The participants learned about methodologies of Cyber Physical Systems (CPS) research, and its relation to the Internet of Things (IoT). The workshop ended with a discussion on challenges and opportunities of CPS. According to the received feedback, the workshop was a full success.

Additional Material
Modelling a Cyber Physical System with Uppaal


In this video I model a simple temperature measuring Cyber Physical System (CPS) with Uppaal.

Uppaal Infusion Pump Simulation


A simulation run of the Uppaal model of the generic infusion pump from here: http://rtg.cis.upenn.edu/medical/gpca...
From:
The Generic Infusion Pump (GIP)
A workbench for improving safety, security and usability of medical systems https://rtg.cis.upenn.edu/gip/#MBE

contact imprint minicms