Verification and Control of Networked Discrete Event Systems

The aim is to extend current diagnosis, verification, and supervisory control approaches for modular discrete-event systems to networked discrete-event systems to cope with delays and losses in communications channels. Communications between supervisors and the plant are usually assumed to be reliable and instantaneous. In networked control systems, the feedback loops are closed via a real-time communication network, which is shared with other nodes inside or outside the control system. The communication carried out over a shared network then induces delays and losses. We investigate modular synthesis of supervisors that is robust to delays and losses. We further apply the investigated approaches to the verification and control of guidepath-based transport systems that find applications in material handling systems, robotics and many other fields.

Results

Journal articles

Supervisory Control of Modular Discrete-Event Systems under Partial Observation: Normality

Jan Komenda, Tomáš Masopust
IEEE Transactions on Automatic Control, 2024

Verifying Weak and Strong k-Step Opacity in Discrete-Event Systems

Jiří Balun, Tomáš Masopust
Automatica 155, 111153, 2023

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

Polynomial-Time Optimal Liveness Enforcement for Guidepath-based Transport Systems

Spyros Reveliotis, Tomáš Masopust, Michael Ibrahim
Nonlinear Analysis: Hybrid Systems 41, 101058, 2021