Off-line Identification of Concurrent Discrete Event Systems Exhibiting Cyclic Behaviour

Ana Paula Estrada-Vargas (1) , E. López-Mellado (1) , Jean-Jacques Lesage (2)

1 CINVESTAV - Centro de Investigacion y de Estudios Avanzados del Instituto Politécnico Nacional
2 LURPA - Laboratoire Universitaire de Recherche en Production Automatisée

This paper presents a method for the identification of concurrent Discrete Event Systems (DES) from input-output sequences representing the observed behavior. The proposed off-line technique yields an input-output model expressed as an Interpreted Petri net (IPN), which represents exactly the language than that generated by the observed system, which may include cyclic sequences. First, a sample of inputoutput vectors words are processed for obtaining sequences of output changes called events; then sequences of k-length event traces are built and represented by an IPN model composed by non measurable places. Then measurable places are added; they are related to transitions representing pertinent output changes. Finally inputs are associated to transitions and implicit non measurable places are removed.

Domaines: Automatique / Robotique

Ana Paula Estrada-Vargas, E. López-Mellado, Jean-Jacques Lesage. Off-line Identification of Concurrent Discrete Event Systems Exhibiting Cyclic Behaviour. IEEE 2009 International Conference on Systems, Man, and Cybernetics, Oct 2009, San Antonio, Texas, United States. pp. 187-192. ⟨hal-00425187⟩