Objectives:
Current approaches for control of timed discrete-event systems (DES) with dense real time only deal with monolithic plants, which means that their control suffers from high complexity and even decidability issues (non existence of finite state controllers). In order to face these issues, it is important to develop computationally efficient compositional approaches, such as modular control. We will investigate modular and coordination control of timed DES modeled by timed Petri nets or by (max,+)-automata.
Main investigator:
IM team members:
|
Masopust Tomáš |
Participating institutions:
Institute of Mathematics, Czech Academy of Sciences
Technische Universität Berlin, Germany (Grantor: DFG)
Mapa | Autor | Webmaster
