54 citations · 213 across the 36 of their papers we have counts for
11 papers · 1 filter
K-Step Opacity in Discrete Event Systems: Verification, Complexity, and Relations
Jiří Balun, Tomáš Masopust
Opacity is a property expressing whether a system may reveal its secret to a passive observer (an intruder) who knows the structure of the system but has a limited observation of i…
Comparing the Notions of Opacity for Discrete-Event Systems
Jiří Balun, Tomáš Masopust
Opacity is an information flow property characterizing whether a system reveals its secret to a passive observer. Several notions of opacity have been introduced in the literature.…
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…
Critical Observability for Automata and Petri Nets
Tomáš Masopust
Critical observability is a property of cyber-physical systems to detect whether the current state belongs to a set of critical states. In safety-critical applications, critical st…
Automatic Generation of Optimal Reductions of Distributions
Liyong Lin, Tomáš Masopust, W. Murray Wonham +1
A reduction of a source distribution is a collection of smaller sized distributions that are collectively equivalent to the source distribution with respect to the property of deco…
Complexity of Detectability, Opacity and A-Diagnosability for Modular Discrete Event Systems
Tomáš Masopust, Xiang Yin
We study the complexity of deciding whether a modular discrete event system is detectable (resp. opaque, A-diagnosable). Detectability arises in the state estimation of discrete ev…