Summer School on Cyber-Physical Systems - 2014 Edition

Université Joseph Fourier, PERSYVAL-Lab, and NASA-JPL are organizing the second edition of the CPS Summer School. The broad objective of the CPS Summer School is to explore the manifold relationship between networked embedded systems ("the internet of things") and humans as their creators, users, and subjects. The format of the Summer School is a four days meeting, organized around different aspects of rigorous engineering of Cyber-Physical Systems.

This year, the objective of the school is to survey fundamental and applied aspects of modelling, monitoring and learning of systems as well as to identify novel opportunities and research directions in these areas through a series of lectures by international experts. Participants will also experience the relevant technologies during hands-on courses and be given a chance to present their own work. The school will provide a great opportunity to know other people working in the field, to meet distinguished scholars, and to establish contacts that may lead to research collaborations in the future.

The school will concentrate on the fields of system modelling, monitoring and learning. Over the last ten years we have seen a lot of growth in these areas, building on strong theoretical foundations to apply and extend techniques to new application domains. Runtime verification is a growing field with more and more efffective applications in safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy. The field of specification mining (learning specifications from system behaviour) has also seen a surge in research effort, with the establishment of a number of competitions to drive forward the development of practical tools. This research community is at an ideal stage to benefit from a school such as this, to inspire, motivate and instruct new researchers into the field.

Students participating at this summer school will learn the current state of the art in modeling, monitoring, and learning. Students will be able to apply new techniques coming from various communities and backgrounds to their own domain. The CPS Summer School will be held at Grenoble University. Courses will be given in English by experts from industry and academia working in various fields of CPS.



Monday

7th of July

Tuesday

8th of July

 

Wednesday

9th of July

 

Thursday

10th of July

 

Kim Guldstrand Larsen

Kim Guldstrand Larsen

Grigore Rosu

Grigore Rosu

Bernhard Steffen

Bernhard Steffen

Goran Frehse

Goran Frehse

Radu Grosu

Radu Grosu

Eric Bodden

Eric Bodden

Martin Leucker

Martin Leucker

Roberto Passerone

Roberto Passerone

Axel Legay

Axel Legay

Klaus Havelund

Klaus Havelund

Mohamad Sawan

Mohamad Sawan

O. Coutelou

Bernard Tourancheau

Bernard Tourancheau

Jean Goubault-Larrecq

Jean Goubault-Larrecq