Show simple item record  

dc.contributor.authorMalik, Robien_NZ
dc.contributor.authorTeixeira, Marceloen_NZ
dc.date.accessioned2020-06-17T23:17:48Z
dc.date.available2020en_NZ
dc.date.available2020-06-17T23:17:48Z
dc.date.issued2020en_NZ
dc.identifier.citationMalik, R., & Teixeira, M. (2020). Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction. Discrete Event Dynamic Systems: Theory and Applications. https://doi.org/10.1007/s10626-019-00302-zen
dc.identifier.issn0924-6703en_NZ
dc.identifier.urihttps://hdl.handle.net/10289/13638
dc.description.abstractThis 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 paper explains the theory of EFSM synthesis and abstraction and its algorithms. An example of a flexible manufacturing system illustrates how the proposed algorithm works to compute a modular supervisor.
dc.format.mimetypeapplication/pdf
dc.language.isoenen_NZ
dc.publisherSpringeren_NZ
dc.rightsThis is a post-peer-review, pre-copyedit version of an article published in Discrete Event Dynamic Systems: Theory and Applications. The final authenticated version is available online at: 10.1007/s10626-019-00302-z
dc.subjectScience & technologyen_NZ
dc.subjectTechnologyen_NZ
dc.subjectPhysical sciencesen_NZ
dc.subjectAutomation & control systemsen_NZ
dc.subjectOperations research & management scienceen_NZ
dc.subjectMathematics, Applieden_NZ
dc.subjectMathematicsen_NZ
dc.subjectSupervisory controlen_NZ
dc.subjectDiscrete event systemsen_NZ
dc.subjectExtended finite-state machinesen_NZ
dc.subjectDiscrete-event systemsen_NZ
dc.subjectModular Controlen_NZ
dc.subjectVerificationen_NZ
dc.subjectFrameworken_NZ
dc.titleSynthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstractionen_NZ
dc.typeJournal Article
dc.identifier.doi10.1007/s10626-019-00302-zen_NZ
dc.relation.isPartOfDiscrete Event Dynamic Systems: Theory and Applicationsen_NZ
pubs.elements-id252307
pubs.publication-statusPublisheden_NZ
dc.identifier.eissn1573-7594en_NZ


Files in this item

This item appears in the following Collection(s)

Show simple item record