The paper proposes an online identification strategy for discrete event systems (DES). The identifier stores a sequence of events and the corresponding output symbols. Moreover, by solving an integer linear programming problem, an identification procedure synthesizes an interpreted Petri net (IPN) modeling the DES. More precisely, we assume that the fixed numbers of places are given and that a finite sequence of transitions and the corresponding markings are completely or partially known. Moreover, the identification algorithm working in real-time identifies the IPN assuming the DES dynamics deterministic, i.e., the event occurrence from a given state yields only one new state.
On-Line Identification of Discrete Event Systems by Interpreted Petri Nets / Dotoli, Mariagrazia; Fanti, Maria Pia; Mangini, Agostino Marcello. - (2006), pp. 3040-3045. (Intervento presentato al convegno 2006 IEEE International Conference on Systems, Man and Cybernetics tenutosi a Taipei, Taiwan nel October 8-11, 2006) [10.1109/ICSMC.2006.384582].
On-Line Identification of Discrete Event Systems by Interpreted Petri Nets
DOTOLI, Mariagrazia;FANTI, Maria Pia;MANGINI, Agostino Marcello
2006
Abstract
The paper proposes an online identification strategy for discrete event systems (DES). The identifier stores a sequence of events and the corresponding output symbols. Moreover, by solving an integer linear programming problem, an identification procedure synthesizes an interpreted Petri net (IPN) modeling the DES. More precisely, we assume that the fixed numbers of places are given and that a finite sequence of transitions and the corresponding markings are completely or partially known. Moreover, the identification algorithm working in real-time identifies the IPN assuming the DES dynamics deterministic, i.e., the event occurrence from a given state yields only one new state.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
