Modular synthesis of discrete controllers
Files
191.3Kb
Citation
Export 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).
Permanent Research Commons link: https://hdl.handle.net/10289/1303
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.
Date
2007-07Publisher
IEEE Computer Society
Rights
Copyright IEEE 2007