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-01-01
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.