Skip to Main content Skip to Navigation

Blackbox Behavioural Identification of Discrete Event Systems by Interpreted Petri Nets

Abstract : This thesis proposes a method to identify compact and expressive models of closed-loop reactive Discrete Event Systems (DES), for reverse-engineering or certification. The identification is passive, and blackbox, accessible knowledge being limited to input/output signals. Interpreted Petri Nets (IPN) represent both the observable behaviour (direct input/output causalities) and the unobservable behaviour (internal state evolutions) of the system. This thesis aims at identifying IPN models from an observed sequence of I/O vectors. The proposed contributions extend previous results towards scalability, to deal with realistic systems who exhibit concurrency.Firstly, the construction of the observable part of the IPN is improved by the addition of a filter limiting the effect of concurrency. It detects and removes spurious synchronizations caused by the controller. Then, a new approach is proposed to improve the discovery of the unobservable part. It is based on the use of projections and guarantees the reproduction of the observed behaviour, despite concurrency. An efficient heuristic is proposed to compute a model adapted to reverse-engineering, limiting the computational cost. Finally, a distributed approach is proposed to further reduce the computational cost, by automatically partitioning the system into subsystems. The efficiency of the cumulative effect of these contributions is validated on a system of realistic size.
Document type :
Complete list of metadata
Contributor : ABES STAR :  Contact
Submitted on : Thursday, September 1, 2016 - 11:16:47 AM
Last modification on : Saturday, June 25, 2022 - 10:21:36 PM


Version validated by the jury (STAR)


  • HAL Id : tel-01358280, version 2


Jérémie Saives. Blackbox Behavioural Identification of Discrete Event Systems by Interpreted Petri Nets. Automatic Control Engineering. Université Paris-Saclay, 2016. English. ⟨NNT : 2016SACLN018⟩. ⟨tel-01358280v2⟩



Record views


Files downloads