Show simple item record  

dc.contributor.authorMalik, Robi
dc.contributor.authorLeduc, Ryan
dc.coverage.spatialConference held at Goteborg, Swedenen_NZ
dc.date.accessioned2009-01-14T21:59:25Z
dc.date.available2009-01-14T21:59:25Z
dc.date.issued2008
dc.identifier.citationMalik, R & Leduc, R.(2008). Generalised Nonblocking. In B. Lennartson, M. Fabian, K. Åkesson, A. Giua & R. Kumar(Eds), Proceedings of 9th International Workshop on Discrete Event Systems (WODES'08). IEEE, Göteborg, Sweden; 28-30 May, 2008(pp.340-345). Washington, DC, USA: IEEE Computer Society.en
dc.identifier.urihttps://hdl.handle.net/10289/1785
dc.description.abstractThis paper studies the nonblocking check used in supervisory control of discrete event systems and its limitations. Different examples with different liveness requirements are discussed. It is shown that the standard nonblocking check can be used to specify most requirements of interest, but that it lacks expressive power in a few cases. A generalised nonblocking check is proposed to overcome the weakness, and its relationship to standard nonblocking is explored. Results suggest that generalised nonblocking, while having the same useful properties with respect to synthesis and compositional verification, can provide for more concise problem representations in some cases.en
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.publisherIEEE Computer Societyen
dc.relation.urihttp://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=4605969en
dc.rightsThis article has been published in the Proceedings of 9th International Workshop on Discrete Event Systems (WODES'08). IEEE, Göteborg, Sweden; 28-30 May, 2008. ©2008 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.en
dc.source9th International Workshop on Discrete Event Systemsen_NZ
dc.subjectcomputer scienceen
dc.titleGeneralised Nonblockingen
dc.typeConference Contributionen
dc.identifier.doi10.1109/WODES.2008.4605969en_NZ
dc.relation.isPartOfProc 9th International Workshop on Discrete Event Systems (WODES'08)en_NZ
pubs.begin-page340en_NZ
pubs.elements-id17728
pubs.end-page345en_NZ
pubs.finish-date2008-05-30en_NZ
pubs.start-date2008-05-28en_NZ


Files in this item

This item appears in the following Collection(s)

Show simple item record