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
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:
References:
- 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.
- Thiele L., Wilhelm R.Real-Time Systems, 2004, no. 28, pp. 157–177, DOI:10.1007/11561163_14.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Kosba A.E., Saeed A., Youssef M.Proc. of IEEE Intern. Conf. on Pervasive Computing and Communications (PerCom), 2012, pр. 180–189.
- 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.
- 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.
- Kabalci Y. Renewable and Sustainable Energy Rev., 2016, no. 57, pp. 302–318, DOI:10.1016/j.rser.2015.12.114.
- Sokolov B.V., Yusupov R.M. Trudy SPIIRAN (SPIIRAS Proceedings), 2010, no. 15, pp. 7–52. (in Russ.)
- 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.)
- Sokolov B.V., Yusupov R.M. Mehatronika, Avtomatizacia, Upravlenie (Mechatronics, Automation, Control), 2003, no. 5, pp. 17.(in Russ.)
- Ivanov D., Kaeschel J., Sokolov B.Central European Journal of Operations Research, 2011, no. 3(19), pp. 299–317.
- 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.)
- Ronzhin Al.L., Budkov V.Yu., Ronzhin An.L. Trudy SPIIRAN (SPIIRAS Proceedings), 2012, no. 23, pp. 482–494. (in Russ.)
- 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.)
