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.
Godoy Soto José Damián Lai Aiwen |
Masopust Tomáš |
Institute of Mathematics, Czech Academy of Sciences
Technische Universität Berlin, Germany (Grantor: DFG)
Site map | Author | Webmaster