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