Opacity of discrete event systems and its applications
type: Item
instance of: scholarly article
title: Opacity of discrete event systems and its applications
zbMATH Open document ID: 1216.93020
author: Feng Lin
published in: Automatica
publication date: 2011-04-19T00:00:00Z
Mathematics Subject Classification ID: 93B07
Mathematics Subject Classification ID: 93C65
Mathematics Subject Classification ID: 93C95
zbMATH DE Number: 5880150
zbMATH Keywords: opacity
zbMATH Keywords: discrete event systems
zbMATH Keywords: anonymity
zbMATH Keywords: secrecy
zbMATH Keywords: observability
zbMATH Keywords: diagnosability
zbMATH Keywords: detectability
MaRDI profile type: Publication
full work available at URL: j.automatica.2011.01.002
OpenAlex ID: W2052227055
cites work: Preserving Secrecy Under Refinement
cites work: Concurrent secrets
cites work: Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation
cites work: Formulas for calculating supremal controllable and normal sublanguages
cites work: Modelling opacity using Petri nets
cites work: Classical and Logic-Based Dynamic Observers for Finite Automata
cites work: Why event observation: Observability revisited
cites work: Dynamic Observers for the Synthesis of Opaque Systems
cites work: Supervisory control of discrete-event processes with partial observations
cites work: Fault diagnosis in discrete-event systems: Framework and model reduction
cites work: On-line control of partially observed discrete event systems
cites work: Diagnosability of discrete event systems and its applications
cites work: On observability of discrete-event systems
cites work: Supervisory control of timed discrete-event systems under partial observation
cites work: Observability of discrete event dynamic systems
cites work: Safe diagnosability for fault-tolerant supervision of discrete-event systems
cites work: Supervisory Control of a Class of Discrete Event Processes
cites work: Active diagnosis of discrete-event systems
cites work: Diagnosability of discrete-event systems
cites work: Detectability of Discrete Event Systems
cites work: State estimation and detectability of probabilistic discrete event systems
DOI: 10.1016/J.AUTOMATICA.2011.01.002
description: scientific article; zbMATH DE number 5880150