Amr Al-Anwar

According to our database, Amr Al-Anwar authored at least 42 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Formal Verification with Constrained Polynomial Logical Zonotope.

Ahmad Hafez, Frank J. Jiang, Karl Henrik Johansson, Amr Alanwar

CoRR, 2024

2023

Resilient set-based state estimation for linear time-invariant systems using zonotopes.

Muhammad Umar B. Niazi, Amr Al-Anwar, Michelle S. Chong, Karl Henrik Johansson

Eur. J. Control, November, 2023

Robust data-driven predictive control of unknown nonlinear systems using reachability analysis.

Mahsa Farjadnia, Amr Al-Anwar, Muhammad Umar B. Niazi, Marco Molinari, Karl Henrik Johansson

Eur. J. Control, November, 2023

Distributed set-based observers using diffusion strategies.

Amr Al-Anwar, Jagat Jyoti Rath, Hazem Said, Karl Henrik Johansson, Matthias Althoff

J. Frankl. Inst., July, 2023

Data-Driven Reachability Analysis From Noisy Data.

Amr Alanwar, Anne Koch, Frank Allgöwer, Karl Henrik Johansson

IEEE Trans. Autom. Control., May, 2023

Privacy-preserving set-based estimation using partially homomorphic encryption.

Amr Alanwar, Victor Gaßmann, Xingkang He, Hazem Said, Henrik Sandberg, Karl Henrik Johansson, Matthias Althoff

Eur. J. Control, 2023

Secure Set-Based State Estimation for Linear Systems under Adversarial Attacks on Sensors.

Muhammad Umar B. Niazi, Michelle S. Chong, Amr Alanwar, Karl Henrik Johansson

CoRR, 2023

Polynomial Logical Zonotopes: A Set Representation for Reachability Analysis of Logical Systems.

Amr Alanwar, Frank J. Jiang, Karl Henrik Johansson

CoRR, 2023

Data-Driven Reachability Analysis of Pedestrians Using Behavior Modes.

August Söderlund, Frank J. Jiang, Vandana Narri, Amr Alanwar, Karl Henrik Johansson

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023

Shared Situational Awareness with V2X Communication and Set-membership Estimation.

Vandana Narri, Amr Alanwar, Jonas Mårtensson, Christoffer Norén, Karl Henrik Johansson

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023

Differentially Private Set-Based Estimation Using Zonotopes.

Mohammed M. Dawoud, Changxin Liu, Amr Alanwar, Karl Henrik Johansson

Proceedings of the European Control Conference, 2023

Logical Zonotopes: A Set Representation for the Formal Verification of Boolean Functions.

Amr Alanwar, Frank J. Jiang, Samy Amin, Karl Henrik Johansson

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022

Safe Reinforcement Learning Using Black-Box Reachability Analysis.

Mahmoud Selim, Amr Alanwar, Shreyas Kousik, Grace Xingxin Gao, Marco Pavone, Karl Henrik Johansson

IEEE Robotics Autom. Lett., 2022

Robust data-driven predictive control using reachability analysis.

Amr Alanwar, Yvonne R. Stürz, Karl Henrik Johansson

Eur. J. Control, 2022

Logical Zonotope: A Set Representation for Binary Vectors.

Amr Alanwar, Frank J. Jiang, Samy Amin, Karl Henrik Johansson

CoRR, 2022

Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information.

Amr Alanwar, Frank J. Jiang, Maryam Sharifi, Dimos V. Dimarogonas, Karl Henrik Johansson

Proceedings of the 2022 International Conference on Robotics and Automation, 2022

Safe Reinforcement Learning using Data-Driven Predictive Control.

Mahmoud Selim, Amr Al-Anwar, M. Watheq El-Kharashi, Hazem M. Abbas, Karl Henrik Johansson

Proceedings of the 5th International Conference on Communications, 2022

Privacy Guarantees for Cloud-based State Estimation using Partially Homomorphic Encryption.

Sawsan Emad, Amr Alanwar, Yousra Alkabani, M. Watheq El-Kharashi, Henrik Sandberg, Karl Henrik Johansson

Proceedings of the European Control Conference, 2022

Data-driven Set-based Estimation of Polynomial Systems with Application to SIR Epidemics.

Amr Alanwar, Muhammad Umar B. Niazi, Karl Henrik Johansson

Proceedings of the European Control Conference, 2022

Data-Driven Set-Based Estimation using Matrix Zonotopes with Set Containment Guarantees.

Amr Alanwar, Alexander Berndt, Karl Henrik Johansson, Henrik Sandberg

Proceedings of the European Control Conference, 2022

2021

Data-Driven Reachability Analysis Using Matrix Zonotopes.

Amr Alanwar, Anne Koch, Frank Allgöwer, Karl Henrik Johansson

Proceedings of the 3rd Annual Conference on Learning for Dynamics and Control, 2021

Set-Membership Estimation in Shared Situational Awareness for Automated Vehicles in Occluded Scenarios.

Vandana Narri, Amr Alanwar, Jonas Mårtensson, Christoffer Norén, Laura Dal Col, Karl Henrik Johansson

Proceedings of the IEEE Intelligent Vehicles Symposium, 2021

2020

Localization of Cyber-Physical Systems: Privacy, Security and Efficiency.

Amr Abdelhafez Mohamed Alanwar Abdelhafez

PhD thesis, 2020

Distributed Set-Based Observers Using Diffusion Strategy.

Amr Alanwar, Jagat Jyoti Rath, Hazem Said, Matthias Althoff

CoRR, 2020

Event-Triggered Diffusion Kalman Filters.

Amr Alanwar, Hazem Said, Ankur Mehta, Matthias Althoff

Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020

2019

Distributed Secure State Estimation Using Diffusion Kalman Filters and Reachability Analysis.

Amr Alanwar, Hazem Said, Matthias Althoff

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2018

SecSens: Secure State Estimation with Application to Localization and Time Synchronization.

Amr Alanwar, Bernhard Etzlinger, Henrique Ferraz, João Pedro Hespanha, Mani B. Srivastava

CoRR, 2018

OpenClock: A Testbed for Clock Synchronization Research.

Fatima M. Anwar, Amr Alanwar, Mani B. Srivastava

Proceedings of the IEEE International Symposium on Precision Clock Synchronization for Measurement, 2018

2017

Dynamic FPGA Detection and Protection of Hardware Trojan: A Comparative Analysis.

Amr Al-Anwar, Mona A. Aboelnaga, Yousra Alkabani, M. Watheq El-Kharashi, Hassan Bedour

CoRR, 2017

TERSE-KF: Event-Trigger Diffusion Kalman Filter with Application to Localization and Time Synchronization.

Amr Alanwar, Tsang-Kai Chang, Mani B. Srivastava, Ankur Mehta

CoRR, 2017

EchoSafe: Sonar-based Verifiable Interaction with Intelligent Digital Agents.

Amr Alanwar, Bharathan Balaji, Yuan Tian, Shuo Yang, Mani B. Srivastava

Proceedings of the 1st ACM Workshop on the Internet of Safe Things, 2017

D-SLATS: Distributed Simultaneous Localization and Time Synchronization.

Amr Al-Anwar, Henrique Ferraz, Kevin Hsieh, Rohit Thazhath, Paul Martin, João Pedro Hespanha, Mani B. Srivastava

Proceedings of the 18th ACM International Symposium on Mobile Ad Hoc Networking and Computing, 2017

PrOLoc: resilient localization with private observers using partial homomorphic encryption.

Amr Al-Anwar, Yasser Shoukry, Supriyo Chakraborty, Paul Martin, Paulo Tabuada, Mani B. Srivastava

Proceedings of the 16th ACM/IEEE International Conference on Information Processing in Sensor Networks, 2017

PrOLoc: resilient localization with private observers using partial homomorphic encryption: demo abstract.

Amr Al-Anwar, Yasser Shoukry, Supriyo Chakraborty, Bharathan Balaji, Paul Martin, Paulo Tabuada, Mani B. Srivastava

Proceedings of the 16th ACM/IEEE International Conference on Information Processing in Sensor Networks, 2017

SeleCon: Scalable IoT Device Selection and Control Using Hand Gestures.

Amr Al-Anwar, Moustafa Alzantot, Bo-Jhang Ho, Paul Martin, Mani B. Srivastava

Proceedings of the Second International Conference on Internet-of-Things Design and Implementation, 2017

Node localization based on distributed constrained optimization using Jacobi's method.

Henrique Ferraz, Amr Alanwar, Mani B. Srivastava, João P. Hespanha

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016

Realizing Uncertainty-Aware Timing Stack in Embedded Operating System.

Amr Al-Anwar, Fatima M. Anwar, João P. Hespanha, Mani B. Srivastava

Proceedings of the Embedded Operating Systems Workshop co-located with the Embedded Systems Week (ESWEEK 2016), 2016

CryptoImg: Privacy preserving processing over encrypted images.

M. Tarek Ibn Ziad, Amr Al-Anwar, Moustafa Alzantot, Mani B. Srivastava

Proceedings of the 2016 IEEE Conference on Communications and Network Security, 2016

Privacy-aware quadratic optimization using partially homomorphic encryption.

Yasser Shoukry, Konstantinos Gatsis, Amr Al-Anwar, George J. Pappas, Sanjit A. Seshia, Mani B. Srivastava, Paulo Tabuada

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015

Homomorphic Data Isolation for Hardware Trojan Protection.

M. Tarek Ibn Ziad, Amr Al-Anwar, Yousra Alkabani, M. Watheq El-Kharashi, Hassan Bedour

Proceedings of the 2015 IEEE Computer Society Annual Symposium on VLSI, 2015

2014

E-Voting Attacks and Countermeasures.

M. Tarek Ibn Ziad, Amr Al-Anwar, Yousra Alkabani, M. Watheq El-Kharashi, Hassan Bedour

Proceedings of the 28th International Conference on Advanced Information Networking and Applications Workshops, 2014

2013

Hardware Trojan Protection for Third Party IPs.

Amr Al-Anwar, Yousra Alkabani, M. Watheq El-Kharashi, Hassan Bedour

Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013