Three variations of observation equivalence preserving synthesis abstraction

Simple item page
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.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.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.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
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
uow-cs-wp-2011-01.pdf
Size:
200.82 KB
Format:
Adobe Portable Document Format
Description:
Thumbnail Image
Name: uow-cs-wp-2011-01.pdf
Size: 200.82 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
2011 Working Papers