Observer Design for Bounded Output Synchronized Petri Nets
Abstract
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.
Fichier principal
Projet_CPSecurity_ECC2021__Final_submission_.pdf (426.36 Ko)
Télécharger le fichier
Origin : Files produced by the author(s)