Comments on “A new approach for the verification of infinite-step and K-step opacity using two-way observers” [Automatica 80 (2017) 162–171]
Lan H.First
;Tong Y.Penultimate
;Giua A.Last
2020-01-01
Abstract
In this note, we point out that the observer of a given discrete event system and the observer of the reversed system can be used together to verify both infinite-step opacity and K-step opacity without constructing the two-way observer in Yin and Lafortune (2017). In this way, the complexity of checking the two opacity properties can be reduced.File | Size | Format | |
---|---|---|---|
20aut_b.pdf Solo gestori archivio
Type: versione editoriale
Size 368.67 kB
Format Adobe PDF
|
368.67 kB | Adobe PDF | & nbsp; View / Open Request a copy |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.