Verification and transformation for a trajectory-based weak K-step opacity

Systems & Control Letters 2026

View at publisher

Authors: Zhenhua Chen, Rongjian Liu, Xiaoguang Han, Bowen Li, Xing Guo

DOI: 10.1016/j.sysconle.2026.106395

Cited by: 0

References: 27

Fields of Study & Subjects

Petri Nets in System Modeling Formal Methods in Verification Smart Grid Security and Resilience

References 27