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 securitycommunication delayscyber-physical systemsBoolean STPfinite state graphstate 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