Institute of Problems of Mathematical Systems and Machines of the National Academy of Sciences of Ukraine