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

Rabah Ammour (1) , Said Amari (2) , Leonardo Brenner (1) , Isabel Demongodin (1) , Dimitri Lefebvre (3)

1 MOFED - Modèles et Formalismes à Evénements Discrets
2 LURPA - Laboratoire Universitaire de Recherche en Production Automatisée
3 GREAH - Groupe de Recherche en Electrotechnique et Automatique du Havre

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.

Mots clés: Discrete event systems; cyber-physical systems; actuator attacks; observer design

Domaines: Automatique; Systèmes et contrôle [cs.SY]

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⟩