Follow
Jiř Balun
Title
Cited by
Cited by
Year
Comparing the notions of opacity for discrete-event systems
J Balun, T Masopust
Discrete Event Dynamic Systems 31 (4), 553-582, 2021
132021
K-Step Opacity in Discrete Event Systems: Verification, Complexity, and Relations
J Balun, T Masopust
arXiv preprint arXiv:2109.02158, 2021
42021
On opacity verification for discrete-event systems
J Balun, T Masopust
IFAC-PapersOnLine 53 (2), 2075-2080, 2020
42020
On verification of D-detectability for discrete event systems
J Balun, T Masopust
Automatica 133, 109884, 2021
32021
On Verification of Strong Periodic D-Detectability for Discrete Event Systems
J Balun, T Masopust
IFAC-PapersOnLine 53 (4), 263-268, 2020
22020
Weak consistency of P-time event graphs
D Zorzenon, J Balun, J Raisch
arXiv preprint arXiv:2206.00478, 2022
2022
Verifying Weak and Strong -Step Opacity in Discrete-Event Systems
J Balun, T Masopust
arXiv preprint arXiv:2204.01286, 2022
2022
On Verification of Weak and Strong k-Step Opacity for Discrete-Event Systems
J Balun, T Masopust
The system can't perform the operation now. Try again later.
Articles 1–8