Show simple item record  

dc.contributor.authorFlordal, Hugo
dc.contributor.authorMalik, Robi
dc.coverage.spatialConference held at Michigan, USAen_NZ
dc.date.accessioned2008-11-16T20:10:35Z
dc.date.available2008-11-16T20:10:35Z
dc.date.issued2006
dc.identifier.citationFlordal, H. & Malik, R. (2006). Supervision equivalence. 8th Workshop on Discrete Event Systems 2006 (pp. 155-160). Ann Arbor, USA, 2006.en_US
dc.identifier.urihttps://hdl.handle.net/10289/1344
dc.description.abstractThis paper presents a general framework for modular synthesis of supervisors for discrete event systems. The approach is based on compositional minimisation, using concepts of process equivalence. Its result is a compact representation of a least restrictive supervisor that ensures controllability and nonblocking. The method is demonstrated to reduce the number of states to be constructed for a simple manufacturing example, and the framework is proven to be sound.en_US
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.publisherIEEEen_NZ
dc.rightsCopyright IEEE 2006en_US
dc.sourceWODES 2006en_NZ
dc.subjectcomputer scienceen_US
dc.titleSupervision equivalenceen_US
dc.typeConference Contributionen_US
dc.identifier.doi10.1109/WODES.2006.1678424en_NZ
dc.relation.isPartOfProc 8th International Workshop on Discrete Event Systemsen_NZ
pubs.begin-page155en_NZ
pubs.elements-id16661
pubs.end-page160en_NZ
pubs.finish-date2006-07-12en_NZ
pubs.place-of-publicationUnited Statesen_NZ
pubs.start-date2006-07-10en_NZ


Files in this item

This item appears in the following Collection(s)

Show simple item record