54 citations · 213 across the 36 of their papers we have counts for
41 papers
Speed Me up if You Can: Conditional Lower Bounds on Opacity Verification
Jiří Balun, Tomáš Masopust, Petr Osička
Opacity is a property of privacy and security applications asking whether, given a system model, a passive intruder that makes online observations of system's behaviour can ascerta…
Supervisory Control of Modular Discrete-Event Systems under Partial Observation: Normality
Jan Komenda, Tomáš Masopust
Complex systems are often composed of many small communicating components called modules. We investigate the synthesis of supervisory controllers for modular systems under partial…
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.…
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…