Transition removal for compositional supervisor synthesis

Simple item page
dc.contributor.authorMohajerani, Sahar
dc.contributor.authorMalik, Robi
dc.contributor.authorFabian, Martin
dc.coverage.spatialConference held at Seoul, Koreaen_NZ
dc.date.accessioned2013-10-18T03:19:01Z
dc.date.available2013-10-18T03:19:01Z
dc.date.copyright2012-10-03
dc.date.issued2012
dc.description.abstractThis paper investigates under which conditions transitions can be removed from an automaton while preserving important synthesis properties. The work is part of a framework for compositional synthesis of least restrictive controllable and nonblocking supervisors for modular discrete event systems. The method for transition removal complements previous results, which are largely focused on state merging. Issues concerning transition removal in synthesis are discussed, and redirection maps are introduced to enable a supervisor to process an event, even though the corresponding transition is no longer present in the model. Based on the results, different techniques are proposed to remove controllable and uncontrollable transitions, and an example shows the potential of the method for practical problems.en_NZ
dc.format.mimetypeapplication/pdf
dc.identifier.citationMohajerani, S., Malik, R., & Fabian, M.(2012). Transition removal for compositional supervisor synthesis. In Proceedings of the IEEE International conference on Automation Science and Engineer(CASE), 20-24 August 2012, Seoul, South Korea (pp. 694-699). Washington, DC, USA: IEEE.en_NZ
dc.identifier.doi10.1109/CoASE.2012.6386447en_NZ
dc.identifier.urihttps://hdl.handle.net/10289/8092
dc.language.isoenen_NZ
dc.publisherIEEEen_NZ
dc.relation.isPartOfProc 2012 IEEE International Conference on Automation Science and Engineering (CASE)en_NZ
dc.relation.ispartofIEEE International conference on Automation Science and Engineer
dc.relation.urihttp://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6386447&abstractAccess=no&userType=en_NZ
dc.rights©2012 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.subjectcomputer scienceen_NZ
dc.titleTransition removal for compositional supervisor synthesisen_NZ
dc.typeConference Contributionen_NZ
pubs.begin-page694en_NZ
pubs.elements-id22735
pubs.end-page699en_NZ
pubs.finish-date2012-08-24en_NZ
pubs.start-date2012-08-20en_NZ
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
case2012.pdf
Size:
131.38 KB
Format:
Adobe Portable Document Format
Description:
Thumbnail Image
Name: case2012.pdf
Size: 131.38 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