Синтез системы стабилизации программного движения мобильного робота с помощью прямого метода Ляпуновастатья