.png){kind=icon}
返回
State-Based Security and Time-Inserting Supervisors
.png){kind=icon}
PRE
AI
DOI：10.1007/978-3-032-12086-1_1.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
本文研究了通过监督控制实施基于状态的安全属性。我们介绍了一种在系统知识不完整的假设下运行的监督器，反映了现实部署中监督器与潜在对手均拥有有限信息的挑战。所提出的监督器通过战略性限制动作或注入定时事件来纠正不安全的过程行为。本研究重点分析了一种监督器的存在所必需的充分必要条件，该监督器能够在知识限制下保证过程安全。
Keyword:
state-based security
supervisory control
incomplete knowledge
process systems
time-inserting supervisors
期刊
F
IF:
0
论文数:
13
被引数:
0
.png){kind=icon}
查看更多内容