Analysis of faults in cyber-physical systems by finite discrete-time Markov chains

zbMath1469.68009MaRDI QIDQ821298

Volodymyr V. Skobelev, Volodymyr G. Skobelev

Publication date: 20 September 2021

Published in: Computer Science Journal of Moldova (Search for Journal in Brave)

Full work available at URL: http://www.math.md/publications/csjm/issues/v28-n3/13227/

zbMATH Keywords

faultscyber-physical systemsdiscrete-time Markov chainsbounded probabilistic reachabilityprobabilistic counterexamples

Mathematics Subject Classification ID

Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Cites Work

• Unnamed Item
• Unnamed Item
• The algorithmic analysis of hybrid systems
• Handbook of networked and embedded control systems.
• Measurability and safety verification for stochastic hybrid systems
• Stochastic Model Checking
• Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey