4 citations · 4 across the 1 of their papers we have counts for
4 papers
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…