It is necessary to activate JavaScript to navigate this site.

Grant GC19-06175J     1.1.2019 - 31.12.2021
Grantor: Czech Science Foundation

Compositional Methods for the Control of Concurrent Timed Discrete-Event Systems


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:

Komenda Jan

 IM team members:  
Masopust Tomáš
 Participating institutions:

Institute of Mathematics, Czech Academy of Sciences

Technische Universität Berlin, Germany (Grantor: DFG)