基于隐蔽性裕度的离散事件系统监控

作者：王飞; 戴茵茵^*; 金福江

来源：控制理论与应用, 2023, 1-9.

• 隐蔽性裕度
• k-隐蔽的
• 监控器
• 离散事件系统

研究了离散事件系统基于隐蔽性裕度的k-隐蔽性验证及监控综合问题.首先,分别给出基于语言和基于（估计）状态的隐蔽性裕度的概念,通过提出两者之间的等价关系,给出基于状态的隐蔽性裕度与基于语言的隐蔽性裕度等价的性质.之后,提出系统满足k-隐蔽性的充分性条件可以通过状态的隐蔽性裕度获得.并以此条件,分别给出计算状态的隐蔽裕度以及验证k-隐蔽性的算法.再后,如果系统不满足k-隐蔽性时,又给出一种算法来获取监控器使闭环系统是k-隐蔽的,并且给出定理说明获得的监控器不仅可以保持受控系统的k-隐蔽性,而且表明其是最大允许的.最后,利用实例,说明验证系统的k-隐蔽性以及获取保持k-隐蔽性的最大允许监控器构造方法的有效性.

• 单位
  自动化学院; 华侨大学