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.

Results

Journal articles

Hierarchical Supervisory Control under Partial Observation: Normality

Jan Komenda, Tomáš Masopust
IEEE Transactions on Automatic Control 68(12), 7286-7298, 2023

Modular Control of Discrete-Event Systems using Similarity

Yingying Liu, Tomáš Masopust, Jan Komenda, Zhiwu Li
Automatica 142, 110431, 2022

Conference papers

On Verification of Weak and Strong k-Step Opacity for Discrete-Event Systems

Jiří Balun, Tomáš Masopust
IFAC PapersOnLine 55(28), 108-113, 2022

On Transformations among Opacity Notions

Jiří Balun, Tomáš Masopust
IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2022