Malik, R., Leduc, R. (2012). Hierarchical interface-based supervisory control using the conflict preorder. In Proceedings of the 11th International Workshop on Discrete Event Systems (pp. 163-168).
Permanent Research Commons link: http://hdl.handle.net/10289/8038
Hierarchical Interface-Based Supervisory Control decomposes a large discrete event system into subsystems linked to each other by interfaces, facilitating the design of complex systems and the re-use of components. By ensuring that each subsystem satisfies its interface consistency conditions locally, it can be ensured that the complete system is controllable and nonblocking. The interface consistency conditions proposed in this paper are based on the conflict preorder, providing increased flexibility over previous approaches. The framework requires only a small number of interface consistency conditions, and allows for the design of multi-level hierarchies that are provably controllable and nonblocking.
The international Federation of Automatic Control
© 2012 The international Federation of Automatic Control.