Prof. Dr. Amr Alanwar


Cyber-Physical Systems

Academic Career and Research Areas

Amr explores data-driven reachability analysis, offering an approach for formally verifying cyber-physical systems. His work on safety-guaranteed reinforcement learning introduces a safety layer to reinforce system performance and compliance in uncertain environments. Additionally, he proposes a logical zonotope which is a more efficient representation for logical systems, optimizing exhaustive search algorithms. Also, he works on privacy-preserving set-based estimation using homomorphic encryption.

Since Sept. 2023, Amr has been at TUM working with the professorship for Cyber-Physical Systems. Prior to that, he was an assistant professor at Jacobs University Bremen. Before that, he was a postdoctoral researcher at KTH Royal Institute of Technology, working with Prof. Karl H. Johansson. He earned his Ph.D. under the supervision of Prof. Dr.-Ing. Matthias Althoff at TUM. Before that, he was a research assistant at the University of California, Los Angeles (UCLA). He also worked as an engineer at Siemens and Morpho, Egypt.


    • KTH Postdoctoral Scholarship for two years
    • Qualcomm Innovation Fellowship Finalist, 2018 (Acceptance rate 30/174 = 17.2%)
    • Best Demonstration Paper Award at the 16th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN/CPSWeek 2017)
    • Qualcomm Innovation Fellowship Finalist, 2017 (Acceptance rate 33/116 = 28.4%)

    Alanwar, A., Koch, A., Allgöwer, F., & Johansson, K. H. (2023). Data-driven reachability analysis from noisy data. IEEE Transactions on Automatic Control, 68(5), 3054–3069.


    Alanwar, A., Gassmann, V., He, X., Said, H., Sandberg, H., Johansson, K. H., & Althoff, M. (2023). Privacy preserving set-based estimation using partially homomorphic encryption. European Journal of Control, 100786.

    Selim, M., Alanwar, A., Kousik, S., Gao, G., Pavone, M., & Johansson, K. H. (2022). Safe reinforcement learning using black-box reachability analysis. IEEE Robotics and Automation Letters, 7(4), 10665–10672.


    Alanwar, A., Stürz, Y., & Johansson, K. H. (2022). Robust data-driven predictive control using reachability analysis. European Journal of Control, 100666.


    Alanwar, A., Rath, J. J., Said, H., Johansson, K. H., & Althoff, M. (2023). Distributed set-based observers using diffusion strategies. Journal of the Franklin Institute, 360(10), 6976–6993.