Computational Design of Stabilizing Static Output Feedback Controllers