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)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
Vicky发布了新的文献求助30
刚刚
辛勤迎海发布了新的文献求助10
刚刚
勤劳涵山发布了新的文献求助30
1秒前
liyutong完成签到,获得积分10
2秒前
五味杂陈完成签到 ,获得积分10
4秒前
充电宝应助12312312312采纳,获得20
6秒前
7秒前
8秒前
xiaobo发布了新的文献求助50
9秒前
量子星尘发布了新的文献求助10
11秒前
11秒前
顾矜应助研友_nvggxZ采纳,获得10
12秒前
独特冰安发布了新的文献求助10
12秒前
www关闭了www文献求助
12秒前
13秒前
cs完成签到,获得积分10
14秒前
领导范儿应助粗犷的德天采纳,获得10
14秒前
15秒前
15秒前
拼搏梦旋发布了新的文献求助10
15秒前
liang完成签到,获得积分10
16秒前
CipherSage应助wilson采纳,获得150
18秒前
Coral.发布了新的文献求助10
18秒前
周梦晴完成签到,获得积分10
19秒前
19秒前
lp完成签到,获得积分10
19秒前
20秒前
高高的石头完成签到 ,获得积分10
21秒前
ATTENTION完成签到,获得积分10
21秒前
丝垚完成签到 ,获得积分10
21秒前
XXJ完成签到,获得积分10
23秒前
逆时针发布了新的文献求助10
23秒前
小二郎应助今天洗头了嚒采纳,获得10
23秒前
yu应助科研狗采纳,获得10
24秒前
脑洞疼应助lll采纳,获得10
25秒前
CodeCraft应助Aurora.H采纳,获得10
27秒前
Giggle完成签到,获得积分10
28秒前
DQ1175完成签到,获得积分10
29秒前
刘人英发布了新的文献求助10
29秒前
fuje发布了新的文献求助10
29秒前
高分求助中
A new approach to the extrapolation of accelerated life test data 1000
Picture Books with Same-sex Parented Families: Unintentional Censorship 700
ACSM’s Guidelines for Exercise Testing and Prescription, 12th edition 500
Nucleophilic substitution in azasydnone-modified dinitroanisoles 500
不知道标题是什么 500
Indomethacinのヒトにおける経皮吸収 400
Phylogenetic study of the order Polydesmida (Myriapoda: Diplopoda) 370
热门求助领域 (近24小时)
化学 材料科学 医学 生物 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 遗传学 基因 物理化学 催化作用 冶金 细胞生物学 免疫学
热门帖子
关注 科研通微信公众号,转发送积分 3976177
求助须知:如何正确求助?哪些是违规求助? 3520366
关于积分的说明 11202970
捐赠科研通 3256899
什么是DOI,文献DOI怎么找? 1798535
邀请新用户注册赠送积分活动 877725
科研通“疑难数据库(出版商)”最低求助积分说明 806516