BACK to VOLUME 41 NO.5

Kybernetika 41(5):553-574, 2005.

Geometrical Characterization of Observability in Interpreted Petri Nets

Israel Rivera-Rangel, Antonio Ramírez-Treviño, Luis I. Aguirre-Salas and José Javier Ruiz-León


Abstract:

This work is concerned with observability in Discrete Event Systems ({\sl DES}) modeled by Interpreted Petri Nets ({\sl IPN}). Three major contributions are presented. First, a novel geometric characterization of observability based on input-output equivalence relations on the marking sequences sets is presented. Later, to show that this characterization is well posed, it is applied to linear continuous systems, leading to classical characterizations of observability for continuous systems. Finally, this paper translates the geometric characte-rization of observability into structural properties of the {\sl IPN}. Thus, polynomial algorithms can be derived to check the observability in a broad class of {\sl IPN}.


Keywords: discrete event systems; observability; Petri nets;


AMS: 93C65; 93B07;


download abstract.pdf


BIB TeX

@article{kyb:2005:5:553-574,

author = {Rivera-Rangel, Israel and Ram\'{\i}rez-Trevi\~{n}o, Antonio and Aguirre-Salas, Luis I. and Ruiz-Le\'{o}n, Jos\'{e} Javier},

title = {Geometrical Characterization of Observability in Interpreted Petri Nets},

journal = {Kybernetika},

volume = {41},

year = {2005},

number = {5},

pages = {553-574}

publisher = {{\'U}TIA, AV {\v C}R, Prague },

}


BACK to VOLUME 41 NO.5