A CPN-Based Approach for Studying Impacts of Communication Delays on Safety and Availability of Safety-Critical Distributed Networked Control Systems

被引:8
作者
Wu, Daohua [1 ]
Liu, Jintao [1 ]
Wang, Hongwei [1 ]
Tang, Tao [2 ]
机构
[1] Beijing Jiaotong Univ, Natl Res Ctr Railway Safety Assessment, Beijing 100044, Peoples R China
[2] Beijing Jiaotong Univ, State Key Lab Rail Traff Control & Safety, Beijing 100044, Peoples R China
基金
中国国家自然科学基金;
关键词
Safety; Process control; Delays; Networked control systems; Petri nets; Image color analysis; Sensors; Availability; colored Petri nets (CPNs); communication delay; distributed networked control system (DNCS); hazard rate (HR); STABILITY ANALYSIS; STABILIZATION; PERFORMANCE; TRENDS;
D O I
10.1109/TII.2021.3109436
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
With the great advances in computer science and communication technology, more and more control systems are implemented as distributed networked control systems (DNCSs). Due to the nature of the time delay of communication networks, it is of importance to investigate how communication delays affect the systems from different perspectives. Most of the literature by far focus on analyzing the impacts of time delays on the system stability or safety control with mathematical models (i.e., differential equations), which are of interest in the early phases of the system development (e.g., the conceptual phase). However, in the later phases of the system development (e.g., architecture design or system implementation), qualitative as well as quantitative safety analysis based on system models that describe the concrete structures, interactions between components, and state transitions of the underlying systems is desirable. Additionally, the availability of a control system is of interest from the perspective of operation. This article studies the impacts of communication delays on the safety and availability of DNCSs by a colored-Petri-net-based approach. To exemplify the proposed approach, a simplified communication-based train control system is presented.
引用
收藏
页码:3033 / 3042
页数:10
相关论文
共 29 条
[1]  
[Anonymous], 1999, EN50126 1
[2]  
[Anonymous], 2000, CPN TOOLS HOMEPAGE
[3]   Estimation for decentralized safety control under communication delay and measurement uncertainty [J].
Bresch-Pietri, Delphine ;
Del Vecchio, Domitilla .
AUTOMATICA, 2015, 62 :292-303
[4]  
Christensen S., 2001, Applications and Theory of Petri Nets 2001. 22nd International Conference, ICATPN 2001. Proceedings (Lecture Notes in Computer Science Vol.2075), P101
[5]   Stability analysis of stochastic networked control systems [J].
Donkers, M. C. F. ;
Heemels, W. P. M. H. ;
Bernardini, D. ;
Bemporad, A. ;
Shneer, V. .
AUTOMATICA, 2012, 48 (05) :917-925
[6]   Dynamic Event-Triggered Distributed Coordination Control and its Applications: A Survey of Trends and Techniques [J].
Ge, Xiaohua ;
Han, Qing-Long ;
Ding, Lei ;
Wang, Yu-Long ;
Zhang, Xian-Ming .
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2020, 50 (09) :3112-3125
[7]   Distributed networked control systems: A brief overview [J].
Ge, Xiaohua ;
Yang, Fuwen ;
Han, Qing-Long .
INFORMATION SCIENCES, 2017, 380 :117-131
[8]  
Jensen K., 2006, CPN TOOLS STATE SPAC
[9]  
Jensen K, 2009, COLOURED PETRI NETS: MODELLING AND VALIDATION OF CONCURRENT SYSTEMS, P1, DOI 10.1007/b95112
[10]   A roadmap to electronic payment transaction guarantees and a Colored Petri Net model checking approach [J].
Katsaros, Panagiotis .
INFORMATION AND SOFTWARE TECHNOLOGY, 2009, 51 (02) :235-257