Employing Kronecker Canonical Form for LMI-Based ∞ Synthesis Problems