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:20221014T175236
UID:398ffc8f-4bd8-11ed-bee6-000e0c3db68b
SUMMARY:Talk of Prof. Amr Alanwar
DESCRIPTION:Prof. Amr Alanwar\nFocus Area Mobility/Computer Science & Electrical Engineering\nJacobs University Bremen\nBremen, Germany  \nTuesday 2022-10-18 4 p.m.\nIST Seminar Room 2.255 - Pfaffenwaldring 9 - Campus Stuttgart-Vaihingen  \nAbstract\nReachability analysis computes the set of reachable states of a system with uncertain initial\nstates, inputs, and parameters. One major application of reachability analysis is the formal\nverification of cyber-physical systems. However, obtaining an accurate model for such systems to\nperform a model-based reachable analysis is a challenging task. This talk will present new\nalgorithms for developing data-driven reachability analysis from input/output data with formal\nguarantees. The proposed algorithms support incorporating side information in terms of signal\ntemporal logic to decrease the conservatism of the reachable sets. Then, through applications in\nproviding robust predictive control and guaranteed safe reinforcement learning for black-box\nsystems, the effectiveness of the algorithms will be presented.  \nBiographical Information\nAmr Alanwar is an assistant professor at Jacobs University, Bremen. Before that, he was a\npostdoctoral researcher at the KTH Royal Institute of Technology. He got his Ph.D. with the\nCyber-Physical Systems Group at the Technical University of Munich (TUM). Before that, he was a\nresearch assistant at the Networked & Embedded Systems Laboratory at the University of\nCalifornia, Los Angeles (UCLA). He also has industrial experience as a research and development\nengineer in Siemens and Morpho companies. Amr won the Best Demonstration Paper Award at the 16th\nACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN/CPS week) and\nwas a finalist in the Qualcomm Innovation Fellowship for two years in a row. He received his B.Sc.\nand M.Sc. from Ain Shams University in Egypt. His current research interests include safety,\nprivacy, and general topics in cyber-physical systems.\n   
DTSTART;TZID=Europe/Berlin;VALUE=DATE:20221018
URL;VALUE=URI:https://www.ist.uni-stuttgart.de/events/Talk-of-Prof.-Amr-Alanwar/
END:VEVENT
END:VCALENDAR