Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers
type: Item
instance of: scholarly article
title: Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers
zbMATH Open document ID: 1480.93270
author: Ziyue Ma
author: Xiang Yin
author: Zhiwu Li
published in: Automatica
publication date: 2022-01-07T00:00:00Z
Mathematics Subject Classification ID: 93C65
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 7453500
zbMATH Keywords: discrete event system
zbMATH Keywords: infinite-step opacity
zbMATH Keywords: \(k\)-step opacity
zbMATH Keywords: state recognizer
describes a project that uses: UMDES
MaRDI profile type: Publication
full work available at URL: j.automatica.2021.109838
OpenAlex ID: W3194981700
cites work: Introduction to Discrete Event Systems
cites work: Enforcement and validation (at runtime) of various notions of opacity
cites work: Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation
cites work: Design of Supervisors for Active Diagnosis in Discrete Event Systems
cites work: Enforcement of opacity by public and private insertion functions
cites work: Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
cites work: Decentralized Prognosis of Failures in Discrete Event Systems
cites work: Opacity of discrete event systems and its applications
cites work: Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem
cites work: Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement
cites work: Opacity-Enforcing Supervisory Strategies via State Estimator Constructions
cites work: Synthesis of Maximally Permissive Supervisors for Nondeterministic Discrete Event Systems With Nondeterministic Specifications
cites work: Verification of State-Based Opacity Using Petri Nets
cites work: Current-state opacity enforcement in discrete event systems under incomparable observations
cites work: Comparative analysis of related notions of opacity in centralized and coordinated architectures
cites work: Synthesis of insertion functions for enforcement of opacity security properties
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
cites work: Synthesis of Dynamic Masks for Infinite-Step Opacity
DOI: 10.1016/J.AUTOMATICA.2021.109838
description: scientific article; zbMATH DE number 7453500