Show simple item record  

dc.contributor.authorMalik, Robi
dc.contributor.authorFlordal, Hugo
dc.date.accessioned2008-05-27T23:23:53Z
dc.date.available2008-05-27T23:23:53Z
dc.date.issued2008-05-12
dc.identifier.citationMalik, R. & Flordal, H. (2008). Compositional synthesis of discrete event systems via synthesis equivalence. (Working paper 05/2008). Hamilton, New Zealand: University of Waikato, Department of Computer Science.en_US
dc.identifier.issn1177-777X
dc.identifier.urihttps://hdl.handle.net/10289/801
dc.description.abstractA two-pass algorithm for compositional synthesis of modular supervisors for largescale 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_US
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.publisherDepartment of Computer Science, University of Waikatoen_NZ
dc.relation.ispartofseriesComputer Science Working Papers
dc.subjectcomputer scienceen_US
dc.titleCompositional synthesis of discrete event systems via synthesis equivalenceen_US
dc.typeWorking Paperen_US
uow.relation.series05/2008
pubs.elements-id53605


Files in this item

This item appears in the following Collection(s)

Show simple item record