Identification of Discrete Event Systems Unobservable Behaviour by Petri nets using Language Projections

Abstract : The aim of behavioural identification of Discrete Event Systems is to build, from a sequence of observed inputs/outputs events, a model that exhibits both the direct relations between inputs and outputs events (i.e. the reactive or observable behaviour of the system) and the internal state evolutions (i.e. the unobservable behaviour). Once the observable behaviour has been modelled by an Interpreted Petri net, the method proposed in this paper aims at discovering the unobservable part from a firing sequence of previously discovered observable transitions. The principle is to project the firing sequence on subalphabets to discover specific patterns that are characteristic of dependancy relationships between the transitions. These relationships can be translated into Petri net structure fragments that will be assembled to form the final model. A parametric algorithm is proposed to conduct the discovery, the choice of the minimal degree of places as a parameter being motivated by the reduction of the search space and the fitness of the final model.
Document type :
Conference papers
Complete list of metadatas

Cited literature [14 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01180594
Contributor : Jérémie Saives <>
Submitted on : Monday, July 27, 2015 - 3:59:55 PM
Last modification on : Friday, February 17, 2017 - 4:12:35 PM
Long-term archiving on : Wednesday, October 28, 2015 - 11:01:12 AM

File

ECC2015_SaivesFarautLesage.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01180594, version 1

Citation

Jeremie Saives, Gregory Faraut, Jean-Jacques Lesage. Identification of Discrete Event Systems Unobservable Behaviour by Petri nets using Language Projections. IEEE European Control Conference 2015, ECC'15, Johannes Kepler University, Jul 2015, Linz, Austria. ⟨hal-01180594⟩

Share

Metrics

Record views

259

Files downloads

353