Variable abstraction and approximations in supervisory control synthesis

Simple item page
dc.contributor.authorTeixeira, Marcelo
dc.contributor.authorMalik, Robi
dc.contributor.authorCury, José E. R.
dc.contributor.authorde Queiroz, Max. H.
dc.coverage.spatialConference held at Washington, DCen_NZ
dc.date.accessioned2013-10-18T03:08:37Z
dc.date.available2013-10-18T03:08:37Z
dc.date.issued2013
dc.description.abstractThis paper proposes a method to simplify Extended Finite-state Automata (EFA) in such a way the least restrictive controllable supervisor is preserved. The method is based on variable abstraction, which involves the identification and removal of irrelevant variables from a model. Variable abstraction preserves controllability, and the paper shows how approximations can be used to ascertain least restrictiveness of the synthesis result. The approach has the modelling benefits of Extended Finite-state Automata, leads to optimal control solutions, and reduces the synthesis cost. An example of a manufacturing system illustrates the contributions.en_NZ
dc.format.mimetypeapplication/pdf
dc.identifier.citationTeoxeira, M., Malik, R., Cury, J. E. R. De Queiroz, M. H. (2013). Variable abstraction and approximations in supervisory control synthesis. In Proceedings of American Control Conference (ACC'13), Washington DC, USA (pp. 132-137). Washington, DC, USA: IEEE.en_NZ
dc.identifier.doi10.1109/ACC.2013.6579826en_NZ
dc.identifier.urihttps://hdl.handle.net/10289/8091
dc.language.isoenen_NZ
dc.publisherIEEEen_NZ
dc.relation.isPartOfProc 2013 American Control Conferenceen_NZ
dc.relation.urihttp://ieeexplore.ieee.org/Xplore/defdeny.jsp?url=http%3A%2F%2Fieeexplore.ieee.org%2Fstamp%2Fstamp.jsp%3Ftp%3D%26arnumber%3D6579826%26userType%3Dinst&denyReason=-134&arnumber=6579826&productsMatched=null&userType=insten_NZ
dc.rights©2013 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.en_NZ
dc.sourceACCen_NZ
dc.subjectcomputer scienceen_NZ
dc.titleVariable abstraction and approximations in supervisory control synthesisen_NZ
dc.typeConference Contributionen_NZ
pubs.begin-page132en_NZ
pubs.elements-id23130
pubs.end-page137en_NZ
pubs.finish-date2013-06-19en_NZ
pubs.start-date2013-06-17en_NZ
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
acc2013.pdf
Size:
154.44 KB
Format:
Adobe Portable Document Format
Thumbnail Image
Name: acc2013.pdf
Size: 154.44 KB
Kind: Adobe PDF
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Name: license.txt
Size: 1.71 KB
Kind: License
Collections
Computing and Mathematical Sciences Papers