Formation reachability area as a data vector using a dynamic model for controlling information processes in the automated control system for moving objects Текст научной статьи по специальности «Компьютерные и информационные науки»

Formation reachability area as a data vector using a dynamic model for controlling information processes in the automated control system for moving objects

Boris V. Sokolova and Vitaly A. Ushakova

a St. Petersburg Federal Research Center of the Russian Academy of Sciences, 39, 14 line V.I., St. Petersburg, 199178, Russian Federation

Abstract

This article considers the reachability area formation as a data vector at different points in time. To solve this problem, a new dynamic model for information processes control was

developed, which includes the processes of receiving, transmitting and processing information in the automated control system for moving objects. Mathworks Matlab was applied for developing this dynamic model. It is noted that the developed dynamic model can be modified and presented as a dynamic model for the modernization/planning/operation process. The article provides an algorithm for the reachability area formation as a data vector. The reachable area formation as a data vector is necessary to solve the task of assessing and analyzing the quality indicators of automated control system for moving objects, which will increase the efficiency and validity of control decisions related to the configuration (reconfiguration) of the structures of automated control system for moving objects in dynamically changing conditions. In this research reachability areas will be considered in the space of system-technical parameters, which is formed not on the basis of physical laws, but by the logic of data processing.

Keywords 1

Matlab; automated control system for moving objects; ACS for MO; dynamic model for information process control; dynamic model for receiving, transmitting and processing information; reachability area; formation the reachable area; data vector; software implementation.

1. Introduction

At present, automated control systems (ACS) for mobile objects (MO) have gained great popularity. The characteristic features of automated control system for moving objects are: multilevel, multi-connectivity, territorial distribution, structural dynamics of their main elements and subsystems, the multi-purpose nature of the functioning of modern moving objects, structural similarity and redundancy of the main elements and subsystems in automated control system for moving objects. In these

systems, the main control functions are automated, for example, the planning function, the operational control function. In general, automated control system for moving objects includes the following main elements and subsystems: control center; central control point; control points with moving objects systems; moving objects service points; service system; moving objects systems for various purposes; automated data exchange system.

At present, there is a huge number of reallife automated control systems for moving objects, which differ from each other in the

Models and Methods for Researching Information Systems in Transport, Dec. 11-12, 2020, St. Petersburg, Russia EMAIL: sokol@iias.spb.su (B.V. Sokolov);

mr.vitaly.ushakov@yandex.ru (V.A. Ushakov) ORCID: 0000-0002-2295-7570 (B.V. Sokolov); 0000-0003-00045439 (V.A. Ushakov)

I Zee) CI) \ © ^ 2020 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

r» =1 CEUR Workshop Proceedings (CEUR-WS.org)

volume and control functions. In this work, the research object is the automated control system for moving objects, which can be considered as aircraft and spacecraft of various classes.

However, the constructing problem and using real-life models and created objects is constantly growing due to the increasing complexity of the automated control system for moving objects, therefore, complex (system) modeling is used [1-5]. Modeling as a way for creating and researching models [6] makes it possible to practically eliminate the need for lengthy and expensive field tests, to abandon the use of traditional "trial and error" methods.

The functioning automated control system for moving objects is associated with the reception, processing and transmission of large amounts of data and information, which leads to the need to use a given set of moving objects (repeaters) in the control loop of such systems, providing direct information exchange between the automated control system subsystems. As an example of such a computer network, we can consider a network of spacecraft - repeaters, providing informational interaction of spacecraft - repeaters with each other and ground subscribers.

In these conditions, the formulation and solution of planning and management tasks for the processing and transmission of information to the automated control system for moving objects acquires special relevance. To solve this task, a dynamic model (DM) is being developed for information process control in the automated control system for moving objects and the reachable areas (RA) formation [1, 7-9] with its help to assess the quality indicators of the automated control system for moving objects.

2. Dynamic model for information processes control in the automated control system for moving objects (short description)

In [10] a task formulation was described, and in [11] a dynamic model and an algorithm for solving the task for controlling the receiving, transmitting and processing information processes in the automated control system for moving objects were considered in detail. Therefore, we will give only the basic

formulas for dynamic model for information processes control in automated control system for moving objects.

The algorithm for solving controlling information processes task in automated control system for moving objects was developed on the basis of the following methods: branches and boundaries (proposed by A. Land and J. Doig in 1960), successive approximations of Krylov-Chernousko [12]) and based on the generalized algorithm solving the controlling the processes transmission and processing data task in a dynamic network [13] which in turn was developed on the basis of the Krylov-Chernousko method [12], the Pontryagin maximum principle [14], the Hamilton function [15].

A mathematical model for controlling the receiving, transmitting and processing information processes in automated control system for moving objects, written in the form differential equations system:

(2.1) (2-2)

= (2.3)

$?(t) = a$\t)ev(ty, (2.4)

¿&4)(0 = ffl&2)( 0- (2-5)

Where (2.1) is an auxiliary equation that shows where the dynamic model is located;

(2.2) is an streaming information transmission/reception model;

(2.3) is an streaming information processing model;

(2.4) is an auxiliary equation, which shows from which node to which one is receiving/transmitting information;

(2.5) is an auxiliary equation that shows in which node the information processing is carried out.

Quality control Indicators for receiving/transmitting and processing information processes in the automated control system for moving objects:

L P n fi+\

J = II Ii y ,pi (t), CO*

i=ip=i,=i tl

; (2.6)

L P n fi+\

J2 = I I Ii ß ,pi (Tj CO*

1=1p=1j=11 l

; (2.7)

1 L

J = -SK(<u) -x(0,1) (f)]2 ; (2.8)

2 ¡=1

J4=2

2

L n n P

m ) (tfl )

,=1 ¿=1 j=- v p=-j

+ÉXig, -txp(>,)

,=1 j=1

V p=-

y

A2 y

(2.9)

L P n n

- x

.(n,3) ijpl

¡=1 p=1 j=1 i=1

(tfl ))2

; (2.10)

1 L P n ,

J6=--XLXLZ{t -xp('„)). (2.11)

2 ¡=1 p=i j=i

Form Indicator (2.6) is the information processing directive terms functional; (2.7) is the information processing completeness functional, which characterizes the total quality of the processed information; (2.8) is allows you to evaluate the completeness (quality) of processing a given information amount; (2.9) is allows us to estimate the fulfillment boundary conditions completeness (in fact, the Mayer functional); (2.10) and (2.11) are make it possible to estimate the uniformity (unevenness) of the use of information and computing resources of the automated control system for moving objects on the planning interval.

Hamiltonian (Hamilton function) :

H (x (t ), ^(0, u (t ), t ) =

= (H + H2 + h + H ) ^ max,

(2.12)

ueg

where u =||w(°'1),u,

jp, '

(n,D M °ijp, ,wjp,

, i, j = l...n, P = 1,...,P, l = 1,...,L ; 0 - is the admissible controls area determined by relations (2.1)-(2.8).

The maximizing task for Hamilton function of the form (2.12), depending on the situation that develops during the distribution of resources in automated control system for moving objects, is decomposed into 4 (in our case) particular optimization tasks of the following form:

Hi is confirms that time intervals are being

set.

H4 is an optimization subtask "about

purposes", which can be reduced to an integer linear programming task [16-17].

H is subtask receiving/transmitting information (solved using linear programming [18]).

H is subtask processing information (solved using linear programming [18]).

Let us consider in more detail the "about purposes" task is the task about best distribution of work between the same number of performers task. This task belongs to the scientific direction is operations research. Operations Research is a scientific methods set for solving the tasks about organizational systems effective control. The main methods for finding optimal solutions include mathematical programming, in particular, for example, linear programming, linear integer (Boolean) programming.

When solving the "about purposes" task, an optimal purpose is sought from the maximum overall performance condition, which is equal to the sum performance performers.

In the process for control production, the tasks about appointing performers for various types of work often arise, for example: the workers selection and the candidates appointment for vacant positions, the equipment distribution between regions, the trains distribution along routes.

With regard to our dynamic model, the "about purposes" task is formulated as follows. The spacecraft can receive/transmit or process information simultaneously.

It is known that the jth node for the ith spacecraft will store the information amount equal to cij units.

It is required to distribute spacecraft in such a way as to maximize the information received amount (to minimize information loss). At the same time, on each spacecraft there is a bandwidth limitation for the communication channel, and the spacecraft cannot simultaneously receive/transmit or process information.

The variable x^ ( i, j = 1, n ) is such that:

x^ = 1, if a decision is made to transfer information;

x = 0, if no decision is made to transfer

information.

Then the model for this task takes the following form:

ï ïjj ^ max,

i=1 j=1

n _

ï Xj =1, i = 1,n

j=1

n _

ï xj = 1, i=1,n

i=1

X e{Q,l},

■j-^^y, i,j = 1, n .

The software implementation (in particular, the mathematical programming task) of the described dynamic model for obtaining the source data for calculating the reachability area as a data vector is shown in the next section.

3. Software implementation of dynamic model for information process control in the automated control system for moving objects in Matlab

Mathworks Matlab [19-20] was chosen as the software, as it is excellent for designing and analyzing systems and working with computational mathematics and matrix, and the built-in graphics provide visualization and better understanding of the data. In addition, Matlab contains predefined functions in the Optimization Toolbox for solving the linear programming tasks and the "about purposes" tasks (integer linear programming tasks), which are used in the developed dynamic model for information process control in automated control system for moving objects. It is worth noting that during the development of the software module, Matlab's capabilities for working with matrices used to speed up the work of the dynamic model.

The main parameters for developed dynamic model are:

• information amount;

• penalty coefficients for the deadlines;

• performance for receiving/transmitting

information;

• information processing performance;

• directive terms.

In a linear equation, the integral is the summation. Therefore, in formulas (2.6) and (2.7), the integration is carried out automatically. In formulas (2.1) and (2.5), the derivative is the sum at all times. There is no time in the software implementation of the

dynamic model, and the switching of planning intervals is carried out automatically. In addition, the software module implements verification of technical and technological limitations of the mathematical model.

Let's dwell on the Optimization Toolbox in Matlab for solving linear programming problems and the "about purposes" task (integer linear programming task).

Linear programming tasks in the Optimization Toolbox in Matlab are solved using the linprog() function.

Consider a linear programming task:

fT • x ^ max

A • x < b

(3.1)

Aeq•x = beq lb < x < ub Basic inputs to linprog:

• coefficient vector for objective function f;

• inequality constraints matrix A;

• inequality constraints right-hand sides of the vector b;

• inequality constraints matrix Aeq;

• inequality constraints right-hand sides of the vector beq;

• vector lb, limiting the permissible plan x from below;

• vector ub, limiting the permissible plan x from above.

At the system output (3.1) the function linprog gives the optimal plan x and the objective function optimal value fval. It is also possible to set an initial guess x .

If one of the input parameters is absent, then in Matlab it should be replaced by square brackets [], except for the case when it is the last parameter in the list. In addition, it is possible to set additional settings, in particular, the solution algorithm. Matlab solves linear programming problems in two ways: the Large-Scale Algorithm and the Simplex method.

Integer linear programming tasks in the Optimization Toolbox in Matlab are solved using the intlinprog() function.

Consider an integer linear programming task:

fT ■ x ^ max A ■ x < b i Aeq■ x = beq (3.2)

lb < x < ub

where x is a vector with some integer coordinates. For an integer linear programming task, all coordinates of a vector x must be integers, and for a Boolean programming task, they must take values 0 or 1.

Basic inputs to intlinprog:

• basic input data as linprog;

• indices set intcon, at which the plan x

variables are integer.

At the system output (3.2) the function intlinprog like linprog gives the optimal plan x and the objective function optimal value fval.

Due to the absence of a static model, some constants for the dynamic model for information process control in automated control system for moving objects were taken from [21-22].

The graph for the generalized quality indicator for control information process in automated control system for moving objects is shown at Figure 1, and the streaming information processing model is shown at Figure 2.

Figure 1: Generalized quality indicator for control information process in automated control system for moving objects

Figure 2: Streaming information processing model

Thus, with the help of the described software implementation of the developed dynamic model for information process control in the automated control system for moving objects, the source data were obtained for calculating the reachability area as a data vector.

4. Reachability area formation as a data vector using dynamic model for information processes control in automated control system for moving objects

A vector data model is a digital point, line, and polygonal representation features as a set of coordinate pairs (vectors) that describe the features geometry.

It is proposed to construct and approximate reachability area based on the data obtained from the developed dynamic model for information processes control in the automated control system for moving objects [23-25]. Reachability area will be considered in the space of system-technical parameters, which is formed not on the basis of physical laws, but on the basis of various technologies for receiving, transmitting and processing information.

Based on the construction and approximation for reachability areas many problems in the optimal control theory are solved [8, 23, 26, 27].

The redistribution task, the modernization task, and the schedule task (control theory in scheduling theory [28-30]) are reduced to constructing or evaluating reachability areas, which subsequently serves as the basis for the development various numerical algorithms for finding a solution to a boundary or optimization problem for the considered dynamical system. However, the practical construction of reachable areas [31-33] especially in complex dynamic systems of large dimension is a very difficult task even when using modern computers. Therefore, in practice methods are often used to approximate these reachability areas with the required accuracy instead of directly constructing them.

It is well known that information about the reachability area and its main characteristics essentially replace all the information necessary for solving the assessing tasks the capabilities

for any dynamic system, the stability for its functioning, the options synthesis for creating and developing these systems.

It is well known that in the general case the Pareto set has a rather complicated structure, and therefore its construction often encounters insurmountable computational difficulties.

For reachability area formation as a data vector using dynamic model for information process control in automated control system for moving objects, it is proposed to use the following algorithm:

Step 1 Obtaining the source data from dynamic model for information process control in automated control system for moving objects.

Step 2. Data vector Construction obtained from dynamic model for information process control in automated control system for moving objects.

Step 3. Vertices determination for the future polyhedron.

Step 4. Formation of the set of all vertices for polyhedron.

Step 5. Constructing reachability area based on the vertices of a polyhedron in Matlab at a specific point in time.

Step 6. Formation and interpretation the output results, presenting them in a form convenient for subsequent use.

Reachability area based on dynamic model for information processes control in automated control system for moving objects is shown at Figure 3, and graphical representation of changes in reachability area parameters at different points in time is shown at Figure 4.

•f

Figure 3: Reachability area based on dynamic model for information process control in automated control system for moving objects

Reachability areas JIX.JCjl

Figure 4: Graphical representation of changes in reachability area parameters at different points in time

Thus, the algorithm for the reachability area formation as a data vector, based on dynamic model for information process control in automated control system for moving objects is implemented in software.

5. Conclusion and future research

On the basis of the developed and implemented at the software level a new dynamic model for information process control [34], which includes the processes of receiving/transmitting and processing data and information in the automated control system for moving objects, the reachability area formation as data vector at different points in time is performed. On the basis of this model, the dynamic model for the process of modernization, planning, functioning for the task of managing the development of production facilities was built [35].

The reachability area formation as a data vector is necessary to solve the task of assessing and analyzing the quality indicators of the automated control system for moving objects, which will increase the efficiency and validity of management decisions related to the configuration (reconfiguration) of the structures of the automated control system for moving objects in dynamically changing conditions.

In [36], the Pareto set construction in the state space using projective geometry is performed.

An example of describing an algebraic system in geometric terms for a graphical solution is given in [37].

In the future, it is planned to develop an algorithm for the orthogonal projection of multidimensional simplexes that set the required ranges of values of target indicators on

the reachability area, built by the dynamic model to obtain and select the most preferred technologies and control programs for the elements and subsystems of the automated control system for moving objects belonging to the corresponding compromises area V. Pareto [1, 7, 38,39]. This is possible, since it was shown in [40] that for the considered class of optimal control problems (linear dynamical system) the admissible controls area and the objective function are convex, the method of successive approximations ensures monotonic convergence.

Also, solving the constructing task and approximating reachability area will also allow to solve the rescheduling task from [41], which is based on an analysis of structural and dynamic control in a complex dynamic object [42].

6. Acknowledgements

The reported study was funded by RFBR, projects number 18-08-01505, 19-38-90221 and 20-08-01046, state research 0073-20190004.

References

[1] M.Y. Okhtilev, B.V. Sokolov, R.M. Yusupov, Intellectual Technologies of Monitoring and Controlling the Dynamics of Complex Technical Objects, Nauka, Moscow, 2006. (in Russian)

[2] van den Bosch, P.P.J., van der Klauw,

A.C., Modeling, Identification and Simulation of Dynamical Systems, 1st ed., CRC Press, London, 1994. doi: 10.1201/9780138746872.

[3] Simulation, in: J. Lenhard, G. Küppers, T. Shinn (Eds.), vol. 25 of Sociology of the Sciences Yearbook, Springer, Dordrecht, 2006. doi: 10.1007/1-4020-5375-4.

[4] Simulation Science, in: M. Baum, G. Brenner, J. Grabowski, T. Hanschke, S. Hartmann, A. Schöbel (Eds.), vol 889 of Communications in Computer and Information Science, Springer, Cham, 2018. doi: 10.1007/978-3-319-96271-9.

[5] A.M. Plotnikov, Y.I. Ryzhikov,

B.V. Sokolov, R.M. Yusupov, The analysis of current status and development trends of simulation in the Russian Federation (on conference proceedings

"Simulation. Theory and practice" (IMMOD)), SPIIRAS Proceedings 2(25), (2014) 42-112. doi: 10.15622/sp.25.3.

[6] S.V. Mikoni, B.V. Sokolov, R.M. Yusupov, Qualimetry of models and polymodel complexes, Nauka, St. Petersburg, 2018. (in Russian) doi: 10.31857/S9785907036321000001.

[7] V.A. Gubanov, V.V. Zakharov, A.N. Kovalenko, Introduction to systems analysis, LGU, Leningrad, 1988. (in Russian)

[8] F.L. Chernousko, State Estimation of Dynamic Systems, CRC Press, Boca Raton, 1994.

[9] F.H. Clarke, Yu.S. Ledyaev, R.J. Stern, P.R. Wolenskii, Qualitative properties of trajectories of control systems: a survey, Journal of Dynamical and Control System 1(1) (1995) 1-48.

[10] V.A. Ushakov, Development of a dynamic model for managing the structural dynamics of an automated control system for moving objects, in: Proceedings of Information technologies in management (ITU-2020), Electrical appliance, St. Petersburg, 2020. pp. 306308.

[11] V.A. Ushakov Dynamic model and control algorithm for receiving/transmitting/processing information in an automated control system for moving objects, Advances in Intelligent Systems and Computing, Springer, Cham.

[12] I.A. Krylov, F.L. Chernous'ko, An algorithm for the method of successive approximations in optimal control problems, USSR Computational Mathematics and Mathematical Physics 12(1) (1972) 15-38. doi: 10.1016/0041-5553(72)90063-8.

[13] B.V. Moskvin, E.P. Mikhailov, A.N. Pavlov, B.V. Sokolov, Combined Models of Structural Dynamics Control of Complex Technical Objects, Journal of Instrument Engineering 63(11) (2019). To appear. (in Russian).

[14] L.S. Pontryagin, V.G. Boltayanskii, R.V. Gamkrelidze, E.F. Mishchenko, The mathematical theory of optimal processes, Wiley, 1962.

[15] D. Ivanov, A. Dolgui, B. Sokolov, F. Werner, M. Ivanova, A dynamic model

and an algorithm for short-term supply chain scheduling in the smart factory industry 4.0, International Journal of Production Research 54(2) (2016) 386402. doi: 10.1080/00207543.2014.999958.

[16] H.M. Wagner, Principles of operations research with applications to managerial decisions, Prentice-Hall, Englewood Cliffs, NJ, 1969.

[17] G.A. Isaev, Solving integer, mixed and Boolean programming problems in MATLAB, 2016. (in Russian). URL: http://www.math.spbu.ru/kio/lectures/intli nprog.pdf

[18] A.N. Sergeev, N.A. Solovieva, Chernautsanu, Solving linear programming problems in Matlab, in: Seminar on discrete harmonic analysis and geometric modeling "DHA & CAGD", 2011. P. 1-9. (in Russian). URL: http://dha. spb. ru/PDF/MatLabLP .pdf

[19] MATLAB, Documentation. URL: https://www.mathworks.com/help/mat lab/index.html

[20] K. Chen, P.J. Giblin, A. Irving, Mathematical Explorations with MATLAB, Cambridge University Press, 1999. doi: 10.1017/cbo9780511624117.

[21] D.A. Pavlov, Methodology for planning operations of information interaction of a cluster of small spacecraft for remote sensing of the earth, Proceedings of the A.F. Mozhaisky 649 (2015) 37-47. (in Russian)

[22] Yu.S. Manuilov, A.N. Pavlov, S.A. Osipenko, D.A. Pavlov, Comparative analysis of the results of planning a complex of operations of information interaction of complex objects in dynamically changing conditions, Proceedings of the A.F. Mozhaisky 647 (2015) 30-36. (in Russian)

[23] B. Sokolov, V. Ushakov, Model-algorithmic Support for Abilities Calculating of Control System Based on Projection Operators, in: R. Silhavy (Eds.), Cybernetics and Automation Control Theory Methods in Intelligent Algorithms. CSOC 2019, vol. 986 of Advances in Intelligent Systems and Computing, Springer, Cham, 2019, pp. 342-348. doi: 10.1007/978-3-030-198138 35.

[24] A. Shorikov, V. Bulaev, A. Goranov, V. Kalev, Approximation of reachable domains of nonlinear discrete controlled dynamical systems, BSU bulletin. Mathematics, Informatics 1 (2018) 52-65. (in Russian). doi: 10.18101/2304-57282018-1-52-65.

[25] A. Shorikov, A. Goranov, A technique for approximating the reachability region of a nonlinear controlled dynamic system, Applied mathematics and control sciences 2 (2017) 112-121. (in Russian).

[26] B. Sokolov, A. Dolgui, D. Ivanov, Optimal Control Algorithms and Their Analysis for Short-Term Scheduling in Manufacturing Systems, Algorithms 11(5) (2018) 99-110. doi: 10.3390/a11050057

[27] N.N. Krasovsky, Motion control theory (linear systems), Nauka, Moscow, 1968. (in Russian)

[28] E. Khmelnitsky, K. Kogan, O. Maimom, Maximum principle-based methods for production scheduling with partially sequence-dependent setups, International Journal of Production Research 35(10) (1997)2701-2712.

[29] D. Ivanov, B. Sokolov, J. Kaeschel, A multi-structural framework for adaptive supply chain planning and operations with structure dynamics considerations, European Journal of Operational Research 200(2) (2010) 409-420. doi: 10.1016/j.ejor.2009.01.002.

[30] S.S. Chauhan, V. Gordon, J.-M. Proth, Scheduling in supply chain environment, European Journal of Operational Research 183(3) (2007) 961-970. doi: 10.1016/j.ejor.2005.06.078.

[31] A. Ovseevich, Reachability areas for controlled systems, their properties, approximations and applications, PhD thesis, Ishlinsky Institute for Problems in Mechanics RAS, Moscow, 1996. (in Russian)

[32] F. Chernousko, A. Ovseevich, Some properties of optimal ellipsoids approximating reachability sets, Doklady Mathematics. 67(1) (2003) 123-126.

[33] T. Filippova, Ellipsoidal Estimates of Reachable Sets for Nonlinear Control Systems with Bilinear Uncertainty, in: S. Fidanova (Eds.), Recent Advances in Computational Optimization Recent Advances in Computational Optimization, vol. 838 of Studies in Computational

Intelligence, Springer, Cham, 2020, pp. 121-131. doi: 10.1007/978-3-03022723-4 8.

[34] V.A. Ushakov, Development a model and an algorithm for planning information processes in an automated control system for moving objects, in: Proceedings of 19th International Conference "Aviation and Cosmonautics" (AviaSpace-2020), Publishing house "Pero", Moscow, 2020, pp. 319-320.

[35] V.V. Zakharov, Dynamic interpretation of formal description and solution of the problem of complex object modernization, Journal of Instrument Engineering 62(10)

(2019) 914—920. (in Russian). doi: 10.17586/0021-3454-2019-62-10-914920.

[36] V. Ushakov, Approximation a Reachability Area in the State Space for a Discrete Task, in: R. Silhavy (Eds), Applied Informatics and Cybernetics in Intelligent Systems. CSOC 2020, vol 1226 of Advances in Intelligent Systems and Computing, Springer, Cham, 2020, pp. 617-624. doi: 10.1007/978-3-030-519742 57.

[37] O. Kofnov, B. Sokolov, V. Ushakov, The synthesis of the control function in optimal tasks as a N-dimensional area using parallel projection on 2D plane, in: Proceedings of the 32nd European Modeling & Simulation Symposium, EMSS-2020, Online, 2020, pp. 262-269. doi: 10.46354/i3m.2020.emss.037.

[38] A. Engau, Pareto solutions in multicriteria optimization under uncertainty, European Journal of Operational Research 281(2)

(2020) 357-368. doi: 10.1016/j.ejor.2019.08.040.

[39] V.D. Nogin, Narrowing the Pareto set: an axiomatic approach, FizMatLit, Moscow, 2016. (in Russian)

[40] A.A. Lyubushin, Modifications and convergence of successive approximations for optimal control problems, USSR Computational Mathematics and Mathematical Physics 19(6) (1979) 53-61. doi: 10.1016/0041-5553(79)90036-3.

[41] N. Teslya, S. Potryasaev, Execution Plan Control in Dynamic Coalition of Robots with Smart Contracts and Blockchain,

Information 11(1) (2020) 1-12. doi: 10.3390/info11010028.

[42] B. Sokolov, V. Zelentsov, N. Mustafin, V. Burakov, Methodology of Complex Objects Structural Dynamics Proactive Management and Control Theory and Its Application, in: D. Arseniev, L. Overmeyer, H. Kälviäinen,

B. Katalinic, (Eds.), Cyber-Physical Systems and Control. CPS&C 2019, vol. 95 of Lecture Notes in Networks and Systems, Springer, Cham, 2020, pp. 169177. doi: 10.1007/978-3-030-34983-7 17.