Generalised Nonblocking

Malik, Robi; Leduc, Ryan

Generalised Nonblocking

dc.contributor.author	Malik, Robi
dc.contributor.author	Leduc, Ryan
dc.coverage.spatial	Conference held at Goteborg, Sweden	en_NZ
dc.date.accessioned	2009-01-14T21:59:25Z
dc.date.available	2009-01-14T21:59:25Z
dc.date.issued	2008
dc.description.abstract	This 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.mimetype	application/pdf
dc.identifier.citation	Malik, 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.doi	10.1109/WODES.2008.4605969	en_NZ
dc.identifier.uri	https://hdl.handle.net/10289/1785
dc.language.iso	en
dc.publisher	IEEE Computer Society	en
dc.relation.isPartOf	Proc 9th International Workshop on Discrete Event Systems (WODES'08)	en_NZ
dc.relation.uri	http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=4605969	en
dc.rights	This 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.source	9th International Workshop on Discrete Event Systems	en_NZ
dc.subject	computer science	en
dc.title	Generalised Nonblocking	en
dc.type	Conference Contribution	en
pubs.begin-page	340	en_NZ
pubs.elements-id	17728
pubs.end-page	345	en_NZ
pubs.finish-date	2008-05-30	en_NZ
pubs.start-date	2008-05-28	en_NZ