Matrix approach for verification of opacity of partially observed discrete event systems

DOI10.1007/s00034-020-01462-2zbMath1517.93059OpenAlexW3035268587MaRDI QIDQ6135550

Jianlong Qiu, Liujuan Mei, Rongjian Liu, Jianquan Lu

Publication date: 25 August 2023

Published in: Circuits, Systems, and Signal Processing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00034-020-01462-2

zbMATH Keywords

discrete event systemsopacitynondeterministic finite automataBoolean semi-tensor product of matrices

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Observability (93B07) Boolean control/observation systems (93C29) Observers (93B53)

Related Items (1)

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

Cites Work

• Unnamed Item
• Comparative analysis of related notions of opacity in centralized and coordinated architectures
• Synthesis of opaque systems with static and dynamic masks
• Synthesis of insertion functions for enforcement of opacity security properties
• On finite potential games
• Verification of initial-state opacity in security applications of discrete event systems
• Controllability and observability of singular Boolean control networks
• Enforcement and validation (at runtime) of various notions of opacity
• The transformation between the Galois NLFSRs and the Fibonacci NLFSRs via semi-tensor product of matrices
• Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems
• Trajectory detectability of discrete-event systems
• Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems
• Complexity of detectability, opacity and A-diagnosability for modular discrete event systems
• Current-state opacity enforcement in discrete event systems under incomparable observations
• Probabilistic system opacity in discrete event systems
• Sharp bounds for the ratio of two zeta functions
• Model and control for a class of networked evolutionary games with finite memories and time-varying networks
• Enforcing opacity of regular predicates on modal transition systems
• A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers
• Concurrent secrets
• A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
• Synthesis of Optimal Insertion Functions for Opacity Enforcement
• Introduction to Discrete Event Systems
• Stabilization of Boolean Control Networks Under Aperiodic Sampled-Data Control
• Diagnosability of discrete-event systems
• Synthesis of Dynamic Masks for Infinite-Step Opacity
• Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
• Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach
• Verification of Infinite-Step Opacity and Complexity Considerations
• Enforcing opacity by insertion functions under multiple energy constraints

This page was built for publication: Matrix approach for verification of opacity of partially observed discrete event systems