Off-line identification of concurrent Discrete Event Systems exhibiting cyclic behaviour

Ana P. Estrada-Vargas, E. Lopez-Mellado, Jean-Jacques Lesage
2009 2009 IEEE International Conference on Systems, Man and Cybernetics  
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;
more » ... hen sequences of -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.
doi:10.1109/icsmc.2009.5346599 dblp:conf/smc/Estrada-VargasLL09 fatcat:vguhhajrbbhz7awtsvf333lc7i