Show simple item record  

dc.contributor.authorMalik, Petra
dc.contributor.authorMalik, Robi
dc.contributor.authorStreader, David
dc.contributor.authorReeves, Steve
dc.coverage.spatialConference held at Auckland, New Zealanden_NZ
dc.date.accessioned2008-11-11T20:21:07Z
dc.date.available2008-11-11T20:21:07Z
dc.date.issued2007-07
dc.identifier.citationMalik, P., Malik, R., Streader, D. & Reeves, S. (2007). Modular synthesis of discrete controllers. 12th IEEE International Conference on Engineering Complex Computer Systems, (pp. 25-35).en_US
dc.identifier.urihttps://hdl.handle.net/10289/1303
dc.description.abstractThis paper presents supervisory control theory in a process-algebraic setting, and proposes a way of synthesising modular supervisors that guarantee nonblocking. The framework used includes the possibility of hiding actions which results in nondeterminism. As modularity crucially depends on the process equivalence used, the paper studies possible equivalences and points out that, in order to be consistent with respect to the nonblocking property and to supervisor synthesis, a conflict-preserving equivalence must be used. It applies the results to synthesise nonblocking modular supervisors for a manufacturing system.en_US
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.publisherIEEE Computer Societyen_NZ
dc.relation.urihttp://ieeexplore.ieee.org/xpl/freeabs_all.jsp?tp=&arnumber=4276299&isnumber=4276290en_US
dc.rightsCopyright IEEE 2007en_US
dc.sourceICECCS 2007en_NZ
dc.titleModular synthesis of discrete controllersen_US
dc.typeConference Contributionen_US
dc.identifier.doi10.1109/ICECCS.2007.31en_US
dc.relation.isPartOfProc 12th IEEE International Conference on Engineering Complex Computer Systemsen_NZ
pubs.begin-page25en_NZ
pubs.elements-id17426
pubs.end-page34en_NZ
pubs.finish-date2007-07-14en_NZ
pubs.place-of-publicationUSAen_NZ
pubs.start-date2007-07-10en_NZ


Files in this item

This item appears in the following Collection(s)

Show simple item record