Show simple item record  

dc.contributor.authorMalik, Robien_NZ
dc.contributor.authorAkesson, Knuten_NZ
dc.contributor.authorFlordal, Hugoen_NZ
dc.contributor.authorFabian, Martinen_NZ
dc.coverage.spatialToulouse, FRANCEen_NZ
dc.date.accessioned2018-11-07T21:34:58Z
dc.date.available2017-01-01en_NZ
dc.date.available2018-11-07T21:34:58Z
dc.date.issued2017en_NZ
dc.identifier.citationMalik, R., Akesson, K., Flordal, H., & Fabian, M. (2017). Supremica-An Efficient Tool for Large-Scale Discrete Event Systems. IFAC-PapersOnLine, 50(1), 5794–5799. https://doi.org/10.1016/j.ifacol.2017.08.427en
dc.identifier.issn2405-8963en_NZ
dc.identifier.urihttps://hdl.handle.net/10289/12143
dc.description.abstractSupremica is a tool for the modelling and analysis of discrete-event control functions based on state machine models of the uncontrolled plant and specification of the desired closed-loop behaviour. The modelling framework in Supremica is based on finite-state machines extended with variables, guard conditions, and action functions. In order to handle large-scale problems of industrially interesting size, Supremica uses advanced model checking techniques such as symbolic representations and compositional abstraction. Supremica has been used in several industrial research projects to verify and synthesise control functions for embedded controllers, industrial robots, and flexible manufacturing systems, and to verify program code for autonomous vehicles. This paper gives an overview of the modelling features of Supremica, shows the verification and synthesis facilities and their performance for large problems, and presents some of the industrial applications where Supremica has been used.
dc.format.mimetypeapplication/pdf
dc.language.isoenen_NZ
dc.publisherElsevieren_NZ
dc.rightsThis is an author’s accepted version of an article published in the journal: IFAC-PapersOnLine. © 2017 Elsevier.
dc.subjectDiscrete Event Systemsen_NZ
dc.subjectSupervisory Controlen_NZ
dc.subjectExtended Finite-State Machinesen_NZ
dc.subjectSynthesisen_NZ
dc.subjectVerificationen_NZ
dc.subjectFormal Methodsen_NZ
dc.subjectSUPERVISORY CONTROLen_NZ
dc.subjectVERIFICATIONen_NZ
dc.subjectFRAMEWORKen_NZ
dc.titleSupremica-An Efficient Tool for Large-Scale Discrete Event Systemsen_NZ
dc.typeJournal Article
dc.identifier.doi10.1016/j.ifacol.2017.08.427en_NZ
dc.relation.isPartOfIFAC-PapersOnLineen_NZ
pubs.begin-page5794
pubs.elements-id211360
pubs.end-page5799
pubs.issue1en_NZ
pubs.publication-statusPublisheden_NZ
pubs.volume50en_NZ


Files in this item

This item appears in the following Collection(s)

Show simple item record