An original petri net state estimation by a reduced luengerger observer
KOENIG ; BOURJIJ
Type de document
COMMUNICATION AVEC ACTES INTERNATIONAL (ACTI)
Langue
anglais
Auteur
KOENIG ; BOURJIJ
Résumé / Abstract
An original approach for Petri Net (PN) state estimation and verification is proposed and experimental results are given. This methodology is based on a reference model, for partially known discrete event systems modelled by generalized Petri Nets. With the help of the theory of generalized state-space systems, an extended reduced luenberger observer is proposed to reconstruct the marking and the firing count, and gives alternate way for PN state computing. The necessary and sufficient existence conditions of this estimator are given and proving. This diagnosis methodology is implemented on a basic example, and simulation results show the efficiency of this approach.