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 | |
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 |
Project flyer
Here is our current flyer (version 1.5).
Project presentation
Here is the current presentation of the UnCoVerCPS project.