|18. Oktober 2022
|Download als iCal:
Prof. Amr Alanwar
Focus Area Mobility/Computer Science & Electrical Engineering
Jacobs University Bremen
Tuesday 2022-10-18 4 p.m.
IST Seminar Room 2.255 - Pfaffenwaldring 9 - Campus Stuttgart-Vaihingen
Reachability analysis computes the set of reachable states of a system with uncertain initial states, inputs, and parameters. One major application of reachability analysis is the formal verification of cyber-physical systems. However, obtaining an accurate model for such systems to perform a model-based reachable analysis is a challenging task. This talk will present new algorithms for developing data-driven reachability analysis from input/output data with formal guarantees. The proposed algorithms support incorporating side information in terms of signal temporal logic to decrease the conservatism of the reachable sets. Then, through applications in providing robust predictive control and guaranteed safe reinforcement learning for black-box systems, the effectiveness of the algorithms will be presented.
Amr Alanwar is an assistant professor at Jacobs University, Bremen. Before that, he was a postdoctoral researcher at the KTH Royal Institute of Technology. He got his Ph.D. with the Cyber-Physical Systems Group at the Technical University of Munich (TUM). Before that, he was a research assistant at the Networked & Embedded Systems Laboratory at the University of California, Los Angeles (UCLA). He also has industrial experience as a research and development engineer in Siemens and Morpho companies. Amr won the Best Demonstration Paper Award at the 16th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN/CPS week) and was a finalist in the Qualcomm Innovation Fellowship for two years in a row. He received his B.Sc. and M.Sc. from Ain Shams University in Egypt. His current research interests include safety, privacy, and general topics in cyber-physical systems.