Verifying weak and strong k-step opacity in discrete-event systems

不透明度 算法 观察员(物理) 财产(哲学) 国家(计算机科学) 可见的 数学 计算机科学 物理 光学 量子力学 认识论 哲学
作者
Jiří Balun,Tomáš Masopust
出处
期刊:Automatica [Elsevier BV]
卷期号:155: 111153-111153 被引量:4
标识
DOI:10.1016/j.automatica.2023.111153
摘要

Opacity is an important system-theoretic property expressing whether a system may reveal its secret to a passive observer (an intruder) who knows the structure of the system but has only limited observations of its behavior. Several notions of opacity have been discussed in the literature, including current-state opacity, k-step opacity, and infinite-step opacity. We investigate weak and strong k-step opacity, the notions that generalize both current-state opacity and infinite-step opacity, and ask whether the intruder is not able to decide, at any time instant, when respectively whether the system was in a secret state during the last k observable steps. We design a new algorithm verifying weak k-step opacity, the complexity of which is lower than the complexity of existing algorithms and does not depend on the parameter k, and show how to use it to verify strong k-step opacity by reducing strong k-step opacity to weak k-step opacity. The complexity of the resulting algorithm is again better than the complexity of existing algorithms and does not depend on the parameter k.
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
更新
PDF的下载单位、IP信息已删除 (2025-6-4)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
zzq778发布了新的文献求助10
2秒前
黄怡婷完成签到 ,获得积分10
2秒前
Daisy应助科研通管家采纳,获得10
3秒前
机智苗应助科研通管家采纳,获得10
3秒前
香蕉觅云应助科研通管家采纳,获得10
3秒前
FashionBoy应助科研通管家采纳,获得10
3秒前
赘婿应助科研通管家采纳,获得10
3秒前
大模型应助科研通管家采纳,获得10
3秒前
yanmu2010应助科研通管家采纳,获得10
3秒前
kingwill应助科研通管家采纳,获得20
4秒前
银包铜应助科研通管家采纳,获得10
4秒前
共享精神应助科研通管家采纳,获得10
4秒前
4秒前
情怀应助科研通管家采纳,获得10
4秒前
李爱国应助科研通管家采纳,获得10
4秒前
所所应助科研通管家采纳,获得10
4秒前
4秒前
Orange应助科研通管家采纳,获得10
4秒前
4秒前
4秒前
Lucas完成签到,获得积分10
6秒前
C胖胖完成签到,获得积分10
6秒前
舒心的完成签到,获得积分10
6秒前
zz完成签到,获得积分10
7秒前
8秒前
8秒前
8秒前
9秒前
luozejun完成签到,获得积分10
9秒前
ycp完成签到,获得积分10
10秒前
dawang完成签到 ,获得积分10
10秒前
洁净的智宸完成签到 ,获得积分10
10秒前
zhaopeipei发布了新的文献求助10
10秒前
eternity136完成签到,获得积分10
10秒前
11秒前
SciGPT应助zz采纳,获得10
11秒前
科研欣路完成签到,获得积分10
12秒前
bulingbuling发布了新的文献求助10
13秒前
斯文败类应助Y123采纳,获得10
13秒前
eternity136发布了新的文献求助10
13秒前
高分求助中
【提示信息,请勿应助】关于scihub 10000
Les Mantodea de Guyane: Insecta, Polyneoptera [The Mantids of French Guiana] 3000
徐淮辽南地区新元古代叠层石及生物地层 3000
The Mother of All Tableaux: Order, Equivalence, and Geometry in the Large-scale Structure of Optimality Theory 3000
Global Eyelash Assessment scale (GEA) 1000
Picture Books with Same-sex Parented Families: Unintentional Censorship 550
Research on Disturbance Rejection Control Algorithm for Aerial Operation Robots 500
热门求助领域 (近24小时)
化学 材料科学 医学 生物 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 遗传学 基因 物理化学 催化作用 冶金 细胞生物学 免疫学
热门帖子
关注 科研通微信公众号,转发送积分 4038368
求助须知:如何正确求助?哪些是违规求助? 3576068
关于积分的说明 11374313
捐赠科研通 3305780
什么是DOI,文献DOI怎么找? 1819322
邀请新用户注册赠送积分活动 892672
科研通“疑难数据库(出版商)”最低求助积分说明 815029