Comments on: ``A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers
From MaRDI portal
Publication:2208612
DOI10.1016/j.automatica.2020.109290zbMath1453.93143OpenAlexW3091087026MaRDI QIDQ2208612
Jin Guo, Hao Lan, Yin Tong, Alessandro Giua
Publication date: 3 November 2020
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2020.109290
Discrete event control/observation systems (93C65) Authentication, digital signatures and secret sharing (94A62) Observers (93B53)
Related Items (5)
Verification of \(K\)-step and infinite-step opacity of bounded labeled Petri nets ⋮ Authors' reply to ``Comments on: ``A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers' ⋮ A general language-based framework for specifying and verifying notions of opacity ⋮ Strong current-state and initial-state opacity of discrete-event systems ⋮ Verifying weak and strong \(k\)-step opacity in discrete-event systems
Cites Work
This page was built for publication: Comments on: ``A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers
