Об управляемости линейных эволюционных функционально-дифференциальных систем

Получены новые теоремы об управляемости линейной функционально-дифференциальной системы эволюционного типа и алгоритм для практической проверки управляемости, который можно применять даже в случае, когда коэффициенты системы не являются непрерывно дифференцируемыми на рассматриваемом отрезке времени. Частными случаями этой системы являются нестационарные дифференциальные системы с распределенными и сосредоточенными запаздываниями, интегро-дифференциальные системы с вольтерровским интегралом и обыкновенные дифференциальные системы. Основные полученные результаты сформулированы в виде 12 теорем и 3 следствий. На их основе построен алгоритм практической проверки управляемости рассматриваемой системы с помощью компьютера. Приведены примеры, иллюстрирующие работоспособность полученных теорем и алгоритма. Алгоритм реализован в пакете Maple 17 для примеров дифференциальных систем второго порядка с запаздыванием.