Solution of the local boundary problem for nonlinear stationary system with account of the computer systems verification

In the article an algorithm of construction of the control function that garantees the translation of nonlinear stationary system of the ordinary differential equations from initial state to origin of the coordinate system with account of the possibility of the onboard computer systems verification is suggested. A constructive sufficient conditions that garafntee an existence of the problem solution are found. An efficiency of the algorithm is shown by numerical modelling of the specific practical problem.