54 citations · 213 across the 36 of their papers we have counts for
4 papers · 1 filter
On Opacity Verification for Discrete-Event Systems
Jiří Balun, Tomáš Masopust
Opacity is an information flow property characterizing whether a system reveals its secret to an intruder. Verification of opacity for discrete-event systems modeled by automata is…
On Verification of D-Detectability for Discrete Event Systems
Jiří Balun, Tomáš Masopust
Detectability has been introduced as a generalization of state-estimation properties of discrete event systems studied in the literature. It asks whether the current and subsequent…
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…
Partially Ordered Automata and Piecewise Testability
Tomáš Masopust, Markus Krötzsch
Partially ordered automata are automata where the transition relation induces a partial order on states. The expressive power of partially ordered automata is closely related to th…