Opacity of networked discrete event systems
type: Item
instance of: scholarly article
title: Opacity of networked discrete event systems
zbMATH Open document ID: 1475.68044
author: Jing Kai Yang
author: Weilin Deng
author: Cheng Jiang
author: Daowen Qiu
published in: Information Sciences
publication date: 2021-11-30T00:00:00Z
Mathematics Subject Classification ID: 68M25
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 7436099
zbMATH Keywords: networked discrete event systems
zbMATH Keywords: opacity
zbMATH Keywords: automata
zbMATH Keywords: verification
describes a project that uses: UMDES
MaRDI profile type: Publication
full work available at URL: j.ins.2020.07.017
OpenAlex ID: W3043429084
cites work: Modelling opacity using Petri nets
cites work: Verification of initial-state opacity in security applications of discrete event systems
cites work: Comparative analysis of related notions of opacity in centralized and coordinated architectures
cites work: Verification of Infinite-Step Opacity and Complexity Considerations
cites work: A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers
cites work: Current-State Opacity Formulations in Probabilistic Finite Automata
cites work: Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems
cites work: Quantifying opacity
cites work: Probabilistic system opacity in discrete event systems
cites work: Decidability of opacity verification problems in labeled Petri net systems
cites work: Verification of State-Based Opacity Using Petri Nets
cites work: On-line verification of current-state opacity by Petri nets and integer linear programming
cites work: Current-state opacity modelling and verification in partially observed Petri nets
cites work: Verification of opacity and diagnosability for pushdown systems
cites work: Supervisory Control for Opacity
cites work: Opacity-Enforcing Supervisory Strategies via State Estimator Constructions
cites work: Current-state opacity enforcement in discrete event systems under incomparable observations
cites work: Synthesis of insertion functions for enforcement of opacity security properties
cites work: Synthesis of Optimal Insertion Functions for Opacity Enforcement
cites work: Enforcement of opacity by public and private insertion functions
cites work: Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
cites work: A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
cites work: A general approach for optimizing dynamic sensor activation for discrete event systems
cites work: Synthesis of Dynamic Masks for Infinite-Step Opacity
cites work: Control of Networked Discrete Event Systems: Dealing with Communication Delays and Losses
cites work: Predictive Networked Control of Discrete Event Systems
cites work: Supervisory Control of a Class of Discrete Event Processes
cites work: On observability of discrete-event systems
cites work: Think globally, act locally: decentralized supervisory control
cites work: Diagnosability of discrete-event systems
cites work: Robust diagnosis of discrete event systems against intermittent loss of observations
cites work: Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation
cites work: Introduction to Discrete Event Systems
DOI: 10.1016/J.INS.2020.07.017
description: scientific article; zbMATH DE number 7436099