Observability in interpreted Petri nets using sequence invariants

dc.contributorAguirre-Salas, L., Centro Univ. de la Costa Sur., Departamento de Ingenierías, #151 Autlan de Navarro, Jalisco, Mexico C.P. 48900, Mexico; Begovich, O., Centro Univ. de la Costa Sur., Departamento de Ingenierías, #151 Autlan de Navarro, Jalisco, Mexico C.P. 48900, Mexico; Ramirez-Treviño, A., Centro Univ. de la Costa Sur., Departamento de Ingenierías, #151 Autlan de Navarro, Jalisco, Mexico C.P. 48900, Mexico
dc.creatorAguirre-Salas, L.
dc.creatorBegovich, O.
dc.creatorRamirez-Trevino, A.
dc.date.accessioned2015-09-15T18:32:12Z
dc.date.accessioned2023-07-04T01:42:17Z
dc.date.available2015-09-15T18:32:12Z
dc.date.available2023-07-04T01:42:17Z
dc.date.created2015-09-15T18:32:12Z
dc.date.issued2002
dc.identifierhttp://hdl.handle.net/20.500.12104/43275
dc.identifierhttp://www.scopus.com/inward/record.url?eid=2-s2.0-0036997347&partnerID=40&md5=6216796cdb74a91ebf054ad94d6c8aa7
dc.identifier.urihttps://repositorioslatinoamericanos.uchile.cl/handle/2250/7258782
dc.description.abstractThis paper addresses the observability problem In Discrete Event Systems modeled by Interpreted Petri Net (IPN). The concepts of Input and output sequence invariants of an IPN are Introduced. These sequence invariants are used to state a characterization of observable IPN, which is similar to the one presented for continues systems using a geometric approach. However, since the computation of sequence Invariants is computationally hard, the characterization of observable IPN using sequence invariants is turned Into a characterization based on the notions of event-detectability and marking-detectability.
dc.relationScopus
dc.relationProceedings of the IEEE Conference on Decision and Control
dc.relation4
dc.relation3602
dc.relation3607
dc.titleObservability in interpreted Petri nets using sequence invariants
dc.typeConference Paper


Este ítem pertenece a la siguiente institución