Analysis of Faults in Cyber-Physical Systems by Finite Discrete-Time Markov Chains
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...
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: | |
Online Access: | http://www.math.md/files/csjm/v28-n3/v28-n3-(pp269-284).pdf |
Similar Items
-
Counterexample Generation for Probabilistic Model Checking Micro-Scale Cyber-Physical Systems
by: Yang Liu, et al.
Published: (2021-08-01) -
Modeling Uncertainty of Directed Movement via Markov Chains
by: YIN Zhangcai, et al.
Published: (2015-10-01) -
Application of conditional probability and the Markov chain process in the analysis occurrence of dry and rainy periods in Garanhuns, Pernambuco, Brazil
by: Josilda de França Xavier, et al.
Published: (2009-04-01) -
Reinforcing Reachable Routes
by: Thirunavukkarasu, Muthukumar
Published: (2011) -
A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm
by: Yan Ma, et al.
Published: (2019-01-01)