Current-State Opacity Formulations in Probabilistic Finite Automata (vol 59, pg 120, 2014)

• 成果类型: Correction
• 署名作者: Saboori, Anooshiravan; Hadjicostis, Christoforos N.
• 署名单位: University of Cyprus
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2024.3371912
• 发表日期: 2024
• 页码: 3480-3481
• 关键词: automata; Discrete event systems (DES); Markov processes; opacity; verification complexity

摘要

This note identifies a flaw in the proof of Theorem 16 in (Saboori and Hadjicostis, 2014). It also discusses how the statement of Theorem 16 can be adjusted and provides the corresponding proof.