The paper proves some properties of a previously proposed identification algorithm that builds on line the Petri net model of discrete event systems (DES). The procedure uses the real time observation of the DES events and the corresponding available output vectors that partially provide the place markings. The paper shows how the considered identification method allows us to define a supervisory controller via monitor places enforcing generalized mutual exclusion constraints. To show the efficiency of the proposed approach, a communication gateway case study is presented.
On Line Identification of Discrete Event Systems via Petri Nets: an Application to Monitor Specification / Dotoli, Mariagrazia; Fanti, Maria Pia; Mangini, Agostino Marcello. - (2007), pp. 893-898. (Intervento presentato al convegno IEEE International Conference on Automation Science and Engineering, CASE 2007 tenutosi a Scottsdale, AZ nel September 22-25, 2007) [10.1109/COASE.2007.4341704].
On Line Identification of Discrete Event Systems via Petri Nets: an Application to Monitor Specification
DOTOLI, Mariagrazia;FANTI, Maria Pia;MANGINI, Agostino Marcello
2007-01-01
Abstract
The paper proves some properties of a previously proposed identification algorithm that builds on line the Petri net model of discrete event systems (DES). The procedure uses the real time observation of the DES events and the corresponding available output vectors that partially provide the place markings. The paper shows how the considered identification method allows us to define a supervisory controller via monitor places enforcing generalized mutual exclusion constraints. To show the efficiency of the proposed approach, a communication gateway case study is presented.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
