广东工业大学 计算机学院,广东,广州,510006
程琰(1999–) ,男,硕士研究生,主要研究方向为控制理论与控制工程、算法分析与设计,E-mail:1148393704@qq.com
刘富春(1971–) ,男,教授,博士生导师,博士,主要研究方向为控制理论与控制工程、算法分析与设计,E-mail:fliu2011@163.com
纸质出版:2025
移动端阅览
程琰, 刘富春. 基于概率标签Petri网的随机离散事件系统故障预测[J]. 广东工业大学学报, 2025, 42(2): 52–58.
Cheng Yan, Liu Fuchun. Fault Predictability of Stochastic Discrete Event Systems Based on Probabilistic Labeled Petri Nets[J]. 2025, 42(2): 52-58.
程琰, 刘富春. 基于概率标签Petri网的随机离散事件系统故障预测[J]. 广东工业大学学报, 2025, 42(2): 52–58. DOI: 10.12052/gdutxb.240158
Cheng Yan, Liu Fuchun. Fault Predictability of Stochastic Discrete Event Systems Based on Probabilistic Labeled Petri Nets[J]. 2025, 42(2): 52-58. DOI: 10.12052/gdutxb.240158.
本文研究基于概率标签Petri网的随机离散事件系统故障预测,旨在通过引入带概率标签的Petri网模型,提高故障预测的精确度。通过定义边界标识和非指示标识,本文提出了一种基于概率标签Petri网的故障预测方法,该方法能在故障发生前识别一个非故障前缀,以确保在有限步内及时准确地发出故障警报。通过构造一个验证器,将故障可预测性的验证问题转变为可有效解决的模型检验问题,并得到关于随机离散事件系统故障可预测性的充分必要条件。本文提出的基于概率标签Petri网的故障预测方法,为随机离散事件系统的故障预测提供了一种新的视角,有助于在实际应用中提高系统的可靠性和安全性。
In this research
a fault prognosis method for stochastic discrete event systems (SDES) is presented using probabilistic labeled Petri nets (PLPN) . The goal is to enhance the accuracy of fault prognosis by using a Petri net model with probabilistic labels. Boundary and non-indicative markings are defined to develop this method. It can identify non-fault prefixes before faults occur
ensuring timely and accurate fault warnings within a limited number of steps. A verifier is constructed to transform the verification of fault predictability into a solvable model checking problem. This process yields a sufficient and necessary condition for the fault predictability of SDES. The proposed method offers a new perspective for fault prediction in SDES
enhancing system reliability and safety in practical applications.
CASSANDRAS C G, LAFORTUNE S. Introduction to discrete event systems[M]. 2nd ed. New York: Springer, 2008.
VACHTSEVANOS G, LEWIS F, ROEMER M, et al . Intelligent fault diagnosis and prognosis for engineering systems[M ] . Hoboken: Wiley, 2006.
GENC S, LAFORTUNE S. Predictability of event occurrences in partially observed discrete-event systems[J]. Automatica, 2009, 45(2): 301-311.
LIU F C. Predictability of failure event occurrences in decentralized discrete event systems and polynomial-time verification[J]. IEEE Transactions on Automation Science and Engineering, 2019, 16(1): 498-504.
YE B B, LIU F C. Failure predictability of stochastic discrete event systems[J]. Journal of Guangdong University of Technology, 2018, 35(6): 83-89.
LYU S Y, LIU F C, ZHAO R, et al . A research on patterns fault prediction of decentralized discrete event systems[J ] . Journal of Guangdong University of Technology, 2021, 38(1): 54-63.
BENMESSAHEL B, TOUAHRIA M, NOUIOUA F. Predictability of fuzzy discrete event systems[J]. Discrete Event Dynamic Systems, 2017, 27(4): 641-673.
XIAO C T, LIU F C. Robust fault prognosis of discrete-event systems against loss of observations[J]. IEEE Transactions on Automation Science and Engineering, 2022, 19(2): 1083-1094.
ZHOU Y R, CHEN Z Q, ZHANG Z P, et al . A state space approach to decentralized fault SE-coprognosability of partially observed discrete event systems[J ] . IEEE Transactions on Cybernetics, 2023, 53(3 ): 2028-2033.
CHEN J, KUMAR R. Stochastic failure prognosis of discrete event systems[J]. IEEE Transactions on Automatic Control, 2022, 67(10): 5487-5492.
HU Y, MA Z, LI Z, GIUA A. Diagnosability enforcement in labeled petri nets using supervisory control[J]. Automatica, 2021, 131: 109776.
YU Z H, QI Y Y, CONG X Y. Decentralized marking fault diagnosis of labeled petri nets[J]. IEEE Access, 2023, 11: 99168-99177.
RU Y, HADJICOSTIS C N. Fault diagnosis in discrete event systems modeled by partially observed Petri nets[J]. Discrete Event Dynamic Systems, 2009, 19(4): 551-575.
吴文青. 带标签Petri网系统的分散式故障预测[D]. 上海: 上海交通大学, 2019.
YIN X. Verification of prognosability for labeled petri nets[J]. IEEE Transactions on Automatic Control, 2018, 63(6): 1828-1834.
KöHLER A, ZHANG P. State estimation in discrete event systems modeled by signal interpreted petri nets[J]. IEEE Control Systems Letters, 2022, 6: 2078-2083.
李彤. 基于标签Petri网和概率标签Petri网的状态可检测性和路径可检测性研究[D]. 西安: 西安电子科技大学, 2022.
BAI X, CHEN Q, SUN L, et al . Modeling and simulation of dedicated railway transportation dispatching system based on petri net[C ] //2022 4th International Academic Exchange Conference on Science and Technology Innovation (IAECST) . Guangzhou: IEEE PES Smart Buildings, Loads Customer Systems Satellite Committee-China, 2022: 617-622.
ZHANG Z, JIANG X, XIA C. Zero-determinant strategy of finite games with implementation errors and its application into group decision-making[J]. Applied Mathematics and Computation, 2025, 486: 129055.
SHEN N, WANG J, WANG J C, et al . Patient flow congestion control based on stochastic timed petri net model[C ] //2021 International Conference on Cyber-Physical Social Intelligence (ICCSI). Beijing: Chinese Association of Automation, 2021: 1-6.
0
浏览量
0
下载量
0
CSCD
关联资源
相关文章
相关作者
相关机构
京公网安备11010802024621