Current-state opacity enforcement in discrete event systems under incomparable observations
type: Item
instance of: scholarly article
title: Current-state opacity enforcement in discrete event systems under incomparable observations
zbMATH Open document ID: 1398.93223
author: Yin Tong
author: Zhiwu Li
author: C. Seatzu
author: Alessandro Giua
published in: Discrete Event Dynamic Systems
publication date: 2018-10-08T00:00:00Z
Mathematics Subject Classification ID: 93C65
Mathematics Subject Classification ID: 93B07
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 93-04
zbMATH DE Number: 6948843
zbMATH Keywords: opacity
zbMATH Keywords: discrete event systems
zbMATH Keywords: supervisory control
zbMATH Keywords: finite state automata
describes a project that uses: UMDES
MaRDI profile type: Publication
full work available at URL: s10626-017-0264-7
OpenAlex ID: W2768035641
cites work: Concurrent secrets
cites work: Modelling opacity using Petri nets
cites work: Lectures on Concurrency and Petri Nets
cites work: Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages
cites work: Introduction to Discrete Event Systems
cites work: Dynamic Observers for the Synthesis of Opaque Systems
cites work: Synthesis of opaque systems with static and dynamic masks
cites work: On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation
cites work: Supervisory Control for Opacity
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: Characterizing intransitive noninterference for 3-domain security policies with observability
cites work: On-line control of partially observed discrete event systems
cites work: Opacity of discrete event systems and its applications
cites work: Modular supervisory control of discrete-event systems
cites work: Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications
cites work: Opacity-Enforcing Supervisory Strategies via State Estimator Constructions
cites work: Programming Languages and 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: 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: Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems
cites work: A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
DOI: 10.1007/S10626-017-0264-7
description: scientific article; zbMATH DE number 6948843