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