Programme type: KONTAKT II
Objectives:
The aim of the project is to develop techniques to decrease computational complexity of supervisory control of discrete-event systems with large number of states. Both automata with known modular structure given by the synchronous product of smaller components and large automata without such a structure will be considered. Standard centralized control methods cannot be applied for complexity reasons, and therefore, we will propose multi-level coordination control with hierarchical structure of the coordinators on different layers for different groups of subsystems. It will be based on the single-level coordination control with one central coordinator that we have recently developed. These efficient techniques will be applied to decentralized control of systems without known modular structure. As a by-product communication protocols between groups of subsystems given by the structure of coordinators on different levels of hierarchy will be obtained.
Main investigator:
IM team members:
|
Masopust Tomáš |
Participating institutions:
Institute of Mathematics, Czech Academy of Sciences
Department of Electrical Engineering and Computer Science, University of Michigan, USA
Department of Electrical and Computer Engineering, Wayne State University, USA
