国内刊号:44-1240/TP
国际刊号:1000-8152
发布日期:
作者:王飞,戴茵茵,金福江
单位:华侨大学,华侨大学,华侨大学
关键词:隐蔽性裕度; k–隐蔽的; 监控器; 离散事件系统
基金:国家自然科学基金项目(61203040), 福建省自然科学基金项目(2022J01295, 2023J05045), 泉州市科协项目资助.
本文研究了离散事件系统基于隐蔽性裕度的k–隐蔽性验证及监控综合问题.首先,文章分别给出基于语言和基于(估计)状态的隐蔽性裕度的概念,通过提出两者之间的等价关系,给出基于状态的隐蔽性裕度与基于语言的隐蔽性裕度等价的性质.之后,提出系统满足k–隐蔽性的充分性条件可以通过状态的隐蔽性裕度获得.并以此条件,分别给出计算状态的隐蔽性裕度以及验证k–隐蔽性的算法.再后,如果系统不满足k–隐蔽性时,又给出一种算法来获取监控器使闭环系统是k–隐蔽的,并且给出定理说明获得的监控器不仅可以保持受控系统的k–隐蔽性,而且表明其是最大允许的.最后,利用实例说明验证系统的k–隐蔽性以及获取保持k–隐蔽性的最大允许监控器构造方法的有效性.
来源:2025年第3期
《控制理论与应用》期刊编辑部