Show simple item record  

dc.contributor.authorWare, Simon
dc.contributor.authorMalik, Robi
dc.coverage.spatialConference held at Goteborg, Swedenen_NZ
dc.date.accessioned2009-01-14T22:15:08Z
dc.date.available2009-01-14T22:15:08Z
dc.date.issued2008
dc.identifier.citationWare, S. & Malik, R.(2008). The use of language projection for compositional verification of discrete event systems. 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.322-327). Washington, DC, USA: IEEE Computer Society.en
dc.identifier.urihttps://hdl.handle.net/10289/1786
dc.description.abstractThis paper proposes the use of abstraction by language projection to improve the performance of compositional verification to prove or disprove that a large system of composed finite-state machines satisfies a given safety property. Algorithms are presented for the automatic verification of language inclusion and controllability for discrete event systems, and are applied to a set realistic industrial examples. The experimental results suggest that the method can improve performance considerably, particularly in cases where previous methods of compositional verification fail because a large number of automata need to be considered.en
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.publisherIEEE Computer Societyen
dc.relation.urihttp://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=4605966en
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.titleThe Use of Language Projection for Compositional Verification of Discrete Event Systemsen
dc.typeConference Contributionen
dc.identifier.doi10.1109/WODES.2008.4605966en_NZ
dc.relation.isPartOfProc 9th International Workshop on Discrete Event Systems (WODES'08)en_NZ
pubs.begin-page322en_NZ
pubs.elements-id17727
pubs.end-page327en_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