Design of privacy-preserving control strategy for data opacity of industrial internet

被引:0
|
作者
Shen Y. [1 ]
Zhou C. [1 ]
Hu X. [1 ]
Cheng C. [1 ]
He X. [2 ]
Tai R. [3 ]
机构
[1] School of Artificial Intelligence and Automation, Huazhong University of Science and Technology, Wuhan
[2] School of Mechanical Science and Engineering, Huazhong University of Science and Technology, Wuhan
[3] School of Electrical and Electronic Engineering, Nanyang Technological University, Singapore
来源
Zhongguo Kexue Jishu Kexue/Scientia Sinica Technologica | 2022年 / 52卷 / 01期
关键词
Finite state automata; Industrial internet; Networked discrete-event systems; Networked supervisor; Opacity; Privacy-preserving control;
D O I
10.1360/SST-2021-0407
中图分类号
学科分类号
摘要
With the continuous development of information and communication technologies (ICT) as well as their applications in the industrial environment, industrial internet comes into being. In comparison to the relatively closed and secure production environment of traditional industries, the industrial internet faces significant security challenges in terms of data privacy. This paper investigates the privacy-preserving control problem for data opacity of the industrial internet to provide a resilient defending strategy against cyber threats, where the system to be controlled is modeled as a networked discrete-event system (DES) and malicious eavesdroppers exist to infer the system secret based on its observations. We here aim at designing a networked supervisor to achieve the following two objectives: (1) eavesdroppers cannot infer the system secret based on its observations, which is formulated as the requirement of opacity enforcement, (2) under the control of the designed networked supervisor, the system could still achieve the predetermined control requirement. To solve the previously mentioned privacy-preserving supervisory control problem, this paper first proposes a privacy-preserving control architecture for networked DES, in which each component is modeled as a finite-state automaton to simulate its dynamics. We design an algorithm based on the constructed models to synthesize the networked supervisor by transforming the original privacy-preserving control problem into a classical Ramadge-Wonham supervisory control problem. Furthermore, this paper proves (1) the designed synthesis algorithm is sound and complete, and (2) the existence of the supremal networked supervisor for this privacy-preserving supervisory control problem. © 2022, Science Press. All right reserved.
引用
收藏
页码:152 / 164
页数:12
相关论文
共 40 条
  • [1] Industrial Internet platform security white paper (in Chinese), (2020)
  • [2] Yuan Y, Zhang Y, Ding H., Research on key technology of industrial artificial intelligence and its application in predictive maintenance, Acta Autom Sinica, 46, pp. 13-30, (2020)
  • [3] Yuan Y, Tang X, Zhou W, Et al., Data driven discovery of cyber physical systems, Nat Commun, 10, pp. 1-9, (2019)
  • [4] Yuan Y, Ma G, Cheng C, Et al., A general end-to-end diagnosis framework for manufacturing systems, Natl Sci Rev, 7, pp. 418-429, (2020)
  • [5] Mazare L., Using unification for opacity properties, Proceedings of the Workshop on Issues in the Theory of Security (WITS'04), pp. 165-176, (2004)
  • [6] Berard B, Mullins J, Sassolas M., Quantifying opacity, Math Struct Comp Sci, 25, pp. 361-403, (2015)
  • [7] Bryans J W, Koutny M, Ryan P Y A., Modelling opacity using Petri nets, Electron Notes Theor Comput Sci, 121, pp. 101-115, (2015)
  • [8] Saboori A, Hadjicostis C N., Notions of security and opacity in discrete event systems, Proceedings of 46th IEEE Conference on Decision Control, pp. 5056-5061, (2007)
  • [9] Badouel E, Bednarczyk M, Borzyszkowski A, Et al., Concurrent secrets, Discrete Event Dyn Syst, 17, pp. 425-446, (2007)
  • [10] Dubreil J, Darondeau P, Marchand M., Opacity enforcing control synthesis, Proceedings of 9th International Workshop on Discrete Event Systems, pp. 28-35, (2008)