Exposure and Revelation Times as a Measure of Opacity in Timed Stochastic Discrete Event Systems

DOI10.1109/TAC.2020.3044853MaRDI QIDQ5033877zbMATH OpenFDO

Authors Dimitri Lefebvre, Christoforos N. Hadjicostis

Publication date 24 February 2022

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/TAC.2020.3044853

Mathematics Subject Classification ID

Systems theory; control (93-XX)

Cited in

(8)

• Infinite-step opacity and K-step opacity of stochastic discrete-event systems
• Probabilistic system opacity in discrete event systems
• Enforcement for infinite-step opacity and K-step opacity via insertion mechanism
• Probabilistic verification of diagnosability for a certain class of timed stochastic systems
• Quantifying opacity of discrete event systems modeled with probabilistic Petri nets
• Application of differential privacy in smart building systems
• Verification of current-state opacity and opaque time for labeled time Petri net systems
• A survey on performance evaluations in time-dependent Petri nets

This page was built for publication: Exposure and Revelation Times as a Measure of Opacity in Timed Stochastic Discrete Event Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5033877)