Search Results for author: Amr Alanwar

Found 18 papers, 12 papers with code

Event-Triggered Diffusion Kalman Filters

1 code implementation1 Nov 2017 Amr Alanwar, Hazem Said, Ankur Mehta, Matthias Althoff

Distributed state estimation strongly depends on collaborative signal processing, which often requires excessive communication and computation to be executed on resource-constrained sensor nodes.

Systems and Control Robotics Signal Processing

D-SLATS: Distributed Simultaneous Localization and Time Synchronization

no code implementations10 Nov 2017 Amr Alanwar, Henrique Ferraz, Kevin Hsieh, Rohit Thazhath, Paul Martin, Joao Hespanha, Mani Srivastava

Therefore, we propose D-SLATS, a framework comprised of three different and independent algorithms to jointly solve time synchronization and localization problems in a distributed fashion.

Distributed Set-Based Observers Using Diffusion Strategies

2 code implementations23 Mar 2020 Amr Alanwar, Jagat Jyoti Rath, Hazem Said, Karl Henrik Johansson, Matthias Althoff

Both algorithms utilize a set-based diffusion step, which decreases the estimation errors and the size of estimated sets, and can be seen as a lightweight approach to achieve partial consensus between the distributed estimated sets.

Privacy Preserving Set-Based Estimation Using Partially Homomorphic Encryption

1 code implementation19 Oct 2020 Amr Alanwar, Victor Gassmann, Xingkang He, Hazem Said, Henrik Sandberg, Karl Henrik Johansson, Matthias Althoff

The set-based estimation has gained a lot of attention due to its ability to guarantee state enclosures for safety-critical systems.

Cryptography and Security Robotics

Data-Driven Reachability Analysis Using Matrix Zonotopes

1 code implementation17 Nov 2020 Amr Alanwar, Anne Koch, Frank Allgöwer, Karl Henrik Johansson

In this paper, we propose a data-driven reachability analysis approach for unknown system dynamics.

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

1 code implementation26 Jan 2021 Amr Alanwar, Alexander Berndt, Karl Henrik Johansson, Henrik Sandberg

We propose a method to perform set-based state estimation of an unknown dynamical linear system using a data-driven set propagation function.

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

no code implementations2 Mar 2021 Vandana Narri, Amr Alanwar, Jonas Mårtensson, Christoffer Norén, Laura Dal Col, Karl Henrik Johansson

Depending on the ego-vehicle's ability to fuse information from sensors in other vehicles or in the infrastructure, shared situational awareness is developed using a set-based estimation technique that provides robust guarantees for the location of the pedestrian.

Robust Data-Driven Predictive Control using Reachability Analysis

1 code implementation25 Mar 2021 Amr Alanwar, Yvonne Stürz, Karl Henrik Johansson

Instead of depending on a system model in traditional predictive control, a controller utilizing data-driven reachable regions is proposed.

Model Predictive Control

Data-Driven Reachability Analysis from Noisy Data

1 code implementation15 May 2021 Amr Alanwar, Anne Koch, Frank Allgöwer, Karl Henrik Johansson

We consider the problem of computing reachable sets directly from noisy data without a given system model.

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

no code implementations8 Nov 2021 Amr Alanwar, Muhammad Umar B. Niazi, Karl H. Johansson

The offline phase utilizes past input-output data to estimate a set of possible coefficients of the polynomial system.

Safe Reinforcement Learning Using Black-Box Reachability Analysis

1 code implementation15 Apr 2022 Mahmoud Selim, Amr Alanwar, Shreyas Kousik, Grace Gao, Marco Pavone, Karl H. Johansson

Reinforcement learning (RL) is capable of sophisticated motion planning and control for robots in uncertain environments.

Motion Planning reinforcement-learning +2

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

1 code implementation16 Oct 2022 Amr Alanwar, Frank J. Jiang, Samy Amin, Karl H. Johansson

A logical zonotope, which is a new set representation for binary vectors, is introduced in this paper.

Robust Data-Driven Predictive Control of Unknown Nonlinear Systems using Reachability Analysis

1 code implementation10 Nov 2022 Mahsa Farjadnia, Amr Alanwar, Muhammad Umar B. Niazi, Marco Molinari, Karl Henrik Johansson

By using the past noisy input-output data in the learning phase, we propose a novel method to over-approximate reachable sets of an unknown nonlinear system.

Resilient Set-based State Estimation for Linear Time-Invariant Systems Using Zonotopes

1 code implementation15 Nov 2022 Muhammad Umar B. Niazi, Amr Alanwar, Michelle S. Chong, Karl Henrik Johansson

This paper considers the problem of set-based state estimation for linear time-invariant (LTI) systems under time-varying sensor attacks.

Computational Efficiency

Safe Reinforcement Learning using Data-Driven Predictive Control

no code implementations20 Nov 2022 Mahmoud Selim, Amr Alanwar, M. Watheq El-Kharashi, Hazem M. Abbas, Karl H. Johansson

If there is an intersection between the reachable set of the robot using the proposed action, we call the data-driven predictive controller to find the closest safe action to the proposed unsafe action.

Continuous Control Decision Making +3

Data-Driven Reachability Analysis of Pedestrians Using Behavior Modes

no code implementations21 Aug 2023 August Söderlund, Frank J. Jiang, Vandana Narri, Amr Alanwar, Karl H. Johansson

Previous approaches to predicting the future state sets of pedestrians either do not provide safety guarantees or are overly conservative.

Descriptive

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

1 code implementation10 Sep 2023 Muhammad Umar B. Niazi, Michelle S. Chong, Amr Alanwar, Karl H. Johansson

When a strategic adversary can attack multiple sensors of a system and freely choose a different set of sensors at different times, how can we ensure that the state estimate remains uncorrupted by the attacker?

Formal Verification with Constrained Polynomial Logical Zonotope

no code implementations27 Mar 2024 Ahmad Hafez, Frank J. Jiang, Karl H. Johansson, Amr Alanwar

To address this, we formulate constrained polynomial logical zonotopes, which maintain the computational efficiency and exactness of polynomial logical zonotopes for reachability analysis while supporting exact intersections.

Cannot find the paper you are looking for? You can Submit a new open access paper.