A separation theorem for guaranteed H2 performance through matrix inequalities. (October 2018)