Objectives:
In this research proposal new methodology for supervisory control timed discrete event systems will be elaborated. More specifically, decentralized and modular control of large distributed timed systems will be studied in order to reduce the computational complexity of supervisory control synthesis, which constitutes the major obstacle for application of supervisory control in industry. Weighted automata (e.g. (max,+) automata, interval automata, and other classes of timed automata) model flexible manufacturing systems, computer and information networks with communication protocols, where not only ordering but also timing of discrete events is important. Both cases of local control specifications and more relevant global (indecomposable) specifications will be investigated. Similarly, we will consider the case, where all events are observable as well as the case, where not all events are observable due to the very nature of an event or simply due to economic reasons (too high a cost of a sensor ). Our goal is to find effective methods for supervisory control of this type of systems, in particular decentralized control and coordination control, where local controllers communicate with a coordinator.
Main investigator:
