Networked opacity for finite state machine with bounded communication delays

DOI10.1016/j.ins.2021.04.072zbMath1530.93159OpenAlexW3159634764MaRDI QIDQ6071273

Shaolong Shu, Zhipeng Zhang, Cheng-yi Xia

Publication date: 23 November 2023

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ins.2021.04.072

zbMATH Keywords

network security communication delays cyber-physical systems Boolean STP finite state graph state opacity

Mathematics Subject Classification ID

Control/observation systems involving computers (process control, etc.) (93C83) Attainable sets, reachability (93B03) Delay control/observation systems (93C43) Networked control (93B70)

Related Items (1)

Dynamics of \(N\)-species cooperation models with feedback controls and continuous delays

Cites Work

Decentralized control of networked discrete event systems with communication delays
Verification of initial-state opacity in security applications of discrete event systems
Opacity of discrete event systems and its applications
Stabilization of probabilistic finite automata based on semi-tensor product of matrices
Supervisory control of discrete event systems with communication delays and partial observations
On the effect of communication delays in failure diagnosis of decentralized discrete event systems
From Boolean game to potential game
Complexity of detectability, opacity and A-diagnosability for modular discrete event systems
Detectability of networked discrete event systems
State-based fault diagnosis of discrete-event systems with partially observable outputs
A new coupled disease-awareness spreading model with mass media on multiplex networks
Output tracking of probabilistic Boolean networks by output feedback control
On the stabilization of nondeterministic finite automata via static output feedback
Stabilization of probabilistic Boolean networks via pinning control strategy
A congestion game framework for service chain composition in NFV with function benefit
Deterministic Networked Control of Discrete Event Systems With Nondeterministic Communication Delays
State Estimation of Multichannel Networked Discrete Event Systems
Opacity Enforcement for Confidential Robust Control in Linear Cyber-Physical Systems
Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication
Control of Networked Discrete Event Systems: Dealing with Communication Delays and Losses

This page was built for publication: Networked opacity for finite state machine with bounded communication delays