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-11-19T18:51:29Z
dc.date.accessioned2022-11-02T15:12:14Z
dc.date.available2015-11-19T18:51:29Z
dc.date.available2022-11-02T15:12:14Z
dc.date.created2015-11-19T18:51:29Z
dc.date.issued2002
dc.identifierhttp://hdl.handle.net/20.500.12104/66641
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/5010613
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.relationProceedings of the IEEE Conference on Decision and Control
dc.relation4
dc.relation3602
dc.relation3607
dc.relationScopus
dc.titleObservability in interpreted Petri nets using sequence invariants
dc.typeConference Paper


Este ítem pertenece a la siguiente institución