Show simple item record  

dc.contributor.authorMalik, Robien_NZ
dc.coverage.spatialGothenburg, Swedenen_NZ
dc.date.accessioned2016-05-22T22:11:56Z
dc.date.available2015en_NZ
dc.date.available2016-05-22T22:11:56Z
dc.date.issued2015en_NZ
dc.identifier.citationMalik, R. (2015). Advanced selfloop removal in compositional nonblocking verification of discrete event systems. In Proceeding of IEEE International Conference on Automation Science and Engineering, Gothenburg, Sweden, 24-28 August, 2015 (pp. 819–824). USA: IEEE. http://doi.org/10.1109/CoASE.2015.7294182en
dc.identifier.urihttps://hdl.handle.net/10289/10254
dc.description.abstractThis paper investigates possible improvements of abstraction to simplify finite-state machines during compositional nonblocking verification of large discrete event systems. Current methods to simplify finite-state machines depend on the absence of transitions from the states to be simplified, and selfloop transitions, i.e., transitions with the same source and target state, are a common culprit that prevents simplification. Some methods to remove such selfloops are known, but they require events that appear on selfloops in the entire finitestate machine to be simplified. The methods described in this paper improve on this, because they allow for the removal of individual selfloop transitions from a finite-state machine while preserving conflict equivalence. This makes it possible to remove more transitions, thus reducing the computational effort of compositional nonblocking verification. Two abstraction rules are proposed, and experimental results show the potential of improvement over previously used methods.
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.publisherIEEEen_NZ
dc.rightsThis is an author’s accepted version of an article published in the Proceeding of IEEE International Conference on Automation Science and Engineering. ©2015 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 servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
dc.sourceCASE 2015en_NZ
dc.subjectcomputer science
dc.subjectDiscrete event systems
dc.subjectfinite-state machines
dc.subjectnonblocking
dc.subjectmodel checking
dc.subjectcompositional verification
dc.titleAdvanced selfloop removal in compositional nonblocking verification of discrete event systemsen_NZ
dc.typeConference Contribution
dc.identifier.doi10.1109/CoASE.2015.7294182en_NZ
dc.relation.isPartOfProceeding of IEEE International Conference on Automation Science and Engineeringen_NZ
pubs.begin-page819
pubs.elements-id131164
pubs.end-page824
pubs.finish-date2015-08-28en_NZ
pubs.organisational-group/Waikato
pubs.organisational-group/Waikato/FCMS
pubs.organisational-group/Waikato/FCMS/Computer Science
pubs.start-date2015-08-24en_NZ
pubs.volume2015-Octoberen_NZ


Files in this item

This item appears in the following Collection(s)

Show simple item record