Для многих практических задач информатики и управления теория до сих пор не может предложить удовлетворительных решений. Среди них: проблемы организации динамически реконфигурируемого интеллектуального управления, асинхронного управления, управления через Интернет, управления командой роботов, программирование системы управления бактерией и многие другие. Одна из основных трудностей связана, в частности, с недостатками в подходах к составлению формального математического описания задач.