BEGIN:VCALENDAR
VERSION:2.0
PRODID:OpenCms 20.0.18
BEGIN:VTIMEZONE
TZID:Europe/Berlin
X-LIC-LOCATION:Europe/Berlin
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
END:STANDARD
END:VTIMEZONE				
BEGIN:VEVENT
DTSTAMP:20190117T155827
UID:587f281c-1a68-11e9-b632-000e0c3db68b
SUMMARY:Talk of Prof. Martin Fränzle
DESCRIPTION:Prof. Martin Fränzle\nDepartment of Computing Science\nCarl von Ossietzky University of Oldenburg, Germany  \nTuesday 2019-01-29 16:00\nIST-Seminar-Room 2.255 - Pfaffenwaldring 9 - Campus Stuttgart-Vaihingen  \nAbstract  \nThe advent of systems of cooperative cyber-physical systems draws attention to a central problem\nof networked and distributed control systems: the ubiquity of delay in feedback loops between\nlogically or spatially distributed components, which is not adequately reflected in traditional\nmodels of hybrid-state dynamics based on ordinary differential equations and immediate transitions.\nOccurrence of feedback delays may significantly alter a system's dynamic response. Unmodeled delays\nin a control loop consequently have the potential to invalidate any stability and safety\ncertificate obtained on a related delay-free model, which is current practice in hybrid-system\nanalysis. In this talk, we will present various approaches to the analysis and\ncorrect-by-construction design of dynamical systems subject to delayed information exchange, as\npertinent to distributed hybrid systems. We will explain automatic verification procedures for\ninvariance properties and bounded temporal-logic based on constraint-solving or rigorous\ngeneralization from simulations. This analytical view will be complemented by a constructive one\nbased on a notion of delayed games and corresponding strategy synthesis algorithms.  \n  \n  \n   \n  \nBiographical Information\n   \n  \nMartin Fränzle is Professor for Hybrid Discrete-Continuous Systems at the Carl von Ossietzky\nUniversität Oldenburg, Germany. Previous positions include an associate professorship as a Velux\nvisiting professorship at the Technical University of Denmark, post-doctoral position at Oldenburg\nand Kiel, an a doctoral researcher position at Kiel, where he also obtained his doctoral degree.\nHis research interests are in modelling, verification, and synthesis of reactive, real-time, and\nhybrid dynamics in embedded and cyber-physical systems. He has worked on the semantics of\nhigh-level modelling and specification languages and on decision problems and their application to\nverifying and synthesizing real-time and hybrid discrete-continuous systems including settings\nsubject to stochastic disturbances.  \n\n  
DTSTART;TZID=Europe/Berlin;VALUE=DATE:20190129
URL;VALUE=URI:https://www.ist.uni-stuttgart.de/events/Talk-of-Prof-00001.-Martin-Fraenzle/
END:VEVENT
END:VCALENDAR