Current-state opacity enforcement in discrete event systems under incomparable observations
作者: Yin TongZhiwu LiCarla SeatzuAlessandro Giua
作者单位: 1SIST, Southwest Jiaotong University
2ISE, Macau University of Science and Technology
3SEME, Xidian University
4DIEE, University of Cagliari
5Aix Marseille Université, Université de Toulon
刊名: Discrete Event Dynamic Systems, 2018, Vol.28 (2), pp.161-182
来源数据库: Springer Journal
DOI: 10.1007/s10626-017-0264-7
关键词: OpacityDiscrete event systemsSupervisory controlFinite state automata
英文摘要: Abstract(#br)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.
全文获取路径: Springer  (合作)
影响因子:0.711 (2012)