Game current-state opacity formulation in probabilistic resource automata

DOI10.1016/j.ins.2022.09.030OpenAlexW4295537138MaRDI QIDQ6125209

Li Yin, Jianzhou Wang, Dong Li, NaiQi Wu

Publication date: 11 April 2024

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ins.2022.09.030

zbMATH Keywords

discrete-event systemgame current-state analyzergame current-state opacityprobabilistic resource automatonresource automaton

Mathematics Subject Classification ID

Other game-theoretic models (91A40) Discrete event control/observation systems (93C65)

Cites Work

• Unnamed Item
• Comparative analysis of related notions of opacity in centralized and coordinated architectures
• Synthesis of insertion functions for enforcement of opacity security properties
• Verification of initial-state opacity in security applications of discrete event systems
• Opacity of discrete event systems and its applications
• Enforcement and validation (at runtime) of various notions of opacity
• Current-state opacity enforcement in discrete event systems under incomparable observations
• Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems
• Concurrent secrets
• Optimal supervisory control with mean payoff objectives and under partial observation
• Current-State Opacity Formulations in Probabilistic Finite Automata

This page was built for publication: Game current-state opacity formulation in probabilistic resource automata