Verification and enforcement of current-state opacity based on a state space approach

DOI10.1016/j.ejcon.2023.100795zbMath1516.93169OpenAlexW4322505016MaRDI QIDQ6099923

Zhongxin Liu, Zeng-Qiang Chen, Yingrui Zhou

Publication date: 21 June 2023

Published in: European Journal of Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ejcon.2023.100795

zbMATH Keywords

supervisory controlsemi-tensor productcurrent-state opacitypartially-observed discrete event systemsalgebraic state space

Mathematics Subject Classification ID

Hierarchical systems (93A13) Discrete event control/observation systems (93C65) Algebraic methods (93B25)

Cites Work

• Unnamed Item
• Decentralized fault prognosis of discrete event systems with guaranteed performance bound
• Comparative analysis of related notions of opacity in centralized and coordinated architectures
• Function perturbations in Boolean networks with its application in a \textit{D. melanogaster} gene network
• Synthesis of opaque systems with static and dynamic masks
• Verification of initial-state opacity in security applications of discrete event systems
• Opacity of discrete event systems and its applications
• Current-state opacity enforcement in discrete event systems under incomparable observations
• Decentralized diagnosis of fuzzy discrete-event systems
• Three kinds of coprognosability for partially-observed discrete event systems via a matrix approach
• A comprehensive survey on STP approach to finite games
• On the stabilization of nondeterministic finite automata via static output feedback
• Introduction to Discrete Event Systems
• Supervisory Control of a Class of Discrete Event Processes
• Supervisory control of discrete-event processes with partial observations
• Detectability Measure for State Estimation of Discrete Event Systems
• A Linear Representation of Dynamics of Boolean Networks
• Robustness for Stability and Stabilization of Boolean Networks With Stochastic Function Perturbations
• On Approximate Opacity of Cyber-Physical Systems
• On the static output feedback stabilisation of discrete event dynamic systems based upon the approach of semi-tensor product of matrices
• Recent advances in optimization and game theoretic control for networked systems
• Diagnosability of a class of discrete event systems based on observations
• Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
• Opacity-Enforcing Supervisory Strategies via State Estimator Constructions
• Verification of Infinite-Step Opacity and Complexity Considerations
• Opacity Enforcing Supervisory Control Using Nondeterministic Supervisors
• Matrix approach for verification of opacity of partially observed discrete event systems

This page was built for publication: Verification and enforcement of current-state opacity based on a state space approach