Compositional synthesis of maximally permissive supervisors using supervision equivalence

Simple item page
dc.contributor.authorFlordal, Hugo
dc.contributor.authorMalik, Robi
dc.contributor.authorFabian, Martin
dc.contributor.authorAkesson, Knut
dc.date.accessioned2009-02-03T03:31:58Z
dc.date.available2009-02-03T03:31:58Z
dc.date.issued2007
dc.description.abstractThis paper presents a general framework for efficient synthesis of supervisors for discrete event systems. The approach is based on compositional minimisation, using concepts of process equivalence. In this context, a large number of ways are suggested how a finite-state automaton can be simplified such that the results of supervisor synthesis are preserved. The proposed approach yields a compact representation of a least restrictive supervisor that ensures controllability and nonblocking. The method is demonstrated on a simple manufacturing example to significantly reduce the number of states constructed for supervisor synthesis.en
dc.format.mimetypeapplication/pdf
dc.identifier.citationFlordal, H., Malik, R., Fabian, M. & Akesson, K.(2007). Compositional synthesis of maximally permissive supervisors using supervision equivalence. Discrete Event Dynamic Systems, 17(4), 475-504.en
dc.identifier.doi10.1007/s10626-007-0018-zen
dc.identifier.urihttps://hdl.handle.net/10289/1992
dc.language.isoen
dc.publisherSpringer Netherlandsen
dc.relation.isPartOfDiscrete Event Dynamic Systemsen_NZ
dc.relation.urihttp://www.springerlink.com/content/j4n3m0l185436g71/en
dc.rightsThis is an author’s version of an article published in the journal: Discrete Event Dynamic Systems. ©2007 Springer Netherlands. The original publication is available at http://www.springerlink.com.en
dc.subjectcomputer scienceen
dc.subjectdiscrete event systemsen
dc.subjectsupervisory controlen
dc.subjectfinite state automataen
dc.subjectmodel reduction synthesisen
dc.subjectcontrollabilityen
dc.subjectnonblockingen
dc.titleCompositional synthesis of maximally permissive supervisors using supervision equivalenceen
dc.typeJournal Articleen
pubs.begin-page475en_NZ
pubs.editionDecemberen_NZ
pubs.elements-id32661
pubs.end-page504en_NZ
pubs.issue4en_NZ
pubs.volume17en_NZ
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Compositional Synthesis of Maximally.pdf
Size:
311 KB
Format:
Adobe Portable Document Format
Thumbnail Image
Name: Compositional Synthesis of Maximally.pdf
Size: 311 KB
Kind: Adobe PDF
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.79 KB
Format:
Item-specific license agreed upon to submission
Description:
Name: license.txt
Size: 1.79 KB
Kind: License
Collections
Computing and Mathematical Sciences Papers