Follow
Amr Alanwar
Amr Alanwar
Assistant Professor, Technical University of Munich
Verified email at tum.de - Homepage
Title
Cited by
Year
Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
L Hadjiloizou, FJ Jiang, A Alanwar, KH Johansson
arXiv preprint arXiv:2404.03308, 2024
2024
Formal Verification with Constrained Polynomial Logical Zonotope
A Hafez, FJ Jiang, KH Johansson, A Alanwar
arXiv preprint arXiv:2403.18564, 2024
2024
Logical zonotopes: A set representation for the formal verification of boolean functions
A Alanwar, FJ Jiang, S Amin, KH Johansson
2023 62nd IEEE Conference on Decision and Control (CDC), 60-66, 2023
3*2023
Resilient set-based state estimation for linear time-invariant systems using zonotopes
MUB Niazi, A Alanwar, MS Chong, KH Johansson
European Journal of Control 74, 100837, 2023
12023
Robust data-driven predictive control of unknown nonlinear systems using reachability analysis
M Farjadnia, A Alanwar, MUB Niazi, M Molinari, KH Johansson
European Journal of Control 74, 100878, 2023
12023
Data-Driven Reachability Analysis of Pedestrians Using Behavior Modes
A Söderlund, FJ Jiang, V Narri, A Alanwar, KH Johansson
2023 IEEE 26th International Conference on Intelligent Transportation …, 2023
2023
Shared Situational Awareness with V2X Communication and Set-membership Estimation
V Narri, A Alanwar, J Mårtensson, C Norén, KH Johansson
2023 IEEE 26th International Conference on Intelligent Transportation …, 2023
2023
Secure Set-Based State Estimation for Linear Systems under Adversarial Attacks on Sensors
MUB Niazi, MS Chong, A Alanwar, KH Johansson
arXiv preprint arXiv:2309.05075, 2023
2023
Polynomial Logical Zonotopes: A Set Representation for Reachability Analysis of Logical Systems
A Alanwar, FJ Jiang, KH Johansson
arXiv preprint arXiv:2306.12508, 2023
12023
Differentially private set-based estimation using zonotopes
MM Dawoud, C Liu, A Alanwar, KH Johansson
2023 European Control Conference (ECC), 1-8, 2023
12023
Distributed set-based observers using diffusion strategies
A Alanwar, JJ Rath, H Said, KH Johansson, M Althoff
Journal of the Franklin Institute, 2023
262023
Data-driven reachability analysis from noisy data
A Alanwar, A Koch, F Allgöwer, KH Johansson
IEEE Transactions on Automatic Control, 2023
272023
Privacy Preserving Set-Based Estimation Using Partially Homomorphic Encryption
AMR ALANWAR, V GASSMANN, X HE, H SAID, H SANDBERG, ...
European Journal of Control, 100786, 2023
92023
Safe reinforcement learning using data-driven predictive control
M Selim, A Alanwar, MW El-Kharashi, HM Abbas, KH Johansson
2022 5th International Conference on Communications, Signal Processing, and …, 2022
12022
Resilient set-based state estimation for linear time-invariant systems using zonotopes
MUB Niazi, A Alanwar, MS Chong, KH Johansson
arXiv preprint arXiv:2211.08474, 2022
12022
Safe Reinforcement Learning Using Black-Box Reachability Analysis
M Selim, A Alanwar, S Kousik, G Gao, M Pavone, KH Johansson
IEEE Robotics and Automation Letters, 2022
172022
Privacy Guarantees for Cloud-based State Estimation using Partially Homomorphic Encryption
S Emad, A Alanwar, Y Alkabani, MW El-Kharashi, H Sandberg, ...
European Control Conference (ECC), 2021
52021
Data-driven Set-based Estimation of Polynomial Systems with Application to SIR Epidemics
A Alanwar, MUB Niazi, KH Johansson
European Control Conference (ECC), 2021
62021
Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information
A Alanwar, FJ Jiang, M Sharifi, DV Dimarogonas, KH Johansson
International conference on robotics and automation (ICRA), 2021
32021
Robust data-driven predictive control using reachability analysis
A Alanwar, Y Stürz, KH Johansson
European Journal of Control, 2021
262021
The system can't perform the operation now. Try again later.
Articles 1–20