Modular Supervisor Synthesis for Extended Finite-State Machines Subject to Controllability

Simple item page
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.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.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.doi10.1109/WODES.2016.7497831
dc.identifier.issn1550-5227en_NZ
dc.identifier.urihttps://hdl.handle.net/10289/10834
dc.language.isoen
dc.publisherIEEEen_NZ
dc.relation.isPartOfProceedings of the 2016 13th International Workshop on Discrete Event Systems (WODES)en_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
pubs.begin-page91
pubs.elements-id138982
pubs.end-page96
pubs.finish-date2016-06-01en_NZ
pubs.organisational-group/Waikato
pubs.organisational-group/Waikato/FCMS
pubs.organisational-group/Waikato/FCMS/Computer Science
pubs.place-of-publicationWashington, DC, USA
pubs.publication-statusPublisheden_NZ
pubs.start-date2016-05-30en_NZ
uow.verification.statusverified
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
wodes16.pdf
Size:
171.67 KB
Format:
Adobe Portable Document Format
Description:
Accepted version
Thumbnail Image
Name: wodes16.pdf
Size: 171.67 KB
Kind: Adobe PDF
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
Research Commons Deposit Agreement 2016.txt
Size:
263 B
Format:
Unknown data format
Description:
Name: Research Commons Deposit Agreement 2016.txt
Size: 263 B
Kind: Unknown
Collections
Computing and Mathematical Sciences Papers