Show simple item record  

dc.contributor.authorMalik, Robien_NZ
dc.contributor.authorTeixeira, Marceloen_NZ
dc.contributor.editorCassandras, CGen_NZ
dc.contributor.editorGiua, Aen_NZ
dc.contributor.editorLi, ZWen_NZ
dc.coverage.spatialXian, Chinaen_NZ
dc.date.accessioned2017-01-05T03:09:53Z
dc.date.available2016-01-01en_NZ
dc.date.available2017-01-05T03:09:53Z
dc.date.issued2016-01-01en_NZ
dc.identifier.citationMalik, R., & Teixeira, M. (2016). Modular Supervisor Synthesis for Extended Finite-State Machines Subject to Controllability. In C. Cassandras, A. Giua, & Z. Li (Eds.), Proceedings of the 2016 13th International Workshop on Discrete Event Systems (WODES), Xi'an, China, 30 May-1 June 2016 (pp. 91–96). Washington, DC, USA: IEEE. http://doi.org/10.1109/WODES.2016.7497831en
dc.identifier.issn1550-5227en_NZ
dc.identifier.urihttps://hdl.handle.net/10289/10834
dc.description.abstractThis paper proposes an algorithm for the synthesis of modular supervisors using extended finite-state machines, i.e., state machines with variables and guards on the transitions. Synthesis is performed by iteratively selecting components from a synchronous composition until a least restrictive controllable solution is obtained. This method is usually faster and produces smaller supervisors than standard monolithic synthesis, while offering the modelling benefits of variables. An example of manufacturing system control illustrates the approach.
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.publisherIEEEen_NZ
dc.rights© 2016 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
dc.source13th International Workshop on Discrete Event Systems (WODES)en_NZ
dc.subjectScience & Technologyen_NZ
dc.subjectTechnologyen_NZ
dc.subjectComputer Science, Theory & Methodsen_NZ
dc.subjectEngineering, Electrical & Electronicen_NZ
dc.subjectComputer Scienceen_NZ
dc.subjectEngineeringen_NZ
dc.subjectDISCRETE-EVENT SYSTEMSen_NZ
dc.titleModular Supervisor Synthesis for Extended Finite-State Machines Subject to Controllabilityen_NZ
dc.typeConference Contribution
dc.identifier.doi10.1109/WODES.2016.7497831
dc.relation.isPartOfProceedings of the 2016 13th International Workshop on Discrete Event Systems (WODES)en_NZ
pubs.begin-page91
pubs.elements-id138982
pubs.end-page96
pubs.finish-date2016-06-01en_NZ
pubs.place-of-publicationWashington, DC, USA
pubs.publication-statusPublisheden_NZ
pubs.start-date2016-05-30en_NZ


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record