Conţinutul numărului revistei |
Articolul precedent |
Articolul urmator |
367 3 |
Ultima descărcare din IBN: 2022-06-27 11:34 |
Căutarea după subiecte similare conform CZU |
512.2+519.87+004.89 (1) |
Algebră (410) |
Cercetări operaționale (OR) teorii şi metode matematice (169) |
Inteligență artificială (307) |
SM ISO690:2012 SKOBELEV, Volodymyr, SKOBELEV, Volodymyr. Analysis of Faults in Cyber-Physical Systems by Finite Discrete-Time Markov Chains. In: Computer Science Journal of Moldova, 2020, nr. 3(84), pp. 269-284. ISSN 1561-4042. |
EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
Computer Science Journal of Moldova | ||||||
Numărul 3(84) / 2020 / ISSN 1561-4042 /ISSNe 2587-4330 | ||||||
|
||||||
CZU: 512.2+519.87+004.89 | ||||||
Pag. 269-284 | ||||||
|
||||||
Descarcă PDF | ||||||
Rezumat | ||||||
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 CyberPhysical 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. |
||||||
Cuvinte-cheie cyber-physical systems, faults, Discrete-Time Markov Chains, bounded probabilistic reachability, probabilistic counterexamples |
||||||
|