A.M. Shirvanyan - Post-graduate Student, Junior Research Scientist, Laboratory № 3 "Logical control systems", V.A. Trapeznikov Institute of Control Sciences of RAS, Russian Academy of Sciences (Moscow). E-mail: artshirvanyan@mail.ru D.A. Tumchenok - Post-graduate Student, Junior Research Scientist, Laboratory № 3 "Logical control systems", V.A. Trapeznikov Institute of Control Sciences of RAS, Russian Academy of Sciences (Moscow). E-mail: dmitriy_tumchenok@mail.ru