Dissemination activities

March 11-12, 2015ARTEMIS-IA Co-SummitARTEMIS 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, 2015ARCH 2015Workshop within the CPSWeek 2015 in Seattle (USA) organized by M. Althoff (TUM) and G. Frehse (UJF)Proceedings
May 20, 2015Modelling of Context and Environment for Verification and Testing of Highly Autonomous SystemsWorkshop within SafeTRANS in Renningen, Germany 
July 1, 2015Cyber physical transport systems - ITS on the move towards the Internet-of-ThingsPodium discussion at the International Scientific Conference on Mobility and Transport (mobil.TUM 2015) in Munich, GermanyN/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, GermanyN/A
September 15-16, 2015On optimization-based control of switched uncertain systemsInvited talk given by Olaf Stursberg (UNIKASSEL) at the MOBOCON Symposium Optimization and Control of Uncertain Systems in Dortmund, GermanyN/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, 2015Provably Safe Maneuvers of Automated VehiclesPresentation given by M. Althoff at the ARTEMIS Technology Conference 2015 in Turin, ItalyPDF
December 15-18, 2015New developments in stochastic systems, control and their applicationsInvited session lectured and co-organized by M. Prandini (POLIMI) at the 54th IEEE Conference on Decision and Control (CDC) in Osaka, JapanN/A

Teaching activities

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


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.