Università degli Studi di Cagliari
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
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.