Show simple item record  

dc.contributor.authorPena, Patricia N.
dc.contributor.authorBravo, H. J.
dc.contributor.authorda Cunha, A. E. C.
dc.contributor.authorMalik, Robi
dc.contributor.authorLafortune, S.
dc.contributor.authorCury, José E. R.
dc.date.accessioned2015-06-09T00:09:30Z
dc.date.available2014
dc.date.available2015-06-09T00:09:30Z
dc.date.issued2014
dc.identifier.citationPena, P. N., Bravo, H. J., da Cunha, A. E. C., Malik, R., Lafortune, S., & Cury, J. E. R. (2014). Verification of the observer property in discrete event systems. IEEE Transactions on Automatic Control, 59(8), 2176–2181. http://doi.org/10.1109/TAC.2014.2298985en
dc.identifier.issn0018-9286
dc.identifier.urihttps://hdl.handle.net/10289/9360
dc.description.abstractThe observer property is an important condition to be satisfied by abstractions of Discrete Event System (DES) models. This technical note presents a new algorithm that tests if an abstraction of a DES obtained through natural projection has the observer property. The procedure, called OP-Verifier, can be applied to (potentially nondeterministic) automata, with no restriction on the existence of cycles of 'non-relevant' events. This procedure has quadratic complexity in the number of states. The performance of the algorithm is illustrated by a set of experiments.
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.publisherInstitute of Electrical and Electronics Engineers Inc.
dc.rightsThis is an author’s accepted version of an article published in the journal: IEEE Transactions on Automatic Control. © 2014 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to severs or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
dc.subjectdiscrete event systems
dc.subjectnatural projections
dc.subjectobserver property
dc.titleVerification of the observer property in discrete event systems
dc.typeJournal Article
dc.identifier.doi10.1109/TAC.2014.2298985
dc.relation.isPartOfIEEE Transactions on Automatic Control
pubs.begin-page2176
pubs.elements-id85362
pubs.end-page2181
pubs.issue8
pubs.publisher-urlhttp://dx.doi.org/10.1109/TAC.2014.2298985
pubs.volume59


Files in this item

This item appears in the following Collection(s)

Show simple item record