Show simple item record  

dc.contributor.authorMohajerani, Sahar
dc.contributor.authorMalik, Robi
dc.contributor.authorWare, Simon
dc.contributor.authorFabian, Martin
dc.coverage.spatialConference held at Saarbrücken, Germanyen_NZ
dc.date.accessioned2011-09-19T02:51:24Z
dc.date.available2011-09-19T02:51:24Z
dc.date.issued2011
dc.identifier.citationMohajerani, S., Malik, R., Ware S. & Fabien, M. (2011). On the use of observation equivalence in synthesis abstraction. In 2011 3rd International Workshop on Dependable Control of Discrete Systems (DCDS), 15-17 June 2011, Saarbrucken (pp. 84-89). Washington, DC, USA: IEEE.en_NZ
dc.identifier.urihttps://hdl.handle.net/10289/5761
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.publisherIEEEen_NZ
dc.relation.urihttp://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5970323&abstractAccess=no&userType=insten_NZ
dc.rights© 2011 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
dc.sourceDCDS'11en_NZ
dc.subjectcomputer scienceen_NZ
dc.subjectcontrol system synthesisen_NZ
dc.subjectcontrol system synthesisen_NZ
dc.subjectlarge-scale systemsen_NZ
dc.titleOn the use of observation equivalence in synthesis abstractionen_NZ
dc.typeJournal Articleen_NZ
dc.identifier.doi10.1109/DCDS.2011.5970323en_NZ
dc.relation.isPartOf3rd International Workshop on Dependable Control of Discrete Systemsen_NZ
pubs.begin-page84en_NZ
pubs.elements-id20882
pubs.end-page89en_NZ
pubs.finish-date2011-06-17en_NZ
pubs.start-date2011-06-15en_NZ


Files in this item

This item appears in the following Collection(s)

Show simple item record