no code implementations • 21 Sep 2023 • Fei Wang, Jan Komenda, Feng Lin
This paper investigates the coordination control of discrete event systems in the presence of combined sensor and actuator attacks.
no code implementations • 4 May 2023 • Davide Zorzenon, Jan Komenda, Jörg Raisch
P-time event graphs are discrete event systems suitable for modeling processes in which tasks must be executed in predefined time windows.
no code implementations • 3 Apr 2022 • Davide Zorzenon, Jan Komenda, Jörg Raisch
P-time event graphs are discrete event systems suitable for modeling processes in which tasks must be executed in predefined time windows.
no code implementations • 2 Mar 2022 • Jan Komenda, Tomáš Masopust
Although observation consistency preserves normality between the levels for normal specifications, for specifications that are not normal, observation consistency is insufficient to guarantee that the supremal normal sublanguage computed on the low level and on the high level coincide.
no code implementations • 19 Mar 2021 • Yingying Liu, Jan Komenda, Zhiwu Li
In this paper we investigate multi-agent discrete-event systems with partial observation.
no code implementations • 24 Feb 2021 • Davide Zorzenon, Jan Komenda, Joerg Raisch
This problem, which generalizes other instances of the NCP previously investigated in the literature, has applications in the consistency analysis of a class of discrete-event systems called P-time event graphs.
Combinatorics Systems and Control Systems and Control Optimization and Control 68R10 (Primary) 15A80, 68Q45 (Secondary)
no code implementations • 16 Dec 2019 • Jan Komenda, Tomáš Masopust
The fundamental problem in hierarchical supervisory control under partial observation is to find conditions preserving observability between the original (low-level) and the abstracted (high-level) plants.