Наведено огляд деяких результатів, одержаних в Інституті динаміки систем і теорії керування СВ РАН у галузі розробок нових методів логічного керування динамічними системами. Цей науковий напрямок започатковано у 60-і роки, але деякі принципові труднощі проблеми дедукції перешкоджали широкому застосуванню автоматичної дедукції в контурі керування. Показано, що техніка автоматичного доведення теорем і сьогодні розвинута до стану застосовності в інтелектному керуванні складними системами. Перша причина - у тому, що сучасні системи інтелектного керування недостатньо інтелектуальні. Друга причина визначається можливостями та перевагами деяких нових логічних засобів, які дозволяють подолати труднощі застосування першорядних та інших потужних логік у задачах керування в реальному часі. Цей логічний інструмент описано в статті. Наведено дані про його застосування з посиланням на більш докладні публікації. Основні застосування пов'язані з керуванням рухомими об'єктами.

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"