dc.contributor.author | Mohajerani, Sahar | |
dc.contributor.author | Malik, Robi | |
dc.contributor.author | Fabian, Martin | |
dc.coverage.spatial | Conference held at Guadalajara, Jalisco, México | en_NZ |
dc.date.accessioned | 2013-09-30T04:00:49Z | |
dc.date.available | 2013-09-30T04:00:49Z | |
dc.date.copyright | 2012-10-03 | |
dc.date.issued | 2012 | |
dc.identifier.citation | Mohajerani, 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.uri | https://hdl.handle.net/10289/8037 | |
dc.description.abstract | This 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.mimetype | application/pdf | |
dc.language.iso | en | en_NZ |
dc.publisher | The international Federation of Automatic Control | en_NZ |
dc.relation.ispartof | 11th International Workshop on Discrete Event Systems | |
dc.relation.uri | http://www.ifac-papersonline.net/Detailed/58213.html | en_NZ |
dc.rights | © 2012 The international Federation of Automatic Control. | en_NZ |
dc.subject | computer science | en_NZ |
dc.subject | discrete event systems | en_NZ |
dc.subject | supervisory control theory | en_NZ |
dc.subject | abstraction | en_NZ |
dc.subject | compositional synthesis | en_NZ |
dc.title | An algorithm for weak synthesis observation equivalence for compositional supervisor synthesis | en_NZ |
dc.type | Conference Contribution | en_NZ |
dc.identifier.doi | 10.3182/20121003-3-MX-4033.00040 | en_NZ |
dc.relation.isPartOf | Proc 11th International Workshop on Discrete Event Systems | en_NZ |
pubs.begin-page | 239 | en_NZ |
pubs.elements-id | 22566 | |
pubs.end-page | 244 | en_NZ |
pubs.finish-date | 2012-10-05 | en_NZ |
pubs.issue | 29 | en_NZ |
pubs.start-date | 2012-10-03 | en_NZ |
pubs.volume | 45 | en_NZ |