Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems
type: Item
instance of: scholarly article
title: Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems
zbMATH Open document ID: 1406.93207
author: Xiang Yin
author: Zhaojian Li
author: Weilin Wang
author: Shaoyuan Li
published in: Automatica
publication date: 2019-02-05T00:00:00Z
Mathematics Subject Classification ID: 93C65
Mathematics Subject Classification ID: 93E03
Mathematics Subject Classification ID: 93B07
Mathematics Subject Classification ID: 94C05
zbMATH DE Number: 7012255
zbMATH Keywords: discrete-event systems
zbMATH Keywords: security
zbMATH Keywords: infinite-step opacity
zbMATH Keywords: \(K\)-step opacity
describes a project that uses: UMDES
MaRDI profile type: Publication
full work available at URL: j.automatica.2018.10.049
OpenAlex ID: W2901162916
cites work: Concurrent secrets
cites work: Probabilistic opacity for Markov decision processes
cites work: Quantifying opacity
cites work: Introduction to Discrete Event Systems
cites work: Synthesis of opaque systems with static and dynamic masks
cites work: Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems
cites work: Enforcing opacity of regular predicates on modal transition systems
cites work: Supervisory Control for Opacity
cites work: Enforcement and validation (at runtime) of various notions of opacity
cites work: Detectability in stochastic discrete event systems
cites work: Verification of detectability in probabilistic finite automata
cites work: Opacity of discrete event systems and its applications
cites work: Markov Chains
cites work: Verification of Infinite-Step Opacity and Complexity Considerations
cites work: Verification of initial-state opacity in security applications of discrete event systems
cites work: Current-State Opacity Formulations in Probabilistic Finite Automata
cites work: Decidability of opacity verification problems in labeled Petri net systems
cites work: Comparative analysis of related notions of opacity in centralized and coordinated architectures
cites work: Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures
cites work: A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
cites work: A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers
DOI: 10.1016/J.AUTOMATICA.2018.10.049
Recommended article: Opacity of discrete event systems and its applications
Recommended article: Probabilistic system opacity in discrete event systems
Recommended article: Strong current-state and initial-state opacity of discrete-event systems
Recommended article: Q5209311
Recommended article: Active opacity of discrete-event systems
Recommended article: Comparing the notions of opacity for discrete-event systems
Recommended article: Opacity of networked discrete event systems
Recommended article: Current-state opacity and initial-state opacity of modular discrete event systems
Recommended article: Exposure and Revelation Times as a Measure of Opacity in Timed Stochastic Discrete Event Systems
Recommended article: Verifying weak and strong \(k\)-step opacity in discrete-event systems
description: scientific article; zbMATH DE number 7012255