RUS  ENG
Full version
JOURNALS // Vestnik of Saint Petersburg University. Mathematics. Mechanics. Astronomy // Archive

Vestnik of Saint Petersburg University. Mathematics. Mechanics. Astronomy, 2024 Volume 11, Issue 2, Pages 303–315 (Mi vspua297)

MATHEMATICS

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

A. N. Kvitko, N. N. Litvinov

St. Petersburg State University, 7-9, Universitetskaya nab., St. Petersburg, 199034, Russian Federation

Abstract: 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.

Keywords: control, nonlinear stationary systems, boundary problem, stabilization, computer systems.

UDC: 517.977

MSC: 93A99

Received: 31.03.2023
Revised: 11.10.2023
Accepted: 09.11.2023

DOI: 10.21638/spbu01.2024.204



© Steklov Math. Inst. of RAS, 2026