Analysis of Faults in Cyber-Physical Systems by Finite Discrete-Time Markov Chains

• Main Authors: Volodymyr G. Skobelev, Volodymyr V. Skobelev
• Format: Article
• Language: English
• Published: Institute of Mathematics and Computer Science of the Academy of Sciences of Moldova 2020-12-01
• Series: Computer Science Journal of Moldova
• Subjects: cyber-physical systems; faults; discrete-time markov chains; bounded probabilistic reachability; probabilistic counterexamples
• Online Access: http://www.math.md/files/csjm/v28-n3/v28-n3-(pp269-284).pdf

In the given paper the problem of Cyber-Physical Systems behavior analysis in the occurrence of faults is investigated. To present the fault-free behavior of the investigated Cyber-Physical System as well as its behaviors in the presence of admissible faults, some Finite Discrete-Time Markov Chain is proposed and analyzed. It is shown that a single stationary probability distribution exists for the proposed model. This distribution is applied for characterization the behaviors of the investigated Cyber-Physical System in terms of the distance from the current fault to the set of critical faults. Besides, the algorithm for bounded probabilistic reachability analysis of the target set of faults is proposed.