Current-state opacity enforcement in discrete event systems under incomparable observations
Tong, Yin;LI, ZHIWU
;Seatzu, Carla;Giua, Alessandro
2018-01-01
Abstract
In this paper we tackle the opacity enforcement problem in discrete event systems using supervisory control theory. In particular, we consider the case where the intruder and the supervisor may observe different sets of events and neither of these sets needs to be contained in the other one. Moreover, there may be controllable events that cannot be observed by the supervisor. We propose a finite structure, called an augmented I-observer, to characterize the strings that will not leak the secret. Based on such a structure, a locally optimal supervisor enforcing current-state opacity is designed.File | Size | Format | |
---|---|---|---|
R70.pdf Solo gestori archivio
Type: versione editoriale
Size 2.03 MB
Format Adobe PDF
|
2.03 MB | Adobe PDF | & nbsp; View / Open Request a copy |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.