An Optimization-Based Approach to Discover the Unobservable Behavior of a Discrete-Event System Through Interpreted Petri Nets - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue IEEE Transactions on Automation Science and Engineering Année : 2019

An Optimization-Based Approach to Discover the Unobservable Behavior of a Discrete-Event System Through Interpreted Petri Nets

Résumé

This paper deals with the problem of discovering a Petri Net model of a discrete event system, starting from the observation of long event sequences. Precisely, given an Interpreted Petri Net (IPN) system modelling the relations between input and output events of the system (i.e. the reactive/observable behaviour), the internal state evolutions of the system (i.e. the unobservable behaviour) are firstly discovered and then modelled. The proposed unobservable discovery takes advantage of the novel concept of interpreted sequences, which better characterize the system and model the behaviour by considering both observable markings (outputs) and transition firings (in-puts). The unobservable modelling is approached as a net synthesis problem. It relies on an optimization-based procedure that identifies the complementary structure; in particular, places only are added to the original model. Note to Practitioners. Black-box identification procedures process an input/output sequence recorded for a long period of time during the functioning of a closed-loop controlled system, and then return a model of the system. However, even if these models simulate well the recorded sequence, they are not very accurate. Indeed, they simulate also other sequences, that in general are not admitted by the real system. The method proposed here aims to make more accurate these models by discovering the unobservable behaviour of a controlled system, related to evolutions of the internal state (and variables) of the system without changing the capability of simulating the observed behaviour.
Fichier principal
Vignette du fichier
BasileFerraraLesage18_final version.pdf (1.96 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02369807 , version 1 (19-11-2019)

Identifiants

Citer

Francesco Basile, Gregory Faraut, Luigi Ferrara, Jean-Jacques Lesage. An Optimization-Based Approach to Discover the Unobservable Behavior of a Discrete-Event System Through Interpreted Petri Nets. IEEE Transactions on Automation Science and Engineering, 2019, pp.1-15. ⟨10.1109/TASE.2019.2944299⟩. ⟨hal-02369807⟩
39 Consultations
93 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More