Show simple item record  

dc.contributor.authorMohajerani, Sahar
dc.contributor.authorMalik, Robi
dc.contributor.authorFabian, Martin
dc.coverage.spatialConference held at Guadalajara, Jalisco, Méxicoen_NZ
dc.date.accessioned2013-09-30T04:00:49Z
dc.date.available2013-09-30T04:00:49Z
dc.date.copyright2012-10-03
dc.date.issued2012
dc.identifier.citationMohajerani, S., Malik, R., & Fabian, M. (2012). An algorithm for weak synthesis observation equivalence for compositional supervisor synthesis. In Proceedings of the 11th International Workshop on Discrete Event Systems (pp. 239-244).en_NZ
dc.identifier.urihttps://hdl.handle.net/10289/8037
dc.description.abstractThis paper proposes an algorithm to simplify automata in such a way that compositional synthesis results are preserved in every possible context. It relaxes some requirements of synthesis observation equivalence from previous work, so that better abstractions can be obtained. The paper describes the algorithm, adapted from known bisimulation equivalence algorithms, for the improved abstraction method. The algorithm has been implemented in the DES software tool Supremica and has been used to compute modular supervisors for several large benchmark examples. It successfully computes modular supervisors for systems with more than 1012 reachable states.en_NZ
dc.format.mimetypeapplication/pdf
dc.language.isoenen_NZ
dc.publisherThe international Federation of Automatic Controlen_NZ
dc.relation.ispartof11th International Workshop on Discrete Event Systems
dc.relation.urihttp://www.ifac-papersonline.net/Detailed/58213.htmlen_NZ
dc.rights© 2012 The international Federation of Automatic Control.en_NZ
dc.subjectcomputer scienceen_NZ
dc.subjectdiscrete event systemsen_NZ
dc.subjectsupervisory control theoryen_NZ
dc.subjectabstractionen_NZ
dc.subjectcompositional synthesisen_NZ
dc.titleAn algorithm for weak synthesis observation equivalence for compositional supervisor synthesisen_NZ
dc.typeConference Contributionen_NZ
dc.identifier.doi10.3182/20121003-3-MX-4033.00040en_NZ
dc.relation.isPartOfProc 11th International Workshop on Discrete Event Systemsen_NZ
pubs.begin-page239en_NZ
pubs.elements-id22566
pubs.end-page244en_NZ
pubs.finish-date2012-10-05en_NZ
pubs.issue29en_NZ
pubs.start-date2012-10-03en_NZ
pubs.volume45en_NZ


Files in this item

This item appears in the following Collection(s)

Show simple item record