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 Mianyang, Chinaen_NZ
dc.identifier.citationMohajerani, S., Malik, R., Ware, S. & Fabian, M. (2011). Compositional synthesis of discrete event systems using synthesis abstraction. In Proceedings of 2011 Chinese Control and Decision Conference (CCDC), Mianyang, China (pp. 1549-1554). Washington, DC, USA: IEEE.en_NZ
dc.description.abstractThis paper proposes a general method to synthesize a least restrictive supervisor for a large discrete event system model, consisting of a large number of arbitrary automata representing the plants and specifications. A new type of abstraction called synthesis abstraction is introduced and three rules are proposed to calculate an abstraction of a given automaton. Furthermore, a compositional algorithm for synthesizing a supervisor for large-scale systems of composed finite-state automata is proposed. In the proposed algorithm, the synchronous composition is computed step by step and intermediate results are simplified according to synthesis abstraction. Then a supervisor for the abstracted system is calculated, which in combination with the original system gives the least restrictive, nonblocking, and controllable behaviour.en_NZ
dc.subjectcomputer scienceen_NZ
dc.titleCompositional synthesis of discrete event systems using synthesis abstractionen_NZ
dc.typeConference Contributionen_NZ
dc.relation.isPartOfProceedings of the 23rd Chinese Control and Decision Conference 2011en_NZ

Files in this item


There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record