Exposure and Revelation Times as a Measure of Opacity in Timed Stochastic Discrete Event Systems
From MaRDI portal
Publication:5033877
DOI10.1109/TAC.2020.3044853MaRDI QIDQ5033877
Christoforos N. Hadjicostis, Dimitri Lefebvre
Publication date: 24 February 2022
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Related Items (2)
Enforcement for infinite-step opacity and K-step opacity via insertion mechanism ⋮ Probabilistic verification of diagnosability for a certain class of timed stochastic systems
This page was built for publication: Exposure and Revelation Times as a Measure of Opacity in Timed Stochastic Discrete Event Systems