季一丁;尹、香;圣菲拉福顿 通过插入函数在多个能量约束下增强不透明度。 （英语） Zbl 07806836号 Automatica公司 108，文章ID 108476，14 p.（2019）. 摘要：本文研究了受资源或能量限制的多个定量约束的插入函数对不透明度的强制执行。有一个恶意入侵者试图从其观察结果中推断出系统的秘密。为了防止泄露机密，插入函数将虚拟事件插入到系统的输出中，以模糊入侵者。系统由几种类型的资源初始化，称为能量。能量被事件事件消耗或补充，而总是被事件插入消耗。插入函数必须强制执行不透明度，同时确保每种类型的资源永远不会耗尽。然后，这个问题被简化为插入函数和系统（环境）之间的两层博弈，并有适当定义的目标。一种称为能量插入结构的游戏结构，表示为环境影响报告提出了，它可证明包含了能量约束不透明度强制问题的解决方案。然后我们进一步研究了插入函数的获胜区域上的有界成本率插入问题环境影响报告，这要求长期平均插入成本率是有界的。这个问题被公式化为一个多维平均收益博弈，并应用一种称为超平面分离技术的特殊方法来有效地解决它。 引用于2文件 MSC公司： 93元65角 离散事件控制/观测系统 91A80型 博弈论的应用 关键词：离散事件系统;不透明度强制;插入函数;部分观测;定量游戏 PDF格式BibTeX公司 XML格式引用 \textit{Y.Ji}等人，Automatica 108，文章ID 108476，14 p.（2019；Zbl 07806836） 全文： 内政部 参考文献： [1] Apt，K.R。；Grädel，E.，计算机科学家博弈论讲座（2011），剑桥大学出版社·Zbl 1214.91003号 [2] Barcelos，R.J.，&；Basilio，J.C.（2018年）。通过事件观察中的混乱来增强当前状态的不透明度。第14届离散事件系统国际研讨会论文集 [3] 贝拉德。；马林斯，J。；Sassolas，M.，《量化不透明度》。计算机科学中的数学结构，专刊2，361-403（2015）·Zbl 1361.68117号 [4] 博伊德，S。；Vandenberghe，L.，《凸优化》（2004），剑桥大学出版社·Zbl 1058.90049号 [5] Brim，L。；查洛普卡，J。；Doyen，L。；Gentilini，R。；Raskin，J.-F.，《平均游戏的更快算法》。系统设计中的形式方法，297-118（2011）·Zbl 1213.68430号 [6] 卡桑德拉斯，C.G。；Lafortune，S.，《离散事件系统导论》，第二版（2008），施普林格出版社·Zbl 1165.93001号 [7] Cassez，F.，《时间不透明的黑暗面》，21-30 [8] 卡塞兹，F。；Dubreil，J。；Marchand，H.，《带有静态和动态掩模的不透明系统的合成》。系统设计中的形式方法，188-115（2012）·Zbl 1247.68161号 [9] 查特吉，K。；Velner，Y.，多维平均对开游戏的超平面分离技术。《计算机与系统科学杂志》，236-259（2017）·Zbl 1371.68107号 [10] 谢多尔，S。；Morvan，C。；平钦纳特，S。；Marchand，H.，由递归分片系统建模的无限状态系统的诊断和不透明度问题。离散事件动态系统：理论与应用，1-2271-294（2015）·Zbl 1328.93166号 [11] 陈，J。；易卜拉欣，M。；Kumar，R.，部分可观测随机离散事件系统中保密性的量化。IEEE自动化科学与工程学报，1185-195（2017） [12] Degorre，A。；Doyen，L。；Gentilini，R。；Raskin，J.-F。；托伦奇克，S.，《信息不完全的能源和平庸游戏》，260-274·Zbl 1287.91028号 [13] Dubreil，J。；Darondeau，P。；Marchand，H.，不透明监管。IEEE自动控制汇刊，5，1089-1100（2010）·Zbl 1368.93372号 [14] 埃伦菲赫特，A。；Mycielski，J.，平均回报游戏的位置策略。国际博弈论杂志，2109-113（1979）·Zbl 0499.90098号 [15] Falcone，Y。；Marchand，H.，各种不透明概念的实施和验证（在运行时）。离散事件动态系统：理论与应用，4531-570（2015）·Zbl 1400.94143号 [16] 雅各布·R。；Lesage，J.-J。；Faure，J.-M.，《离散事件系统不透明度概述：模型、验证和量化》。控制中的年度审查（2016年） [17] 纪毅。；吴永川。；Lafortune，S.，《公共和私有插入函数的不透明性实施》。自动化，369-378（2018）·Zbl 1400.93187号 [18] 季，Y.，Yin，X.，&；Lafortune，S.（2018年）。能量约束下插入函数的不透明度增强。第14届离散事件系统国际研讨会论文集 [19] 纪毅。；尹，X。；Lafortune，S.，《使用不确定性公共已知编辑功能的不透明度实施》。《IEEE自动控制汇刊》（2019年），（出版中）。http://dx.doi.org/10.1109/TAC.2019.2897553 ·Zbl 1482.93382号 [20] 科洛格鲁，C。；Hadjicostis，C.N.，离散事件系统中的概率系统不透明度。离散事件动态系统：理论与应用，2289-314（2018）·Zbl 1398.93216号 [21] Levy，A.，《基本集合论》（第13卷）（2002年），Courier Corporation [22] Lin，F.，离散事件系统的不透明度及其应用。Automatica，3496-503（2011）·Zbl 1216.93020号 [23] Masopus，T。；Yin，X.，模块化离散事件系统的可检测性、不透明度和A-可诊断性的复杂性。自动化，290-295（2019）·Zbl 1415.93062号 [24] Mohajerani，S.，Ji，Y.，&；Lafortune，S.（2018年）。使用基于互模拟的抽象高效合成用于不透明度增强的编辑函数。程序中。第57届IEEE决策与控制会议 [25] 马林斯，J.，&；Yeddes，M.（2014）。对奥威尔式观察家的不透明和不敏感的不干涉。第十二届离散事件系统国际研讨会论文集 [26] Nash-Williams，C.S.J.A.，关于良好拟序有限树。剑桥哲学学会数学论文集，4833-835（1963）·Zbl 0122.25001号 [27] Pérez，G.A.，部分观测能量博弈的固定初始信用问题是完全的。信息处理信函，91-99（2017）·Zbl 1392.68194号 [28] Pruekprasert，S。；Ushio，T.，针对固定初始信用能量问题的部分观测定量离散事件系统的监督控制。IEICE信息与系统交易，6，1166-1171（2017） [29] Rackoff，C.，向量加法系统的覆盖和有界问题。理论计算机科学，223-231（1978）·Zbl 0368.68054号 [30] 萨布里，A。；Hadjicostis，C.，离散事件系统中的安全和不透明概念，5056-5061 [31] 萨布里，A。；Hadjicostis，C.，离散事件系统安全应用中初始状态不透明度的验证。信息科学，115-132（2013）·Zbl 1320.68119号 [32] Takai，S。；Oka，Y.，监督控制中产生的上可控和不透明子语言的公式。SICE控制、测量和系统集成杂志，4307-311（2008） [33] Tong，Y。；李，Z。；西特祖，C。；Giua，A.，标记Petri网系统中不透明性验证问题的可判定性。自动化，48-53（2017）·Zbl 1370.93172号 [34] Tong，Y。；李，Z。；西特祖，C。；Giua，A.，在不可比观测下离散事件系统中的当前状态不透明度实施。离散事件动态系统：理论与应用，2161-182（2018）·Zbl 1398.93223号 [35] 尹，X。；Lafortune，S.，为部分观察到的离散事件系统合成财产激励监督员的统一方法。IEEE自动控制汇刊，82140-2154（2016）·Zbl 1359.93295号 [36] 尹，X。；Lafortune，S.，使用双向观测器验证无限步和K步不透明度的新方法。自动化，162-171（2017）·Zbl 1370.93174号 [37] 尹，X。；Lafortune，S.，离散事件系统动态传感器激活优化的通用方法。自动化，376-383（2019）·Zbl 1429.93231号 [38] 尹，X。；李，Z。；Wang，W。；Li，S.，随机离散事件系统的无限级不透明度和K级不透明度。自动化，266-274（2019）·Zbl 1406.93207号 [39] 张，B。；舒，S。；Lin，F.，在确保离散事件系统不透明度的同时最大限度地释放信息。IEEE自动化科学与工程学报，3，1067-1079（2015） [40] 张凯。；尹，X。；Zamani，M.，《非确定性过渡系统的不透明度：一种（双）模拟关系方法》。《IEEE自动控制汇刊》（2019年），（出版中）。http://dx.doi.org/10.109/TAC.2019.2908726 ·Zbl 1482.93403号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。