基于隐蔽性裕度的离散事件系统监控
王飞1
戴茵茵1
金福江2
1.华侨大学信息科学与工程学院,福建厦门 3610212.华侨大学机电及自动化学院,福建厦门 361021
摘要：本文研究了离散事件系统基于隐蔽性裕度的k-隐蔽性验证及监控综合问题.首先,文章分别给出基于语言和基于(估计)状态的隐蔽性裕度的概念,通过提出两者之间的等价关系,给出基于状态的隐蔽性裕度与基于语言的隐蔽性裕度等价的性质.之后,提出系统满足k-隐蔽性的充分性条件可以通过状态的隐蔽性裕度获得.并以此条件,分别给出计算状态的隐蔽性裕度以及验证k-隐蔽性的算法.再后,如果系统不满足k-隐蔽性时,又给出一种算法来获取监控器使闭环系统是k-隐蔽的,并且给出定理说明获得的监控器不仅可以保持受控系统的k-隐蔽性,而且表明其是最大允许的.最后,利用实例说明验证系统的k-隐蔽性以及获取保持k-隐蔽性的最大允许监控器构造方法的有效性.
关键词：隐蔽性裕度k-隐蔽的监控器离散事件系统
论文发表日期：2025-03-31
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：9( 618-626 )
英文信息