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

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...

Full description

Bibliographic Details
Main Authors:	Volodymyr G. Skobelev, Volodymyr V. Skobelev
Format:	Article
Language:	English
Published:	Vladimir Andrunachievici Institute of Mathematics and Computer Science 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

Similar Items

Counterexample Generation for Probabilistic Model Checking Micro-Scale Cyber-Physical Systems
by: Yang Liu, et al.
Published: (2021-08-01)

Qualitative reachability for open interval Markov chains
by: Jeremy Sproston
Published: (2023-08-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)

Faster Convergence of Modified Policy Iteration for Quantitative Verification of Markov Decision Processes
by: M.S. Mohagheghi
Published: (2018-12-01)

Probabilistic pavement performance modeling using hybrid Markov Chain: A case study in Afghanistan
by: Samiulhaq Wasiq, et al.
Published: (2024-07-01)

Decomposition of Finitely Additive Markov Chains in Discrete Space
by: Alexander Zhdanok, et al.
Published: (2022-06-01)

A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm
by: Yan Ma, et al.
Published: (2019-01-01)

Real-Time Verification for Distributed Cyber-Physical Systems
by: Tran, Hoang-Dung, et al.
Published: (2022-12-01)

A long term expected risk estimation of maritime accidents through Markov chain approach and probabilistic risk matrix
by: Dong Jin Kim, et al.
Published: (2023-09-01)

MAGIC: A Method for Assessing Cyber Incidents Occurrence
by: Massimo Battaglioni, et al.
Published: (2022-01-01)

A general analytical model of queuing system for Internet of Things applications
by: Volodymyr G. Skobelev, et al.
Published: (2020-04-01)

Hidden Markov Model Representation Using Probabilistic Neural Network
by: Nabil M. Hewahi
Published: (2018-09-01)

Maximizing Information Diffusion in the Cyber-physical Integrated Network
by: Hongliang Lu, et al.
Published: (2015-11-01)

Using Discrete Markov Chain Model for Predicting the Behavior of Banks Loan Portfolios
by: Kazem Ebrahimi, et al.
Published: (2017-01-01)

On a Class of Tensor Markov Fields
by: Enrique Hernández-Lemus
Published: (2020-04-01)

Predictability of well construction time with multivariate probabilistic approach
by: Quang-Hung LUU, et al.
Published: (2021-08-01)

An introduction to the application of the theory of probabilistic functions of a markov process to automatic speech recognition /
by: 355639 Levinson, S. E., et al.

Very short-term probabilistic and scenario-based forecasting of solar irradiance using Markov-chain mixture distribution modeling
by: Joakim Munkhammar
Published: (2024-01-01)

Equivalence of the stability of discrete-time Markov jump linear systems
by: Jorge Enrique Mayta Guillermo, et al.
Published: (2020-12-01)

Markov Model of Cyber Attack Life Cycle Triggered by Software Vulnerability
by: Romuald Hoffmann
Published: (2021-02-01)

Bounded linear operators on finite dimensional probabilistic normed spaces
by: Mahmood Haji Shaabani, et al.
Published: (2013-12-01)

Robustness analysis of cyber-physical power system based on reachable matrix
by: Zhengwei Xu, et al.
Published: (2021-01-01)

Robust watermarking algorithm for digital images using discrete wavelet and probabilistic neural network
by: Yahya AL-Nabhani, et al.
Published: (2015-10-01)

Security Analysis of a Digital Twin Framework Using Probabilistic Model Checking
by: Eman Shaikh, et al.
Published: (2023-01-01)

Power Cyber-Physical System Risk Area Prediction Using Dependent Markov Chain and Improved Grey Wolf Optimization
by: Zhaoyang Qu, et al.
Published: (2020-01-01)

Runtime verification in uncertain environment based on probabilistic model learning
by: Ge Zhou, et al.
Published: (2022-09-01)

An Application of Graph Theory in Markov Chains Reliability Analysis
by: Pavel Skalny
Published: (2014-01-01)

The Implementation of Vendor Managed Inventory In the Supply Chain with Simple Probabilistic Inventory Model
by: Anna Ika Deefi
Published: (2016-01-01)

Markov Chain Investigation of Discretization Schemes and Computational Cost Reduction in Modeling Photon Multiple Scattering
by: Shangze Yang, et al.
Published: (2018-11-01)

Facilitating Numerical Solutions of Inhomogeneous Continuous Time Markov Chains Using Ergodicity Bounds Obtained with Logarithmic Norm Method
by: Alexander Zeifman, et al.
Published: (2020-12-01)

Finite-Time Set Reachability of Probabilistic Boolean Multiplex Control Networks
by: Yuxin Cui, et al.
Published: (2022-01-01)

Fault Displacement Hazard Analysis Based on Probabilistic Seismic Hazard Analysis for Specific Nuclear Sites
by: Tamás János Katona, et al.
Published: (2021-08-01)

Markov chains and applications
by: Mississippi Valenzuela
Published: (2022-07-01)

Risk Assessment for the Power Grid Dispatching Process Considering the Impact of Cyber Systems
by: Biyun Chen, et al.
Published: (2019-03-01)

THE ARGUMENT AND DEMONSTRATION EXEMPLIFIED IN A MATHEMATICAL DIALOGUE
by: Luisa Morales Maure, et al.
Published: (2022-09-01)

Nonparametric Involutive Markov Chain Monte Carlo: a MCMC algorithm for universal probabilistic programming
by: Mak, PYC
Published: (2022)

Probabilistic Independence Networks for Hidden Markov Probability Models
by: Smyth, Padhraic, et al.
Published: (2004)

Probabilistically Safe Avoidance of Dynamic Obstacles with Uncertain Motion Patterns
by: Luders, Brandon D., et al.
Published: (2011)

Open Markov Type Population Models: From Discrete to Continuous Time
by: Manuel L. Esquível, et al.
Published: (2021-06-01)

Study of Seismic Potential of Benarvan Fault by Deterministic and Probabilistic methods
by: Fariba Hemmati, et al.
Published: (2018-03-01)