Show simple item record  

dc.contributor.authorMohajerani, Saharen_NZ
dc.contributor.authorMalik, Robien_NZ
dc.contributor.authorFabian, Martinen_NZ
dc.date.accessioned2017-01-04T01:46:42Z
dc.date.available2016en_NZ
dc.date.available2017-01-04T01:46:42Z
dc.date.issued2017en_NZ
dc.identifier.citationMohajerani, S., Malik, R., & Fabian, M. (2017). Compositional synthesis of supervisors in the form of state machines and state maps. Automatica, 76, 277–281. http://doi.org/10.1016/j.automatica.2016.10.012en
dc.identifier.issn0005-1098en_NZ
dc.identifier.urihttps://hdl.handle.net/10289/10827
dc.description.abstractThis paper investigates the compositional abstraction-based synthesis of least restrictive, controllable, and nonblocking supervisors for discrete event systems that are given as a large number of finite-state machines. It compares a previous algorithm that synthesises modular supervisors in the form of state machines, with an alternative that records state maps after each abstraction step and uses these to control the system. The state map-based algorithm supports all abstraction methods used previously, and in addition allows for nondeterminism, hiding, and transition removal. It has been implemented in the software tool Supremica and applied to several large industrial models. The experimental results and the complexity analysis show that state maps can be computed efficiently and in many cases require less memory than state machine-based supervisors.
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.publisherElsevieren_NZ
dc.rightsThis is an author’s accepted version of an article published in the journal: Automatica. © 2017 Elsevier.
dc.subjectcomputer scienceen_NZ
dc.subjectdiscrete event systemsen_NZ
dc.subjectcompositional synthesisen_NZ
dc.subjectcontroller constraints and structureen_NZ
dc.subjectalgorithms and softwareen_NZ
dc.subjectcomputational issuesen_NZ
dc.titleCompositional synthesis of supervisors in the form of state machines and state mapsen_NZ
dc.typeJournal Article
dc.identifier.doi10.1016/j.automatica.2016.10.012en_NZ
dc.relation.isPartOfAutomaticaen_NZ
pubs.begin-page277
pubs.elements-id144836
pubs.end-page281
pubs.volume76en_NZ


Files in this item

This item appears in the following Collection(s)

Show simple item record