Show simple item record  

dc.contributor.authorMohajerani, Saharen_NZ
dc.contributor.authorMalik, Robien_NZ
dc.contributor.authorFabian, Martinen_NZ
dc.date.accessioned2016-02-03T03:39:58Z
dc.date.available2016en_NZ
dc.date.available2016-02-03T03:39:58Z
dc.date.issued2016en_NZ
dc.identifier.citationMohajerani, S., Malik, R., & Fabian, M. (2016). Compositional supervisor synthesis with state merging and transition removal (Computer Science Working Papers 02/2016). Hamilton, New Zealand: Department of Computer Science, The University of Waikato.en
dc.identifier.issn1177-777Xen_NZ
dc.identifier.urihttps://hdl.handle.net/10289/9889
dc.description.abstractThis working paper proposes a framework to obtain memory-efficient supervisors for large discrete event systems, which are least restrictive, controllable, and nonblocking. The approach combines compositional synthesis and state-based abstraction with transition removal to mitigate the state-space explosion problem and reduce the memory requirements. Hiding and nondeterminism after abstraction are also supported. To ensure least restrictiveness after transition removal, the synthesised supervisor has the form of cascaded maps representing the safe states. These maps have lower space complexity than previous automata-based supervisors. The algorithm has been implemented in the DES software tool Supremica and applied to compute supervisors for several large industrial models. The results show that supervisor maps can be computed efficiently and in many cases require less memory than automata-based supervisors.en_NZ
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.publisherDepartment of Computer Science, The University of Waikatoen_NZ
dc.relation.ispartofseriesComputer Science Working Papers
dc.rights© 2016 Sahar Mohajerani, Robi Malik, Martin Fabian
dc.titleCompositional supervisor synthesis with state merging and transition removalen_NZ
dc.typeWorking Paper
uow.relation.series02/2016
dc.relation.isPartOfWorking Paper Seriesen_NZ
pubs.confidentialfalseen_NZ
pubs.elements-id136492


Files in this item

This item appears in the following Collection(s)

Show simple item record