1. D. E. Kirk, Optimal Control Theory: An Introduction (Prentice-Hall, New Jersey, 1970).
2. A. A. Agafonov, A. S. Yumaganov, and V. V. Myasnikov, ‘‘Adaptive traffic signal control based on neural network prediction of weighted traffic flow,’’ Optoelectron., Instrum. Data Process. 58, 503–513 (2022). https://doi.org/10.3103/S8756699022050016
3. S. E. Velder and A. A. Shalyto, ‘‘Verification of simple automata based programs using the model checking method,’’ Inf.-Upravlyayushchie Sist., No. 3, 27–38 (2007). https://elibrary.ru/kycbvv.
4. M. I. Shamrov, ‘‘Automata approach to synthesis of transport system simulation model,’’ Innovatsionnye, Inf. Kommunikatsionnye Tekhnol., No. 1, 196–198 (2018). https://elibrary.ru/ywawcl.
5. J.-R. Abrial, M. Butler, S. Hallerstede, T. S. Hoang, F. Mehta, and L. Voisin, ‘‘Rodin: An open toolset for modelling and reasoning in Event-B,’’ Int. J. Software Tools Technol. Transfer 12, 447–466 (2010). https://doi.org/10.1007/s10009-010-0145-y