A.Yu. Frolov1, O.V. Druzhinina2,  A.Yu. Chirkov3

1,3 Bauman Moscow State Technical University (Moscow, Russia) 

2 Federal Research Center «Computer Science and Control» of Russian Academy of Sciences (Moscow, Russia);

V.A. Trapeznikov Institute of Control Sciences of Russian Academy of Sciences (Moscow, Russia)