Strong current-state and initial-state opacity of discrete-event systems

DOI10.1016/J.AUTOMATICA.2022.110756MaRDI QIDQ2682301zbMATH OpenOpenAlexFDO

Authors Xiaoguang Han, Kuize Zhang, Zhiwu Li, Jia-Hui Zhang, Zengqiang Chen

Publication date 31 January 2023

Published in Automatica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2109.05475

zbMATH Keywords

concurrent compositiondiscrete-event systemstrong current-state opacitystrong infinite-step opacitystrong initial-state opacity

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65)

Recommendations

• Verifying weak and strong \(k\)-step opacity in discrete-event systems
• Verification and enforcement of strong infinite- and k-step opacity using state recognizers
• Comparing the notions of opacity for discrete-event systems
• Opacity of discrete event systems and its applications
• Active opacity of discrete-event systems

Cites work

• A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers
• A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems
• Comments on: ``A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers
• Comparative analysis of related notions of opacity in centralized and coordinated architectures
• Comparing the notions of opacity for discrete-event systems
• Current-state opacity enforcement in discrete event systems under incomparable observations
• Current-State Opacity Formulations in Probabilistic Finite Automata
• Detectability of Discrete Event Systems
• Diagnosability of discrete-event systems
• Enforcement and validation (at runtime) of various notions of opacity
• Enforcement of opacity by public and private insertion functions
• Estimation and inference in discrete event systems. A model-based approach with finite automata
• Infinite-step opacity and K-step opacity of stochastic discrete-event systems
• Information control in networked discrete event systems and its application to battery management systems
• Introduction to Discrete Event Systems
• Notions of Centralized and Decentralized Opacity in Linear Systems
• On Approximate Opacity of Cyber-Physical Systems
• On detectability of labeled Petri nets and finite automata
• On-line verification of current-state opacity by Petri nets and integer linear programming
• Opacity Enforcement for Confidential Robust Control in Linear Cyber-Physical Systems
• Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
• Opacity of discrete event systems and its applications
• Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach
• Opacity-Enforcing Supervisory Strategies via State Estimator Constructions
• Probabilistic system opacity in discrete event systems
• Supervisory Control for Opacity
• Synthesis of Dynamic Masks for Infinite-Step Opacity
• Verification and enforcement of strong infinite- and k-step opacity using state recognizers
• Verification of Infinite-Step Opacity and Complexity Considerations
• Verification of initial-state opacity in security applications of discrete event systems
• Verification of State-Based Opacity Using Petri Nets

Cited in

(27)

• Infinite-step opacity and K-step opacity of stochastic discrete-event systems
• Current-state opacity enforcement in discrete event systems under incomparable observations
• Probabilistic system opacity in discrete event systems
• Opacity of networked discrete event systems
• Comparing the notions of opacity for discrete-event systems
• Verification and enforcement of strong infinite- and k-step opacity using state recognizers
• A framework for current-state opacity under dynamic information release mechanism
• Comparative analysis of related notions of opacity in centralized and coordinated architectures
• Verification of initial-state opacity in security applications of discrete event systems
• Current-state opacity and initial-state opacity of modular discrete event systems
• Secure Your Intention: On Notions of Pre-Opacity in Discrete-Event Systems
• Verification and enforcement of current-state opacity based on a state space approach
• State-based opacity of labeled real-time automata
• Active opacity of discrete-event systems
• Verifying weak and strong \(k\)-step opacity in discrete-event systems
• Quantifying opacity of discrete event systems modeled with probabilistic Petri nets
• Security and privacy with opacity-based state observation for finite state machine
• Opacity of discrete-event systems under nondeterministic observation mechanism
• State-based opacity of real-time automata
• Opacity enforcement in discrete event systems using differential privacy
• New insights into opacity verification in timed discrete-event systems
• A two-pronged approach to security of discrete-event systems
• Verification of current-state opacity and opaque time for labeled time Petri net systems
• Always guarding you: strong initial-and-final-state opacity of discrete-event systems
• Opacity of discrete event systems and its applications
• Verification and transformation for a trajectory-based weak K-step opacity
• Verification and enforcement of strong state-based opacity for discrete-event systems

Describes a project that uses

Uses Software

• UMDES

This page was built for publication: Strong current-state and initial-state opacity of discrete-event systems

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