Dissemination

Dissemination activities

Date Title Description Attachments
March 11-12, 2015 ARTEMIS-IA Co-Summit ARTEMIS is a European industry association in embedded and cyber- physical systems, and is responsible for the Strategic Research Agenda (SRA) on embedded and cyber-physical systems. Website
April 13-16, 2015 ARCH 2015 Workshop within the CPSWeek 2015 in Seattle (USA) organized by M. Althoff (TUM) and G. Frehse (UJF) Proceedings
May 20, 2015 Modelling of Context and Environment for Verification and Testing of Highly Autonomous Systems Workshop within SafeTRANS in Renningen, Germany
July 1, 2015 Cyber physical transport systems - ITS on the move towards the Internet-of-Things Podium discussion at the International Scientific Conference on Mobility and Transport (mobil.TUM 2015) in Munich, Germany N/A
July 13-15, 2015 "Provably correct collision avoidance systems" and "Formalisation of traffic rules for defending against liability claims in automated driving" Presentations given by M. Althoff (TUM) at the BMW workshop "We live innovations - dialogue Munich" in Munich, Germany N/A
September 15-16, 2015 On optimization-based control of switched uncertain systems Invited talk given by Olaf Stursberg (UNIKASSEL) at the MOBOCON Symposium Optimization and Control of Uncertain Systems in Dortmund, Germany N/A
September 28 - October 2, 2015 "Determining the nonexistence of evasive trajectories for collision avoidance systems", and "Safety Control of Robots" Invited talks given by M. Althoff on workshops at the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2015) N/A
October 7, 2015 Provably Safe Maneuvers of Automated Vehicles Presentation given by M. Althoff at the ARTEMIS Technology Conference 2015 in Turin, Italy PDF
December 15-18, 2015 New developments in stochastic systems, control and their applications Invited session lectured and co-organized by M. Prandini (POLIMI) at the 54th IEEE Conference on Decision and Control (CDC) in Osaka, Japan N/A

Teaching activities

Date Lecturer Description Attachments
June 16-17, 2015 Goran Frehse (UJF) French Summer School MACS, organized by GT MOSAR and SDH, Bourge, France Website
September 9-11, 2015 Goran Frehse (UJF) SyDe Summer School on Modelling and Verification of Cyber-Physical Systems, Bremen, Germany Website
September 30 - October 2, 2015 Goran Frehse (UJF) AVACS Summer School, Oldenburg, Germany Website
June 8, 2015 Matthias Althoff (TUM) TUM Summer Seminar on Cyber-Physical Systems Website
SS 2015 Matthias Althoff (TUM) Improvements made to regular TUM lecture on Cyber-Physical Systems Website
WS 2015 Matthias Althoff (TUM) Seminar Cyber-Physical Systems Website
Fall 2015 Matthias Althoff (TUM) Lecture "Cyber-Physical Systems" N/A
SS 2015 Olaf Stursberg (UNIKASSEL) Course on "Discrete Event Systems and Control Theory", University of Kassel N/A
July 14, 2015 Jens Oehlerking (Bosch) Guest Lecture at TUM, "Specification models for cyber-physical systems in industrial practice", Garching, Germany N/A
October 02, 2015 Jens Oehlerking (Bosch) Invited presentation at the final colloquium of the transregional research collaborative AVACS: "Specification models, testing and verification in industrial practice", Oldenburg, Germany N/A
June 15-19, 2015 Maria Prandini (POLIMI) PhD course on hybrid systems at Politecnico di Milano Website
October 5-8, 2015 Maria Prandini (POLIMI) PhD course on hybrid systems at Lund University Website
July 8-10, 2015 Maria Prandini (POLIMI) Mini-Symposium on "Stochastic Control: Computational Approaches to Large-Scale Problems" in SIAM Conference on Control and its Applications, Paris, France N/A
July 8-10, 2015 Maria Prandini (POLIMI) Mini-Symposium on "Stochastic Systems and Applications," in SIAM Conference on Control and its Applications, Paris, France N/A

Pictures

Kick-Off meeting of the UnCoVerCPS project in Garching hosted by GE:

UnCoVerCPS Consortium

Consortium meeting at Tecnalia, Bilbao, to discuss research progress and future collaborations:

Project flyer

Here is our current flyer (version 1.5).

Project presentation

Here is the current presentation of the UnCoVerCPS project.