Authors' reply to ``Comments on: ``A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers'

DOI10.1016/J.AUTOMATICA.2020.109273zbMath1461.93325OpenAlexW3088115928MaRDI QIDQ2663851

Stéphane Lafortune, Xiang Yin

Publication date: 20 April 2021

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.automatica.2020.109273

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Authentication, digital signatures and secret sharing (94A62) Observers (93B53)

Cites Work

• Comments on: ``A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers
• A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers
• Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach

This page was built for publication: Authors' reply to ``Comments on: ``A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers'