Show simple item record  

dc.contributor.authorMalik, Robien_NZ
dc.contributor.authorTeixeira, Marceloen_NZ
dc.date.accessioned2018-11-06T21:57:21Z
dc.date.available2018en_NZ
dc.date.available2018-11-06T21:57:21Z
dc.date.issued2018en_NZ
dc.identifier.citationMalik, R., & Teixeira, M. (2018). Framework and proofs for synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction (Working paper No. 03/2018). Hamilton, New Zealand: Department of Computer Science, The University of Waikato.en
dc.identifier.issn1177-777Xen_NZ
dc.identifier.urihttps://hdl.handle.net/10289/12140
dc.description.abstractThis working paper presents an algorithm that combines modular synthesis for extended finite-state machines (EFSM) with abstraction of variables by symbolic manipulation, in order to compute least restrictive controllable supervisors. Given a modular EFSM system consisting of several components, the proposed algorithm synthesises a separate supervisor for each specification component. To synthesise each supervisor, the algorithm iteratively selects components (plants and variables) from a synchronous composition until a least restrictive controllable solution is obtained. This improves on previous results of the authors where abstraction is only performed by the selection of components and not variables. The working paper explains the theory of EFSM synthesis and abstraction and includes formal proofs of all results. An example of a flexible manufacturing system illustrates how the proposed algorithm works to compute a modular supervisor.
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© 2018 The Authors
dc.subjectcomputer scienceen_NZ
dc.titleFramework and proofs for synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstractionen_NZ
dc.typeWorking Paper
uow.relation.series03/2018
pubs.confidentialfalseen_NZ
pubs.elements-id227200
pubs.place-of-publicationHamilton, New Zealand


Files in this item

This item appears in the following Collection(s)

Show simple item record