Current-state opacity of incomplete discrete-event systems

被引：0
|
作者：
Liu F.-C. [1 ]
Zhang X. [1 ]
Zhao R. [1 ]
机构：
[1] School of Computers, Guangdong University of Technology, Guangzhou, 510006, Guangdong
来源：
Kongzhi Lilun Yu Yingyong/Control Theory and Applications | 2019年 / 36卷 / 07期
基金：
中国国家自然科学基金;
关键词：
Discrete-event system; Incomplete model; Learning diagnoser; Opacity;
D O I：
10.7641/CTA.2018.80060
中图分类号：
学科分类号：
摘要：
This paper aims to propose an approach of the current-state opacity for incomplete discrete-event systems (DES) in which some information may be unavailable or even missing. According to the difference between the actual output and the predicted output of the incomplete system, a learning diagnoser is constructed. Note that the learning diagnoser not only can simulate the state transition of the system, but also can restore the absent state information from the system through learning. After the set coverage theory is introduced to deal with the results obtained by the learning diagnoser, a method to verify the current state opacity of an incomplete system is proposed based on the learning diagnoser. © 2019, Editorial Department of Control Theory & Applications South China University of Technology. All right reserved.
引用
收藏
页码：1067 / 1071
页数：4
相关论文
共 13 条
  • [1] Bryans J.W., Koutny M., Ryan P.Y.A., Modelling opacity using petri nets, Electronic Notes in Theoretical Computer Science, 121, pp. 101-115, (2005)
  • [2] Saboori A., Hadjicostis C.N., Notions of security and opacity in discrete event systems, IEEE Conference on Decision and Control, pp. 5056-5061, (2007)
  • [3] Wu Y.C., Comparative analysis of related notions of opacity in centralized and coordinated architectures, Discrete Event Dynamic Systems, 23, 3, pp. 307-339, (2013)
  • [4] Lin F., Opacity of discrete event systems and its applications, Automatica, 47, 3, pp. 496-503, (2011)
  • [5] Zhao R., Liu F., Liu Z., Relative diagnosability of discrete-event systems and its opacity-based test algorithm, International Journal of Control Automation & Systems, 15, 4, pp. 1693-1700, (2017)
  • [6] Zhao R., Liu F., Tan J., Relative predictability of failure event occurrences and its opacity-based test algorithm, International Journal of Control, 90, 6, pp. 1-9, (2017)
  • [7] Zhao X., Ouyang D., Model-based diagnosis of discrete event systems with an incomplete system model, European Conference on Artificial Intelligence, pp. 189-193, (2008)
  • [8] Wang X., Ouyang D., Zhao J., Discrete-event system diagnosis upon incomplete model, Journal of Software, 23, 3, pp. 465-475, (2012)
  • [9] Yeung D.L., Kwong R.H., Fault diagnosis in discrete-event systems: incomplete models and learning, Proceedings of American Control Conference, pp. 3327-3332, (2005)
  • [10] Sampath M., Sengupta R., Lafortune S., Et al., Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, 40, 9, pp. 1555-1575, (1995)
12