dc.contributor.author | Malik, Petra | |
dc.contributor.author | Malik, Robi | |
dc.contributor.author | Streader, David | |
dc.contributor.author | Reeves, Steve | |
dc.coverage.spatial | Conference held at Auckland, New Zealand | en_NZ |
dc.date.accessioned | 2008-11-11T20:21:07Z | |
dc.date.available | 2008-11-11T20:21:07Z | |
dc.date.issued | 2007-07 | |
dc.identifier.citation | Malik, 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.uri | https://hdl.handle.net/10289/1303 | |
dc.description.abstract | This 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.mimetype | application/pdf | |
dc.language.iso | en | |
dc.publisher | IEEE Computer Society | en_NZ |
dc.relation.uri | http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?tp=&arnumber=4276299&isnumber=4276290 | en_US |
dc.rights | Copyright IEEE 2007 | en_US |
dc.source | ICECCS 2007 | en_NZ |
dc.title | Modular synthesis of discrete controllers | en_US |
dc.type | Conference Contribution | en_US |
dc.identifier.doi | 10.1109/ICECCS.2007.31 | en_US |
dc.relation.isPartOf | Proc 12th IEEE International Conference on Engineering Complex Computer Systems | en_NZ |
pubs.begin-page | 25 | en_NZ |
pubs.elements-id | 17426 | |
pubs.end-page | 34 | en_NZ |
pubs.finish-date | 2007-07-14 | en_NZ |
pubs.place-of-publication | USA | en_NZ |
pubs.start-date | 2007-07-10 | en_NZ |