|
This article is cited in 4 scientific papers (total in 4 papers)
Theoretical foundations of computer science
A model of distributed object-based stochastic hybrid systems
R. E. Sharykin, A. N. Kourbatski Belarusian State University, 4 Niezaliežnasci Avenue, Minsk 220030, Belarus
Abstract:
This article offers a mathematical model for distributed object-oriented stochastic hybrid systems (DOBSHS). DOBSHS are composite objects communicating with other objects through the exchange of messages through an asynchronous medium such as a network. An important component of the model is the probabilistic nature of the DOBSHS, in which the state of the system is described by stochastic differential equations with instantaneous probabilistic state changes when certain conditions are met. Also probabilistic is the nature of the messaging environment, in which the model of message delivery time is a random variable. Such problems are often encountered in practice in various areas and issues of formal modeling and verification of their properties are very important. The article presents a mathematical model of DOBSHS and proved that it has a Markov property.
Keywords:
mathematical modeling; hybrid systems; stochastic systems; Markov property; model specification.
Received: 12.02.2019
Citation:
R. E. Sharykin, A. N. Kourbatski, “A model of distributed object-based stochastic hybrid systems”, Journal of the Belarusian State University. Mathematics and Informatics, 2 (2019), 52–61
Linking options:
https://www.mathnet.ru/eng/bgumi96 https://www.mathnet.ru/eng/bgumi/v2/p52
|
Statistics & downloads: |
Abstract page: | 51 | Full-text PDF : | 12 | References: | 9 |
|