Модель распределенных объектно ориентированных стохастических гибридных систем
Аннотация
Представлена математическая модель для распределенных объектно ориентированных стохастических гибридных систем (РООСГС) и доказано, что данная модель обладает марковским свойством. РООСГС являются композиционными объектами, которые общаются с другими объектами посредством обмена сообщениями через асинхронную среду, такую как сеть. Важной составляющей модели выступает вероятностная природа РООСГС, в которой состояние системы описывается стохастическими дифференциальными уравнениями с мгновенными вероятностными изменениями его при выполнении определенных условий. Вероятностная природа и у среды обмена сообщениями, в модели которой время доставки сообщения является случайной величиной. Такие задачи часто встречаются на практике в различных сферах, поэтому вопросы формального моделирования и верификации их свойств представляются весьма важными.
Литература
- 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.
- 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: SpringerVerlag; 1992. p. 447– 484.
- 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.
- Lynch NA, Segala R, Vaandrager FW. Hybrid I/O automata. Information and Computation. 2003;185(1):105–157. DOI: 10.1016/S08905401(03)000671.
- 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.
- 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: SpringerVerlag; 2004. p. 387– 401. DOI: 10.1007/9783540247432_26.
- Hwang I, Hwang J, Tomlin CJ. Flightmodelbased aircraft conflict detection using a residualmean 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.20035340.
- Hwang I, Hwang J, Tomlin CJ. HYBRIDGE. Final project report [Internet]. 2005 [cited 2019 February 1]. Available from: https://hybridge.nlr.nl/documents.html.
- Davis MHA, Vellekoop MH. Permanent health insurance: a case study in piecewisedeterministic Markov modeling. Mitteilungen der Schweizerische Vereinigung der Versicherungsmathematiker. 1995;2:177–212.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Agha GA, Meseguer J, Sen K. PMaude: Rewritebased 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.
- 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/3540543171_81.
- 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/9783540399582_3.
- Berberian SK. Borel Spaces. Austin: University of Texas at Austin; 1998.
- 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.
- Panangaden P. The category of Markov kernels. Electronic Notes in Theoretical Computer Science. 1999;22:171–187. DOI: 10.1016/S15710661(05)806024.
Copyright (c) 2019 Журнал Белорусского государственного университета. Математика. Информатика
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.
Авторы, публикующиеся в данном журнале, соглашаются со следующим:
- Авторы сохраняют за собой авторские права на работу и предоставляют журналу право первой публикации работы на условиях лицензии Creative Commons Attribution-NonCommercial. 4.0 International (CC BY-NC 4.0).
- Авторы сохраняют право заключать отдельные контрактные договоренности, касающиеся неэксклюзивного распространения версии работы в опубликованном здесь виде (например, размещение ее в институтском хранилище, публикацию в книге) со ссылкой на ее оригинальную публикацию в этом журнале.
- Авторы имеют право размещать их работу в интернете (например, в институтском хранилище или на персональном сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению и большему количеству ссылок на данную работу. (См. The Effect of Open Access).