Observer design for labeled finite automata with inputs under stealthy actuators attacks - Aix-Marseille Université Access content directly
Conference Papers Year : 2022

Observer design for labeled finite automata with inputs under stealthy actuators attacks

Abstract

This paper addresses the problem of cyber-attacks in discrete-event systems framework. Labeled finite state automata with inputs derived from a particular class of Petri net, called Output Synchronized Petri nets, are used to model a given cyber-physical system along with the information that circulate between controllers and plant. Stealthy cyber-attacks that may alter the control symbols, i.e., the orders sent by the controllers to the actuators, are considered. The objective is to construct an observer that uses both input and output information to provide a state estimation of the system under such stealthy actuators attacks. This observer provides a refined state estimation related to both normal and attack conditions.
Fichier principal
Vignette du fichier
WODES_2022.pdf (1.63 Mo) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03879792 , version 1 (30-11-2022)

Identifiers

Cite

Rabah Ammour, Said Amari, Leonardo Brenner, Isabel Demongodin, Dimitri Lefebvre. Observer design for labeled finite automata with inputs under stealthy actuators attacks. 16th IFAC Workshop on Discrete Event Systems WODES, Sep 2022, Prague, Czech Republic. pp.46-51, ⟨10.1016/j.ifacol.2022.10.322⟩. ⟨hal-03879792⟩
46 View
67 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More