Download PDFOpen PDF in browser

Secure state estimation for Cyber-Physical Systems

9 pagesPublished: January 6, 2018

Abstract

In Cyber-Physical Systems (CPSs), physical processes, computational resources and communi- cation capabilities are tightly interconnected. Traditionally, the physical components of a CPS are described by means of differential or difference equations, while the cyber components are modeled by means of discrete dynamics. Therefore, hybrid systems, that are heterogeneous dynamical sys- tems characterized by the interaction of continuous and discrete dynamics, are a powerful modeling framework to deal with CPSs. Motivated by the great importance of security issues for CPSs, we characterize the observability and diagnosability properties for hybrid systems in the general case where the available information may be corrupted by an external attacker. Then, as CPSs are found in a wide range of applications, we demonstrate how to estimate the continuous state by simulating two scenarios: the control of a Direct Current (DC) Microgrid, and the control of a network of Unmanned Aerial Vehicles (UAVs) cooperatively transporting a payload.

Keyphrases: Diagnosability, hybrid systems, observability, Secure State Estimation, sparse attacks

In: Marina Zanella, Ingo Pill and Alessandro Cimatti (editors). 28th International Workshop on Principles of Diagnosis (DX'17), vol 4, pages 12--20

Links:
BibTeX entry
@inproceedings{DX'17:Secure_state_estimation_for,
  author    = {Gabriella Fiore},
  title     = {Secure state estimation for Cyber-Physical Systems},
  booktitle = {28th International Workshop on Principles of Diagnosis (DX'17)},
  editor    = {Marina Zanella and Ingo Pill and Alessandro Cimatti},
  series    = {Kalpa Publications in Computing},
  volume    = {4},
  pages     = {12--20},
  year      = {2018},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {https://easychair.org/publications/paper/Mfmj},
  doi       = {10.29007/z1sj}}
Download PDFOpen PDF in browser