In this work, an algorithm is suggested to construct the control function that provides the transition of a broad class of stationary nonlinear controllable systems of ordinary differential equations from the initial state to the origin of coordinates taking into account the possibility of verification of the operability of computer systems. Constructive sufficient conditions ensuring the existence of a solution to the set problem are found. The efficiency of the algorithm is shown by the numerical modeling of a specific practical problem.