3 citations · 3 across the 2 of their papers we have counts for
2 papers
eess.SY2022★ 3 cited
Weak consistency of P-time event graphs
Davide Zorzenon, Jiří Balun, Jörg Raisch
P-time event graphs (P-TEGs) are event graphs where the residence time of tokens in places is bounded by specified time windows. In this paper, we define a new property of PTEGs, c…
eess.SY2022
Verifying Weak and Strong k-Step Opacity in Discrete-Event Systems
Jiří Balun, Tomáš Masopust
Opacity is an important system-theoretic property expressing whether a system may reveal its secret to a passive observer (an intruder) who knows the structure of the system but ha…