期刊
IFAC PAPERSONLINE
卷 51, 期 7, 页码 100-105出版社
ELSEVIER
DOI: 10.1016/j.ifacol.2018.06.286
关键词
Discrete event systems; opacity; opacity-enforcement; event observation delay
资金
- Brazilian Research Council, CNPq [462307/2014-0]
- Carlos Chagas Foundation, FAPERJ [E-26/010.002890/2014]
Opacity is a property that ensures that a secret behavior of the system is kept hidden from an Intruder. In this paper, we deal with current-state opacity, and propose an Opacity-Enforcer that is able to change, in an appropriate way, the order of observation in the event occurrences in the system, so as to mislead the Intruder to wrongly estimate estimate at least one non-secret state. A necessary and sufficient condition for the feasibility of the Opacity Enforcer synthesis is presented and also two algorithms to build the automaton that realizes such an enforcement. An example taken from the literature is used to illustrate the results of the paper. (C) 2018, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据