Jiř Balun
Title
Cited by
Cited by
Year
On Verification of Strong Periodic D-Detectability for Discrete Event Systems
J Balun, T Masopust
IFAC-PapersOnLine 53 (4), 263-268, 2020
22020
On opacity verification for discrete-event systems
J Balun, T Masopust
IFAC-PapersOnLine 53 (2), 2075-2080, 2020
22020
Comparing the Notions of Opacity for Discete-Event Systems
J Balun, T Masopust
arXiv preprint arXiv:2102.02889, 2021
12021
On verification of D-detectability for discrete event systems
J Balun, T Masopust
Automatica 133, 109884, 2021
2021
K-Step Opacity in Discrete Event Systems: Verification, Complexity, and Relations
J Balun, T Masopust
arXiv preprint arXiv:2109.02158, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–5