Secure-Set-Based-Estimation

This repo cotains the code for our two papers:

1- Muhammad Umar B. Niazi, Amr Alanwar, Michelle S. Chong, Karl H. Johansson "Resilient Set-based State Estimation for Linear Time-Invariant Systems Using Zonotopes" European Journal of Control ( link )

2- Muhammad Umar B. Niazi, Michelle S. Chong, Amr Alanwar, Karl H. Johansson "Secure Set-Based State Estimation for Multi-Sensor Linear Systems under Adversarial Attacks" Submitted to Automatica ( link )

Problem Statement

We consider the problem of set-based state estimation for linear time-invariant (LTI) systems under time-varying sensor attacks. Provided that the LTI system is stable and observable via every single sensor and that at least one sensor is uncompromised, we guarantee that the true state is always contained in the estimated set. We use zonotopes to represent these sets for computational efficiency. However, we show that intelligently designed stealthy attacks may cause exponential growth in the algorithm's worst-case complexity. We present several strategies to handle this complexity issue and illustrate our resilient zonotope-based state estimation algorithm on a rotating target system.

Running

1- Download CORA 2020 and MPT toolboxs.
2- Add CORA and MPT folder and subfolders to the Matlab path.
3- Add the repo folder and subfolders to the Matlab path.
4- run TwoSensorsExample.m for linear system using two sensors.
5- run FourSensorsExample.m for linear system using four sensors.
6- run BuildingExample.m for three-story building structure.

Our papers Bibtex are as follow:

@article{niazi2022resilient,
  title={Resilient Set-based State Estimation for Linear Time-Invariant Systems Using Zonotopes},
  author={Niazi, Muhammad Umar B and Alanwar, Amr and Chong, Michelle S and Johansson, Karl Henrik},
  journal={arXiv preprint arXiv:2211.08474},
  year={2022}
}