Geodesic
Geometrical characterization of observability in Interpreted Petri Nets
Kybernetika, Tome 41 (2005) no. 5, p. [553]

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

This work is concerned with observability in Discrete Event Systems (DES) modeled by Interpreted Petri Nets (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 IPN. Thus, polynomial algorithms can be derived to check the observability in a broad class of IPN.
Classification : 68Q85, 93B07, 93C65
Keywords: discrete event systems; observability; Petri nets 
@article{KYB_2005__41_5_a0,
     author = {Rivera-Rangel, Israel and Ram{\'\i}rez-Trevi\~no, Antonio and Aguirre-Salas, Luis I. and Ruiz-Le\'on, Javier},
     title = {Geometrical characterization of observability in {Interpreted} {Petri} {Nets}},
     journal = {Kybernetika},
     pages = {[553]},
     publisher = {mathdoc},
     volume = {41},
     number = {5},
     year = {2005},
     mrnumber = {2192423},
     zbl = {1249.93126},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_2005__41_5_a0/}
}
TY  - JOUR
AU  - Rivera-Rangel, Israel
AU  - Ramírez-Treviño, Antonio
AU  - Aguirre-Salas, Luis I.
AU  - Ruiz-León, Javier
TI  - Geometrical characterization of observability in Interpreted Petri Nets
JO  - Kybernetika
PY  - 2005
SP  - [553]
VL  - 41
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/KYB_2005__41_5_a0/
LA  - en
ID  - KYB_2005__41_5_a0
ER  - 
%0 Journal Article
%A Rivera-Rangel, Israel
%A Ramírez-Treviño, Antonio
%A Aguirre-Salas, Luis I.
%A Ruiz-León, Javier
%T Geometrical characterization of observability in Interpreted Petri Nets
%J Kybernetika
%D 2005
%P [553]
%V 41
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/KYB_2005__41_5_a0/
%G en
%F KYB_2005__41_5_a0
Rivera-Rangel, Israel; Ramírez-Treviño, Antonio; Aguirre-Salas, Luis I.; Ruiz-León, Javier. Geometrical characterization of observability in Interpreted Petri Nets. Kybernetika, Tome 41 (2005) no. 5, p. [553]. http://geodesic.mathdoc.fr/item/KYB_2005__41_5_a0/