Show simple item record  

dc.contributor.authorMohajerani, Sahar
dc.contributor.authorMalik, Robi
dc.contributor.authorWare, Simon
dc.contributor.authorFabian, Martin
dc.date.accessioned2011-02-01T01:22:33Z
dc.date.available2011-02-01T01:22:33Z
dc.date.issued2011-01-26
dc.identifier.citationMohajerani, S., Malik, R., Ware, S. & Fabian, M. (2011). Three variations of observation equivalence preserving synthesis abstraction. (Working paper 01/2011). Hamilton, New Zealand: University of Waikato, Department of Computer Science.en_NZ
dc.identifier.issn1177-777X
dc.identifier.urihttps://hdl.handle.net/10289/4974
dc.description.abstractIn a previous paper we introduced the notion of synthesis abstraction, which allows efficient compositional synthesis of maximally permissive supervisors for large-scale systems of composed finite-state automata. In the current paper, observation equivalence is studied in relation to synthesis abstraction. It is shown that general observation equivalence is not useful for synthesis abstraction. Instead, we introduce additional conditions strengthening observation equivalence, so that it can be used with the compositional synthesis method. The paper concludes with an example showing the suitability of these relations to achieve substantial state reduction while computing a modular supervisor.en_NZ
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.publisherUniversity of Waikato, Department of Computer Scienceen_NZ
dc.relation.ispartofseriesComputer Science Working Papers
dc.subjectcomputer scienceen_NZ
dc.titleThree variations of observation equivalence preserving synthesis abstractionen_NZ
dc.typeWorking Paperen_NZ
uow.relation.series01/2011


Files in this item

This item appears in the following Collection(s)

Show simple item record