Mixed ∞ control