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.
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.Primo
;Tong Y.Penultimo
;Giua A.Ultimo
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 in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
20aut_b.pdf
Solo gestori archivio
Tipologia:
versione editoriale (VoR)
Dimensione
368.67 kB
Formato
Adobe PDF
|
368.67 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
