Interval Number-Based Safety Reasoning Method for Verification of Decentralized Power Systems in High-Speed Trains

Decentralized power systems are commonly used in high-speed trains. However, many parameters in decentralized power systems are uncertain and inevitably have errors. We present a reasoning method based on the interval numbers for decentralized power systems in high-speed trains. Uncertain parameters and their unavoidable errors are quantitatively described by interval numbers. We also define generalized linear equations with interval numbers (LAIs), which can be used to describe the movement of the train. Furthermore, it is proven that the zero sets of LAIs are convex. Therefore, the inside of the fault-tolerance area can be formed by their vertexes and edges and represented by linear inequalities. Consequently, we can judge whether the system is working properly by verifying that the current system state is in the fault-tolerance area. Finally, a fault-tolerance area is obtained, which can be determined by linear equations with an interval number, and we test the correctness of the fault-tolerance area through large-scale random test cases.

Xiong, NingMälardalens högskola,Inbyggda system(Swepub:mdh)nxg01 (author)
Liu, J.Beijing Jiaotong University, Beijing, 100044, China (author)
Huang, L.Beijing Jiaotong University, Beijing, 100044, China (author)
Ju, Z.Beijing Jiaotong University, Beijing, 100044, China (author)
Ji, Y.China Railway First Survey and Design Institute Group, Xi'an, 710043, China (author)
Wu, J.Guangxi University for Nationalities, Nanning, 530006, China (author)
Beijing Jiaotong University, Beijing, 100044, ChinaInbyggda system (creator_code:org_t)

In:Mathematical problems in engineering (Print): Hindawi Limited20211024-123X1563-5147

By the author/editor: Wu, P.; Xiong, Ning; Liu, J.; Huang, L.; Ju, Z.; Ji, Y.; show more...; Wu, J.; show less...

About the subject

ENGINEERING AND TECHNOLOGY: ENGINEERING AND ...; and Electrical Engin ...; and Computer Systems

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.