清晨好,您是今天最早来到科研通的研友!由于当前在线用户较少,发布求助请尽量完整地填写文献信息,科研通机器人24小时在线,伴您科研之路漫漫前行!

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)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
科研的豪哥完成签到 ,获得积分10
1秒前
小焦儿完成签到,获得积分10
10秒前
完美梨愁完成签到 ,获得积分10
17秒前
wanci应助无限的以亦采纳,获得10
25秒前
糟糕的翅膀完成签到,获得积分10
26秒前
creep2020完成签到,获得积分10
28秒前
谭凯文完成签到 ,获得积分10
35秒前
lorentzh完成签到,获得积分10
52秒前
55秒前
YX完成签到 ,获得积分10
59秒前
1分钟前
Sandy应助Am采纳,获得20
1分钟前
桐桐应助嘿嘿嘿侦探社采纳,获得10
1分钟前
ycool完成签到 ,获得积分10
1分钟前
小强完成签到 ,获得积分10
1分钟前
大树完成签到 ,获得积分10
1分钟前
1分钟前
1分钟前
2分钟前
2分钟前
2分钟前
naiyantang完成签到 ,获得积分10
2分钟前
科研通AI2S应助科研通管家采纳,获得10
2分钟前
周常通完成签到,获得积分10
3分钟前
3分钟前
xiaosui完成签到 ,获得积分10
3分钟前
lingling完成签到 ,获得积分10
3分钟前
浪麻麻完成签到 ,获得积分10
3分钟前
提提在干嘛完成签到,获得积分10
3分钟前
4分钟前
4分钟前
赧赧完成签到 ,获得积分10
4分钟前
木南完成签到 ,获得积分10
4分钟前
wang完成签到,获得积分10
4分钟前
望向天空的鱼完成签到 ,获得积分10
4分钟前
健康的大船完成签到 ,获得积分10
4分钟前
armpit完成签到,获得积分10
4分钟前
5分钟前
12A完成签到,获得积分10
5分钟前
k001boyxw完成签到,获得积分10
5分钟前
高分求助中
A new approach to the extrapolation of accelerated life test data 1000
Cognitive Neuroscience: The Biology of the Mind 1000
Technical Brochure TB 814: LPIT applications in HV gas insulated switchgear 1000
Immigrant Incorporation in East Asian Democracies 600
Nucleophilic substitution in azasydnone-modified dinitroanisoles 500
不知道标题是什么 500
A Preliminary Study on Correlation Between Independent Components of Facial Thermal Images and Subjective Assessment of Chronic Stress 500
热门求助领域 (近24小时)
化学 材料科学 医学 生物 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 遗传学 基因 物理化学 催化作用 冶金 细胞生物学 免疫学
热门帖子
关注 科研通微信公众号,转发送积分 3968521
求助须知:如何正确求助?哪些是违规求助? 3513341
关于积分的说明 11167298
捐赠科研通 3248700
什么是DOI,文献DOI怎么找? 1794417
邀请新用户注册赠送积分活动 875030
科研通“疑难数据库(出版商)”最低求助积分说明 804664