Networked opacity for finite state machine with bounded communication delays

DOI10.1016/J.INS.2021.04.072MaRDI QIDQ6071273zbMATH OpenOpenAlexFDO

Authors Zhipeng Zhang, Shaolong Shu, 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

Boolean STPcommunication delayscyber-physical systemsfinite state graphnetwork securitystate opacity

Mathematics Subject Classification ID

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

Recommendations

• Opacity of networked discrete event systems
• Information control in networked discrete event systems and its application to battery management systems
• STP-based verification and synthesis of state opacity for logical finite state machines
• Security and privacy with opacity-based state observation for finite state machine
• Verification of initial-state opacity in security applications of discrete event systems

Cites work

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

Cited in

(11)

• Dynamics of \(N\)-species cooperation models with feedback controls and continuous delays
• STP-based verification and synthesis of state opacity for logical finite state machines
• Zero-determinant strategies of multi-player multi-action repeated games with multiple memories
• Minimum cost control of weighted networked evolutionary games with switched topologies and threshold
• An algebraic approach to networked state estimation, prediction and supervisory control synthesis of logical finite state machines
• Algebraic calculation for safety synthesis of networked logical finite state machines
• Stability of networked evolutionary games with payoff perturbation
• Recurrent output tracking of Boolean networks
• Strategy optimization of controlled evolutionary games on a two-layer coupled network using Lebesgue sampling
• Stability analysis for switched Boolean networks with minimum dwell time
• Detectability, opacity and declassification of timed DESs with release observation mechanism

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6071273)