54 citations · 166 across the 22 of their papers we have counts for
9 papers · 1 filter
Coordination Control of Discrete Event Systems under Cyber Attacks
Fei Wang, Jan Komenda, Feng Lin
In this paper, coordination control of discrete event systems under joint sensor and actuator attacks is investigated. Sensor attacks are described by a set of attack languages usi…
Switched max-plus linear-dual inequalities: cycle time analysis and applications
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. Their dynamics can be represented by max-…
Switched Max-Plus Linear-Dual Inequalities: Application in Scheduling of Multi-Product Processing Networks
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. Their dynamics can be represented by syst…
Hierarchical Supervisory Control under Partial Observation: Normality
Jan Komenda, Tomáš Masopust
Conditions preserving observability of specifications between the plant and its abstraction are essential for hierarchical supervisory control of discrete-event systems under parti…
Supervisory Control of Multi-Agent Discrete-Event Systems with Partial Observation
Yingying Liu, Jan Komenda, Zhiwu Li
In this paper we investigate multi-agent discrete-event systems with partial observation. The agents can be divided into several groups in each of which the agents have similar (is…
Analysis of P-time Event Graphs in (Max,+) and (Min,+) Algebras
Pavel Špaček, Jan Komenda, Sébastien Lahaye
In this work we investigate the behavior of P-time event graphs, a class of time Petri nets with nondeterministic timing of places. Our approach is based on combined linear descrip…
Conditions for Hierarchical Supervisory Control under Partial Observation
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 abstra…
A Uniform Approach to Maximal Permissiveness in Modular Control of Discrete-Event Systems
Jan Komenda, Feng Lin, Jan H. van Schuppen
In this paper, a uniform approach to maximal permissiveness in modular control of discrete-event systems is proposed. It is based on three important concepts of modular closed-loop…
On Conditional Decomposability
Jan Komenda, Tomáš Masopust, Jan H. van Schuppen
The requirement of a language to be conditionally decomposable is imposed on a specification language in the coordination supervisory control framework of discrete-event systems. I…