Исследуется один случай обобщения так назуваемой S-процедуры в задаче о знакоопределенности квадратичной формы при квадратичных ограничениях. Рассотрены приложения полученного алгебраического критерия к задачам анализа многомерных систем управления. Результаты формулируются в терминах резрешимости линейных матричных неравенств.
