Observer Design for Bounded Output Synchronized Petri Nets

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 concerns discrete event systems modeled with a particular class of synchronized Petri nets that include output functions, called Output Synchronized Petri nets. Such a formalism is suitable and tractable to represent a large variety of Cyber-Physical Systems. As a preliminary result on Output Synchronized Petri nets, we propose a method to design observers for such systems based on the input control and output signal that circulate between the controller and the plant.

Mots clés: Discrete event systems; Petri nets; Cyber-security; Observer design

Domaines: Automatique; Modélisation et simulation

Rabah Ammour, Said Amari, Leonardo Brenner, Isabel Demongodin, Dimitri Lefebvre. Observer Design for Bounded Output Synchronized Petri Nets. 2021 European Control Conference (ECC), Jun 2021, Delft, Netherlands. pp.746-751, ⟨10.23919/ECC54610.2021.9655111⟩. ⟨hal-03517554⟩