Search

Your search keyword '"Carla Seatzu"' showing total 372 results
Start Over Author "Carla Seatzu"
372 results on '"Carla Seatzu"'

1. Selection of a stealthy and harmful attack function in discrete event systems

Author

Qi Zhang, Carla Seatzu, Zhiwu Li, and Alessandro Giua

Subjects
Medicine, Science
Abstract

Abstract In this paper we consider the problem of joint state estimation under attack in partially-observed discrete event systems. An operator observes the evolution of the plant to evaluate its current states. The attacker may tamper with the sensor readings received by the operator inserting dummy events or erasing real events that have occurred in the plant with the goal of preventing the operator from computing the correct state estimation. An attack function is said to be harmful if the state estimation consistent with the correct observation and the state estimation consistent with the corrupted observation satisfy a given misleading relation. On the basis of an automaton called joint estimator, we show how to compute a supremal stealthy joint subestimator that allows the attacker to remain stealthy, no matter what the future evolution of the plant is. Finally, we show how to select a stealthy and harmful attack function based on such a subestimator.

Published
2022
Full Text
View/download PDF

2. Joint State Estimation Under Attack of Discrete Event Systems

Author

Qi Zhang, Carla Seatzu, Zhiwu Li, and Alessandro Giua

Subjects
Discrete event systems, state estimation, cyber attacks, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
Abstract

The problem of state estimation in the setting of partially-observed discrete event systems subject to cyber attacks is considered. An operator observes a plant through a natural projection that hides the occurrence of certain events. The objective of the operator is that of estimating the current state of the system. The observation is corrupted by an attacker which can tamper with the readings of a set of sensors thus inserting some fake events or erasing some observations. The aim of the attacker is that of altering the state estimation of the operator. An automaton, called joint estimator, is defined to describe the set of all possible attacks. In more details, an unbounded joint estimator is obtained by concurrent composition of two state observers, the attacker observer and the operator observer. The joint estimator shows, for each possible corrupted observation, the joint state estimation, i.e., the set of states consistent with the uncorrupted observation and the set of states consistent with the corrupted observation. Such a structure can be used to establish if an attack function is harmful w.r.t. a misleading relation. Our approach is also extended to the case in which the attacker may insert at most $n$ events between two consecutive observations.

Published
2021
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results