Show simple item record  

dc.contributor.authorMalik, Robien_NZ
dc.contributor.authorMohajerani, Saharen_NZ
dc.contributor.authorFabian, Martinen_NZ
dc.date.accessioned2023-09-20T23:42:54Z
dc.date.available2023-09-20T23:42:54Z
dc.date.issued2023-08-21en_NZ
dc.identifier.issn0924-6703en_NZ
dc.identifier.urihttps://hdl.handle.net/10289/16041
dc.description.abstractThis survey gives an overview of the current research on compositional algorithms for verification and synthesis of modular systems modelled as interacting finite-state machines. Compositional algorithms operate by repeatedly simplifying individual components of a large system, replacing them by smaller so-called abstractions, while preserving critical properties. In this way, the exponential growth of the state space can be limited, making it possible to analyse much bigger state spaces than possible by standard state space exploration. This paper gives an introduction to the principles underlying compositional methods, followed by a survey of algorithmic solutions from the recent literature that use compositional methods to analyse systems automatically. The focus is on applications in supervisory control of discrete event systems, particularly on methods that verify critical properties or synthesise controllable and nonblocking supervisors.en_NZ
dc.format.mimetypeapplication/pdf
dc.language.isoenen_NZ
dc.publisherSpringer Science and Business Media LLCen_NZ
dc.relation.urien_NZ
dc.rights© The Author(s) 2023. This article is licensed under a Creative Commons Attribution 4.0 International License.
dc.subjectsoftware engineeringen_NZ
dc.subjectsupervisory control theoryen_NZ
dc.subjectcompositional verificationen_NZ
dc.subjectfinite-state machinesen_NZ
dc.subjectdiscrete event systemsen_NZ
dc.subjectcomputer scienceen_NZ
dc.titleA survey on compositional algorithms for verification and synthesis in supervisory controlen_NZ
dc.typeJournal Article
dc.identifier.doi10.1007/s10626-023-00378-8en_NZ
dc.relation.isPartOfDiscrete Event Dynamic Systemsen_NZ
pubs.elements-id328186
pubs.publication-statusPublished onlineen_NZ
dc.identifier.eissn1573-7594en_NZ


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record