Verification and Control of Networked Discrete Event Systems (VALERIE)

Support: MŠMT INTER-EXCELLENCE project LTAUSA19098
Duration: 2020-2022
Team: T. Masopust (upol), J. Balun (upol), J. Komenda (math.cas.cz), S. Lafortune (The University of Michigan, Ann Arbor), F. Lin (Wayne State University, Detroit), S. Reveliotis (Georgia Tech, Atlanta)
Objectives: 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.
Links: IM page, TAČR Starfos
Journal papers
10 Komenda, J., Masopust, T., Supervisory Control of Modular Discrete-Event Systems under Partial Observation: Normality, IEEE Transactions on Automatic Control, scheduled for Volume 69 (2024), Issue 6 (June)
9 Komenda, J., Masopust, T., Hierarchical Supervisory Control under Partial Observation: Normality, IEEE Transactions on Automatic Control 68(12), 7286-7298, 2023
8 Liu, Y., Komenda, J., Masopust, T., Li, Z., Modular Control of Discrete-Event Systems using Similarity, Automatica 142, 110431, 2022
7 Zorzenon, D., Komenda, J., Raisch, J., The non-positive circuit weight problem in parametric graphs: A solution based on dioid theory, Discrete Applied Mathematics 315, 56-70, 2022
6 Liu, Y., Komenda, J., Li, Z., Supervisory control of multi-agent discrete-event systems with partial observation, IEEE Control Systems Letters 6, 1867-1872, 2022
5 Zorzenon D., Komenda J., Raisch J., Periodic trajectories in P-time event graphs and the non-positive circuit weight problem, IEEE Control Systems Letters 6(1), 686-691, 2022
4 Balun, J., Masopust, T., On Verification of D-Detectability for Discrete Event Systems, Automatica 133, 109884, 2021
3 Balun, J., Masopust, T., Comparing the Notions of Opacity for Discrete-Event Systems, Discrete Event Dynamic Systems 31, 553-582, 2021
2 Reveliotis, S., Masopust, T., Ibrahim, M., Polynomial-Time Optimal Liveness Enforcement for Guidepath-based Transport Systems, Nonlinear Analysis: Hybrid Systems 41, 101058, 2021
1 Masopust, T., Krötzsch, M., Partially Ordered Automata and Piecewise Testability, Logical Methods in Computer Science 17(2), 14:1-14:36, 2021
Conference papers
11 Zorzenon, D., Balun, J., Raisch, J., Weak consistency of P-time event graphs, COSY 2022.
10 Balun, J., Masopust, T., On Transformations among Opacity Notions, IEEE International Conference on Systems, Man, and Cybernetics (SMC), 3012-3017, 2022.
9 Balun, J., Masopust, T., On Verification of Weak and Strong k-Step Opacity for Discrete-Event Systems, IFAC PapersOnLine 55(28), 108–113, 2022 (WODES 2022).
8 Zorzenon, D., Komenda, J., Raisch, J., Switched Max-Plus Linear-Dual Inequalities: Application in Scheduling of Multi-Product Processing Networks, IFAC-PapersOnLine 55(28), 196-203, 2022 (WODES 2022)
7 Komenda, J., Zorzenon, D., Balun, J., Modeling of safe timed Petri nets by two-level (max,+) automata, IFAC-PapersOnLine 55(28), 212-219, 2022 (WODES 2022)
6 Zorzenon D., Komenda J., Raisch J., Bounded consistency of P-time event graphs, Proc. of IEEE Conference on Decision and Control (CDC), 166485, 2021
5 Balun, J., Masopust, T., On Verification of Strong Periodic D-Detectability for Discrete Event Systems, Proc. of Workshop on Discrete Event Systems (WODES), 263-268, 2020
4 Balun, J., Masopust, T., On Opacity Verification for Discrete-Event Systems, Proc. of IFAC World Congress, 2105-2110, 2020
3 Komenda, J., Masopust, T., Van Schuppen, J.H., Maximal Permissiveness of Modular Supervisory Control Via Multilevel Structuring, Proc. of IFAC World Congress, 2146-2151, 2020
2 Komenda, J., Masopust, T., Conditions for Hierarchical Supervisory Control under Partial Observation, Proc. of Workshop on Discrete Event Systems (WODES), 303-308, 2020
1 Reveliotis, S., and Masopust, T., Efficient Assessment of State Liveness in Open, Irreversible, Dynamically Routed, Zone-Controlled Guidepath-based Transport Systems: The General Case, Proc. of Workshop on Discrete Event Systems (WODES), 235-242, 2020
Tools