Amr Alanwar

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 19

Top Topics

Predictive Control

Reachability Analysis

State Estimation

Top Venues

Eur. J. Control

Publications

Loizos Hadjiloizou, Frank J. Jiang, Amr Alanwar, Karl H. Johansson
Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis. ECC (2024)
Loizos Hadjiloizou, Frank J. Jiang, Amr Alanwar, Karl Henrik Johansson
Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis. CoRR (2024)
Ahmad Hafez, Frank J. Jiang, Karl Henrik Johansson, Amr Alanwar
Formal Verification with Constrained Polynomial Logical Zonotope. CoRR (2024)
Amr Alanwar, Frank J. Jiang, Samy Amin, Karl Henrik Johansson
Logical Zonotopes: A Set Representation for the Formal Verification of Boolean Functions. CDC (2023)
August Söderlund, Frank J. Jiang, Vandana Narri, Amr Alanwar, Karl Henrik Johansson
Data-Driven Reachability Analysis of Pedestrians Using Behavior Modes. CoRR (2023)
Amr Alanwar, Frank J. Jiang, Karl Henrik Johansson
Polynomial Logical Zonotopes: A Set Representation for Reachability Analysis of Logical Systems. CoRR (2023)
Vandana Narri, Amr Alanwar, Jonas Mårtensson, Christoffer Norén, Karl Henrik Johansson
Shared Situational Awareness with V2X Communication and Set-membership Estimation. ITSC (2023)
Amr Alanwar, Anne Koch, Frank Allgöwer, Karl Henrik Johansson
Data-Driven Reachability Analysis From Noisy Data. IEEE Trans. Autom. Control. 68 (5) (2023)
Mohammed M. Dawoud, Changxin Liu, Amr Alanwar, Karl Henrik Johansson
Differentially Private Set-Based Estimation Using Zonotopes. ECC (2023)
Vandana Narri, Amr Alanwar, Jonas Mårtensson, Christoffer Norén, Karl Henrik Johansson
Shared Situational Awareness with V2X Communication and Set-membership Estimation. CoRR (2023)
August Söderlund, Frank J. Jiang, Vandana Narri, Amr Alanwar, Karl Henrik Johansson
Data-Driven Reachability Analysis of Pedestrians Using Behavior Modes. ITSC (2023)
Amr Alanwar, Victor Gaßmann, Xingkang He, Hazem Said, Henrik Sandberg, Karl Henrik Johansson, Matthias Althoff
Privacy-preserving set-based estimation using partially homomorphic encryption. Eur. J. Control 71 (2023)
Mohammed M. Dawoud, Changxin Liu, Amr Alanwar, Karl Henrik Johansson
Differentially Private Set-Based Estimation Using Zonotopes. CoRR (2023)
Muhammad Umar B. Niazi, Michelle S. Chong, Amr Alanwar, Karl Henrik Johansson
Secure Set-Based State Estimation for Linear Systems under Adversarial Attacks on Sensors. CoRR (2023)
Mahmoud Selim, Amr Alanwar, M. Watheq El-Kharashi, Hazem M. Abbas, Karl Henrik Johansson
Safe Reinforcement Learning using Data-Driven Predictive Control. CoRR (2022)
Amr Alanwar, Yvonne R. Stürz, Karl Henrik Johansson
Robust data-driven predictive control using reachability analysis. Eur. J. Control 68 (2022)
Muhammad Umar B. Niazi, Amr Alanwar, Michelle S. Chong, Karl Henrik Johansson
Resilient Set-based State Estimation for Linear Time-Invariant Systems Using Zonotopes. CoRR (2022)
Mahsa Farjadnia, Amr Alanwar, Muhammad Umar B. Niazi, Marco Molinari, Karl Henrik Johansson
Robust Data-Driven Predictive Control of Unknown Nonlinear Systems using Reachability Analysis. CoRR (2022)
Mahmoud Selim, Amr Alanwar, Shreyas Kousik, Grace Xingxin Gao, Marco Pavone, Karl Henrik Johansson
Safe Reinforcement Learning Using Black-Box Reachability Analysis. IEEE Robotics Autom. Lett. 7 (4) (2022)