Cover Image

Verification and Enforcement of Strong State-Based Opacity for Discrete-Event Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Han, Xiaoguang, Zhang, Kuize, Li, Zhiwu
Format:	Preprint
Published:	2024
Subjects:	Formal Languages and Automata Theory
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

[Draft] High-order estimation-based properties and high-order observers for labeled finite-state automata
by: Zhang, Kuize, et al.
Published: (2024)

Synthesis of State-Attack Strategies for Anonymity and Opacity Violation in Discrete Event Systems
by: Li, Xiaoyan, et al.
Published: (2025)

Opacity Enforcement by Edit Functions Under Incomparable Observations
by: Duan, Wei, et al.
Published: (2024)

Diagnosability of labeled $\mathfrak{D_p}$ automata
by: Zhang, Kuize, et al.
Published: (2021)

Opacity in Discrete Event Systems: A Perspective and Overview
by: Yin, Xiang
Published: (2026)

More on Maximally Permissive Similarity Control of Discrete Event Systems
by: Wang, Yu, et al.
Published: (2024)

State estimation of timed automata under partial observation [Draft version]
by: Gao, Chao, et al.
Published: (2024)

Interpreted Higher-Dimensional Automata for Concurrent Discrete-Event Control
by: Bellier, Dylan, et al.
Published: (2026)

Efficient Interaction-Based Offline Runtime Verification of Distributed Systems with Lifeline Removal
by: Mahe, Erwan, et al.
Published: (2024)

Alloy-Driven Verification of Object-Centric Event Data: From Temporal Logic to Knowledge Graphs
by: Latif, Saba, et al.
Published: (2025)

Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction
by: Eichler, Paul, et al.
Published: (2024)

On Algorithms verifying Initial-and-Final-State Opacity: Complexity, Special Cases, and Comparison
by: Masopust, Tomáš, et al.
Published: (2024)

Efficient Runtime Verification of Real-Time Systems under Parametric Communication Delays
by: Fränzle, Martin, et al.
Published: (2024)

On the Complexity of the Secret Protection Problem for Discrete-Event Systems
by: Masopust, Tomáš, et al.
Published: (2025)

The Similarity Control Problem with Required Events
by: Wang, Yu, et al.
Published: (2026)

Reasoning about Rare-Event Reachability in Stochastic Vector Addition Systems via Affine Vector Spaces
by: Jeppson, Joshua, et al.
Published: (2025)

Automated Formal Verification of Area-Optimized Safety Registers in Automotive SoCs
by: Zhang, Shuhang, et al.
Published: (2025)

New Insights into the Decidability of Opacity in Timed Automata
by: Deng, Weilin, et al.
Published: (2025)

Conservative Perception Models for Probabilistic Verification
by: Cleaveland, Matthew, et al.
Published: (2025)

Counting Abstraction for the Verification of Structured Parameterized Networks
by: Bozga, Marius, et al.
Published: (2025)

Marking Data-Informativity and Data-Driven Supervisory Control of Discrete-Event Systems
by: Liu, Yingying, et al.
Published: (2026)

Simulations for Event-Clock Automata
by: Akshay, S, et al.
Published: (2022)

Languages of Boundedly-Ambiguous Vector Addition Systems with States
by: Czerwiński, Wojciech, et al.
Published: (2025)

TEMPORA: Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics
by: Akshay, S., et al.
Published: (2025)

Learning Event-recording Automata Passively
by: Majumdar, Anirban, et al.
Published: (2025)

Responsibility in Actor-Based Systems
by: Baier, Christel, et al.
Published: (2024)

Forgetting Event Order in Higher-Dimensional Automata
by: Zouari, Safa
Published: (2026)

AGDES: Automatic Generation of Dependent Event Sequences
by: Guzman, Alexander Obeid
Published: (2026)

Greybox Learning of Languages Recognizable by Event-Recording Automata
by: Majumdar, Anirban, et al.
Published: (2024)

Synchronous Signal Temporal Logic for Decidable Verification of Cyber-Physical Systems
by: Roop, Partha, et al.
Published: (2026)

Vulnerabilities Analysis and Secure Controlling for Unmanned Aerial System Based on Reactive Synthesis
by: Yang, Dong, et al.
Published: (2024)

Compositional Abstraction for Timed Systems with Broadcast Synchronization
by: Chen, Hanyue, et al.
Published: (2025)

Operational State Complexity of Block Languages
by: Duarte, Guilherme, et al.
Published: (2024)

On the Representation and State Complexity of Block Languages
by: Duarte, Guilherme, et al.
Published: (2024)

Waiting Nets: State Classes and Taxonomy
by: Hélouët, Loïc, et al.
Published: (2022)

CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs
by: Zhang, Kaiwen, et al.
Published: (2026)

Structural Abstraction and Refinement for Probabilistic Programs
by: Li, Guanyan, et al.
Published: (2025)

Exact Accepting-State Spectrum for Reversal of Permutation Automata
by: German, Samuel
Published: (2026)

Fast and General Automatic Differentiation for Finite-State Methods
by: Yang, Lucas Ondel, et al.
Published: (2026)

Efficient Constructions of Finite-State Independent Normal Pairs
by: Pulari, Subin
Published: (2026)