Related references
Note: Only part of the references are listed.Infinite-step opacity and K-step opacity of stochastic discrete-event systems
Xiang Yin et al.
AUTOMATICA (2019)
On the history of diagnosability and opacity in discrete event systems
Stephane Lafortune et al.
ANNUAL REVIEWS IN CONTROL (2018)
Verification of State-Based Opacity Using Petri Nets
Yin Tong et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2017)
Quantification of Secrecy in Partially Observed Stochastic Discrete Event Systems
Jun Chen et al.
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING (2017)
The Complexity of Diagnosability and Opacity Verification for Petri Nets
Beatrice Berard et al.
APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2017 (2017)
Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures
Xiang Yin
AUTOMATICA (2017)
A new approach for the verification of infinite-step and K-step opacity using two-way observers
Xiang Yin et al.
AUTOMATICA (2017)
Overview of discrete event systems opacity: Models, validation, and quantification
Romain Jacob et al.
ANNUAL REVIEWS IN CONTROL (2016)
On the Equivalence of Observation Structures for Petri Net Generators
Yin Tong et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2016)
Quantifying opacity
Beatrice Berard et al.
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE (2015)
Current-State Opacity Formulations in Probabilistic Finite Automata
Anooshiravan Saboori et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2014)
Minimum Initial Marking Estimation in Labeled Petri Nets
Lingxi Li et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2013)
I-Detectability of Discrete-Event Systems
Shaolong Shu et al.
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING (2013)
Verification of initial-state opacity in security applications of discrete event systems
Anooshiravan Saboori et al.
INFORMATION SCIENCES (2013)
Verification of Infinite-Step Opacity and Complexity Considerations
Anooshiravan Saboori et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2012)
Approximation of the asymptotic mean marking of SPNs with contPNs
D. Lefebvre
NONLINEAR ANALYSIS-HYBRID SYSTEMS (2012)
Opacity of discrete event systems and its applications
Feng Lin
AUTOMATICA (2011)
Verification of K-Step Opacity and Analysis of Its Complexity
Anooshiravan Saboori et al.
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING (2011)
Fault Diagnosis in Discrete Event Systems Modeled by Partially Observed Petri Nets
Yu Ru et al.
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS (2009)
Modelling Opacity Using Petri Nets
Jeremy W. Bryans et al.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE (2005)