Probabilistic controller analysis and synthesis for quadratic performance: the method of HPD inscription | IEEE Conference Publication | IEEE Xplore