Skip to Main content Skip to Navigation
Theses

Black-Box identification of automated discrete event systems

Abstract : This thesis deals with the identification of automated discrete event systems (DES) operating in an industrial context. In particular the work focuses on the systems composed by a plant and a programmable logic controller (PLC) operating in a closed loop- the identification consists in obtaining an approximate model expressed in interpreted Petri nets (IPN) from the observed behaviour given under the form of a single sequence of input-output vectors of the PLC. First, an overview of previous works on identification of DES is presented as well as a comparative study of the main recent approaches on the matter. Then the addressed problem is stated- important technological characteristics of automated systems and PLC are detailed. Such characteristics must be considered in solving the identification problem, but they cannot be handled by previous identification techniques. The main contribution in this thesis is the creation of two complementary identification methods. The first method allows constructing systematically an IPN model from a single input-output sequence representing the observable behaviour of the DES. The obtained IPN models describe in detail the evolution of inputs and outputs during the system operation. The second method has been conceived for addressing large and complex industrial DES- it is based on a statistical approach yielding compact and expressive IPN models. It consists of two stages- the first one obtains, from the input-output sequence, the reactive part of the model composed by observable places and transitions. The second stage builds the non observable part of the model including places that ensure the reproduction of the observed input-output sequence. The proposed methods, based on polynomial-time algorithms, have been implemented in software tools, which have been tested with input-output sequences obtained from real systems in operation. The tools are described and their application is illustrated through two case studies.
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00846194
Contributor : Abes Star :  Contact
Submitted on : Thursday, July 18, 2013 - 4:32:49 PM
Last modification on : Tuesday, June 27, 2017 - 12:12:18 PM
Document(s) archivé(s) le : Wednesday, April 5, 2017 - 2:39:13 PM

File

EstradaVargas2013.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-00846194, version 1

Collections

Citation

Ana Paula Estrada Vargas. Black-Box identification of automated discrete event systems. Other. École normale supérieure de Cachan - ENS Cachan, 2013. English. ⟨NNT : 2013DENS0006⟩. ⟨tel-00846194⟩

Share

Metrics

Record views

597

Files downloads

634