A model of distributed object­based stochastic hybrid systems

Authors

  • Raman E. Sharykin Belarusian State University, 4 Niezaliežnasci Avenue, Minsk 220030, Belarus
  • Alexander N. Kourbatski Belarusian State University, 4 Niezaliežnasci Avenue, Minsk 220030, Belarus

Keywords:

mathematical modeling, hybrid systems, stochastic systems, Markov property, model specification

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.

Author Biographies

  • Raman E. Sharykin, Belarusian State University, 4 Niezaliežnasci Avenue, Minsk 220030, Belarus

    competitor at the department of software engineering, faculty of applied mathematics and computer science

  • Alexander N. Kourbatski, Belarusian State University, 4 Niezaliežnasci Avenue, Minsk 220030, Belarus

    doctor of science (engineering), full professor; head of the department of software engineering, faculty of applied mathematics and computer science

References

  1. Pola G, Bujorianu ML, Lygeros J, Di Benedetto MD. Stochastic hybrid models: an overview. In: Proceedings of the IFAC conference on analysis and design of hybrid systems; 2003 June 16 –18; St. Malo, France. Oxford: Elsevier; 2003. p. 45–50.
  2. Maler O, Manna Z, Pnueli A. From timed to hybrid systems. In: de Bakker JW, Huizing C, de Roever WP, Rozenberg G, editors. Real-Time: Theory in practice. Proceedings of the REX workshop; 1991 June 3–7; Mook, Netherlands. Berlin: Springer­Verlag; 1992. p. 447– 484.
  3. Alur R, Courcoubetis C, Halbwachs N, Henzinger T, Ho P, Nicollin X, et. al. The Algorithmic Analysis of Hybrid Systems. Theoretical Computer Science. 1995;138(1):3–34.
  4. Lynch NA, Segala R, Vaandrager FW. Hybrid I/O automata. Information and Computation. 2003;185(1):105–157. DOI: 10.1016/S0890­5401(03)00067­1.
  5. Alur R, Dang T, Esposito JM, Hur Y, Ivančić F, Kumar V, et al. Hierarchical modeling and analysis of embedded systems. Proceedings of the IEEE. 2003;91(1):11–28.
  6. Hespanha JP. Stochastic hybrid systems: application to communication networks. In: Alur R, Pappas GJ, editors. Hybrid systems: Computation and control. 7 th International workshop; 2004 March 25–27; Philadelphia, USA. Berlin: Springer­Verlag; 2004. p. 387– 401. DOI: 10.1007/978­3­540­24743­2_26.
  7. Hwang I, Hwang J, Tomlin CJ. Flight­model­based aircraft conflict detection using a residual­mean interacting multiple model algorithm. In: AIAA guidance, navigation, and control conference and exhibit; 2003 August 11–14; Austin, USA. Reston: American Institute of Aeronautics and Astronautics; 2003. DOI: 10.2514/6.2003­5340.
  8. Hwang I, Hwang J, Tomlin CJ. HYBRIDGE. Final project report [Internet]. 2005 [cited 2019 February 1]. Available from: https://hybridge.nlr.nl/documents.html.
  9. Davis MHA, Vellekoop MH. Permanent health insurance: a case study in piecewise­deterministic Markov modeling. Mitteilungen der Schweizerische Vereinigung der Versicherungsmathematiker. 1995;2:177–212.
  10. Ghosh MK, Arapostathis A, Marcus SI. Optimal control of switching diffusions with application to flexible manufacturing systems. SIAM Journal on Control Optimization. 1993;31(5):1183–1204. DOI: 10.1137/0331056.
  11. Eker S, Knapp M, Laderoute K, Lincoln P, Meseguer J, Sonmez K. Pathway logic: symbolic analysis of biological signaling. In: Altman RB, Dunker AK, Hunter L, Klein TE, editors. Proceedings of the 7 th pacific symposium on biocomputing; 2002 January 3–7; Lihue, USA. [S. l.]: [s. n.]; 2002. p. 400 – 412. DOI: 10.1142/9789812799623_0038.
  12. Lincoln P, Tiwari A. Symbolic systems biology: hybrid modeling and analysis of biological networks. In: Alur R, Pappas GJ, editors. Hybrid systems: Computation and control. 7 th International workshop; 2004 March 25–27; Philadelphia, USA. [S. l.]: Springer; 2004. p. 660 – 672.
  13. Goss PJE, Peccoud J. Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. Proceedings of the National Academy of Sciences of the United States of America. 1998;95(12):6750 – 6755. DOI: 10.1073/pnas.95.12.6750.
  14. Bujorianu ML, Lygeros J. Toward a general theory of stochastic hybrid systems. In: Blom HAP, Lygeros J, editors. Stochastic Hybrid Systems. Lecture Notes in Control and Information Science. Volume 337. Berlin: Springer; 2006. p. 3–30. DOI: 10.1007/11587392_1.
  15. Dershowitz N, Jouannaud JP. Rewrite Systems. In: van Leeuwen J, editor. Handbook of Theoretical Computer Science. Volume B: Formal Models and Semantics (B). Cambridge: MIT Press; 1990. p. 243–320.
  16. Agha GA, Meseguer J, Sen K. PMaude: Rewrite­based specification language for probabilistic object systems. Electronic Notes in Theoretical Computer Science. 2006;153(2):213–239. DOI: 10.1016/j.entcs.2005.10.040.
  17. Meseguer J. Conditional Rewriting Logic: Deduction, Models and Concurrency. In: Kaplan S, Okada M, editors. Conditional and typed rewriting systems. 2 nd International CTRS workshop; 1990 June 11–14; Montreal, Canada. Berlin: Springer; 1990. p. 64 – 91. DOI: 10.1007/3­540­54317­1_81.
  18. Kumar N, Sen K, Meseguer J, Agha G. A rewriting based model for probabilistic distributed object systems. In: Najm E, Nestmann U, Stevens P, editors. Formal methods for open object-based distributed systems. 6 th IFIP WG 6.1 International conference; 2003 November 19–21; Paris, France. Berlin: Springer; 2003. p. 32– 46. DOI: 10.1007/978­3­540­39958­2_3.
  19. Berberian SK. Borel Spaces. Austin: University of Texas at Austin; 1998.
  20. Giry M. A categorical approach to probability theory. In: Banaschewski B, editor. Categorical Aspects of Topology and Analysis. Lecture Notes in Mathematics. Volume 915. Berlin: Springer; 1982. p. 68–85. DOI: 10.1007/BFb0092872.
  21. Panangaden P. The category of Markov kernels. Electronic Notes in Theoretical Computer Science. 1999;22:171–187. DOI: 10.1016/S1571­0661(05)80602­4.

Downloads

Published

2019-07-31

Issue

No. 2 (2019): Journal of the Belarusian State University. Mathematics and Informatics

Section

Theoretical Foundations of Computer Science

License

The authors who are published in this journal agree to the following:

  1. The authors retain copyright on the work and provide the journal with the right of first publication of the work on condition of license Creative Commons Attribution-NonCommercial. 4.0 International (CC BY-NC 4.0).
  2. The authors retain the right to enter into certain contractual agreements relating to the non-exclusive distribution of the published version of the work (e.g. post it on the institutional repository, publication in the book), with the reference to its original publication in this journal.
  3. The authors have the right to post their work on the Internet (e.g. on the institutional store or personal website) prior to and during the review process, conducted by the journal, as this may lead to a productive discussion and a large number of references to this work. (See The Effect of Open Access.)

How to Cite

[1]
Sharykin, R.E. and Kourbatski, A.N. 2019. A model of distributed object­based stochastic hybrid systems. Journal of the Belarusian State University. Mathematics and Informatics. 2 (Jul. 2019), 52–61. DOI:https://doi.org/10.33581/2520-6508-2019-2-52-61.