Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach
From MaRDI portal
Publication:5211280
DOI10.1109/TAC.2019.2908726zbMath1482.93403arXiv1802.03321MaRDI QIDQ5211280
Kuize Zhang, Xiang Yin, Majid Zamani
Publication date: 28 January 2020
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1802.03321
93C65: Discrete event control/observation systems
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Verification of approximate opacity for switched systems: a compositional approach, Enforcing current-state opacity through shuffle and deletions of event observations, Enforcement for infinite-step opacity and K-step opacity via insertion mechanism, Authors' reply to ``Comments on: ``A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers', Initial-state detectability and initial-state opacity of unambiguous weighted automata, Compositional synthesis of opacity-preserving finite abstractions for interconnected systems