Positivstellensätze for polynomial matrices with universal quantifiers

Feng Guo, Jie Wang

This paper investigates Positivstellensätze for polynomial matrices subject to universally quantified polynomial matrix inequality constraints. We first establish a matrix-valued P…