Data-driven control via Petersen's lemma. (November 2022)