Constrained Quaternion Attitude Control of Satellites via \\Semi‑Definite Programming