S. A. Kudzh and V. Y. Tsvetkov, “Logical model of mobile object control”, Nexo Scientific Journal, vol. 34, no. 01, pp. 504–513, Apr. 2021.