ISSN 0021-3454 (print version)
ISSN 2500-0381 (online version)
Menu

4
Issue
vol 62 / April, 2019
Article

DOI 10.17586/0021-3454-2016-59-11-897-905

UDC 519.8

CONCEPTUAL AND FORMAL MODELS OF SYNTHESIS OF CYBER-PHYSICAL SYSTEMS AND CYBER-PHYSICAL INTELLECTUAL SPACES

O. O. Basov
ITMO University, Saint Petersburg, 197101, Russian Federation; Senior scientific researcher


B. V. Sokolov
St. Petersburg Institute for Informatics and Automation of Russian Academy of Sciences; Deputy Director for R&D; Professor


R. M. Yusupov
St. Petersburg Institute of Informatics and Automation of the Russian Academy of Sciences; Professor


A. L. Ronzhin
SPIIRAS, Laboratory of Autonomous Robotic Sistems; Deputy Director for Research


Read the full article 

Abstract. Conceptual and formal models of cyber-physical intellectual space are proposed. The models are based on a new approach to the distribution of the sensor, network, computation, information management, and service tasks between mobile robots, embedded devices, mobile client devices, fixed service equipment, cloud computing, and information resources. The problem of structural-functional and parametric synthesis of cyber-physical systems and the corresponding cyber-physical space is formalized. The possibility of solving the problem with the methods of the theory of logical control of complex dynamic objects with reconfigurable structure, as well as with the methods of operations research is demonstrated.
Keywords: robots, cyber-physical systems, intellectual space, dynamic and static alternative graph formalization

References:
  1. Li B.S.X., Wan B., Wang C., Zhou X., Chen X. J. of Systems Architecture, 2016, DOI: 10.1016/j.sysarc.2016.01.007.
  2. Thiele L., Wilhelm R.Real-Time Systems, 2004, no. 28, pp. 157–177, DOI:10.1007/11561163_14.
  3. Merlino G., Arkoulis S., Distefano S., Papagianni C., Puliafito A., Papavassiliou S.Future Generation Computer Systems, 2016, no. 56, pp. 623–639, DOI:10.1016/j.future.2015.09.017.
  4. Distefano S., Merlino G., Puliafito A. Proc. of the 11th Intern. Symp. on Network Computing and Applications, NCA’12; IEEE Computer Society, Washington, DC, USA, 2012, рр. 272–275.
  5. Ganti R., Ye F., Lei H.IEEE Communications Magazine, 2011, no. 49(11), pp. 32–39, DOI:10.1007/978–3–319–26401–1_25.
  6. Hua F., Lua Y., Vasilakos A.V., Haoc Q., Maa R., Patil Yo., Zhanga T., Lua J., Li X., Xiong N.N. Future Generation Computer Systems, 2016, no. 56, pp. 449–475, DOI:10.1016/j.future.2015.06.006.
  7. Hahn A., Ashok A., Sridhar S., Govindarasu M. IEEE Transaction of Smart Grid, 2013, no. 4(2), pp. 847–855, DOI:10.1109/TSG.2012.2226919.
  8. Mina B.-C., Kima Yo., Leea S., Jungb J.-W., Matsona E.T.Ad Hoc Networks, 2016, no. 39, pp. 23–44, DOI:10.1016/j.adhoc.2015.12.001.
  9. Gonga L., Yanga W., Zhoub Z., Mana D., Caic H., Zhoud X., Yange Z. Ad Hoc Networks, 2016, no. 38, pp. 38–50, DOI:10.1016/j.adhoc.2015.09.005.
  10. Kosba A.E., Saeed A., Youssef M.Proc. of IEEE Intern. Conf. on Pervasive Computing and Communications (PerCom), 2012, pр. 180–189.
  11. Xiao J., Wu K., Yi Y., Wang L., Ni L. Proc. of IEEE Intern. Conf. on Parallel and Distributed Systems (ICPADS), 2012, рp. 229–235.
  12. Joshi K., Bharadia D., Kotaru M., Katti S. Proc. of the 12th USENIX Symp. on Networked Systems Design and Implementation (NSDI ’15), 2012, рp. 189–204.
  13. Kabalci Y. Renewable and Sustainable Energy Rev., 2016, no. 57, pp. 302–318, DOI:10.1016/j.rser.2015.12.114.
  14. Sokolov B.V., Yusupov R.M. Trudy SPIIRAN (SPIIRAS Proceedings), 2010, no. 15, pp. 7–52. (in Russ.)
  15. Tsvirkun A.D., Akindiev V.K.Struktura mnogourovnevykh i krupno-masshtabnykh system. Sintez i planirovanie razvitiya (Structure of Multilevel and Large-Scale Systems. Synthesis and Planning of Development), Moscow, 1993, 160 р. (in Russ.)
  16. Sokolov B.V., Yusupov R.M. Mehatronika, Avtomatizacia, Upravlenie (Mechatronics, Automation, Control), 2003, no. 5, pp. 17.(in Russ.)
  17. Ivanov D., Kaeschel J., Sokolov B.Central European Journal of Operations Research, 2011, no. 3(19), pp. 299–317.
  18. Chernous'ko F.L.Otsenivanie fazovogo sostoyaniya dinamicheskikh sistem. Metod ellipsoidov (Estimation of a Phase Condition of Dynamic Systems. Method of Ellipsoids), Moscow, 1988, 320 р.(in Russ.)
  19. Ronzhin Al.L., Budkov V.Yu., Ronzhin An.L. Trudy SPIIRAN (SPIIRAS Proceedings), 2012, no. 23, pp. 482–494. (in Russ.)
  20. Yusupov R.M., Kryuchkov B.I., Karpov A.A., Ronzhin A.L., Usov V.M. Pilotiruemye polety v kosmos, 2013, no. 3(8), pp. 23–34. (inRuss.)