Yet another approach to compositional synthesis of discrete event systems

Simple item page
dc.contributor.authorMalik, Robi
dc.contributor.authorFlordal, Hugo
dc.coverage.spatialConference held at Goteborg, Swedenen_NZ
dc.date.accessioned2009-02-03T03:10:38Z
dc.date.available2009-02-03T03:10:38Z
dc.date.issued2008
dc.description.abstractA two-pass algorithm for compositional synthesis of modular supervisors for large-scale systems of composed finite-state automata is proposed. The first pass provides an efficient method to determine whether a supervisory control problem has a solution, without explicitly constructing the synchronous composition of all components. If a solution exists, the second pass yields an over-approximation of the least restrictive solution which, if nonblocking, is a modular representation of the least restrictive supervisor. Using a new type of equivalence of nondeterministic processes, called synthesis equivalence, a wide range of abstractions can be employed to mitigate state-space explosion throughout the algorithm.en
dc.format.mimetypeapplication/pdf
dc.identifier.citationMalik, R. & Flordal, H.(2008). Yet another approach to compositional synthesis 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.16-21). Washington, DC, USA: IEEE.en
dc.identifier.doi10.1109/WODES.2008.4605916en
dc.identifier.urihttps://hdl.handle.net/10289/1990
dc.language.isoen
dc.publisherIEEEen
dc.relation.isPartOfProc 9th International Workshop on Discrete Event Systems (WODES'08)en_NZ
dc.relation.urihttp://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=4605916en
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.titleYet another approach to compositional synthesis of discrete event systemsen
dc.typeConference Contributionen
pubs.begin-page16en_NZ
pubs.elements-id17726
pubs.end-page21en_NZ
pubs.finish-date2008-05-30en_NZ
pubs.start-date2008-05-28en_NZ
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
yet another approach to compositional synthesis.pdf
Size:
134.63 KB
Format:
Adobe Portable Document Format
Thumbnail Image
Name: yet another approach to compositional synthesis.pdf
Size: 134.63 KB
Kind: Adobe PDF
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.79 KB
Format:
Item-specific license agreed upon to submission
Description:
Name: license.txt
Size: 1.79 KB
Kind: License
Collections
Computing and Mathematical Sciences Papers