Seol mar théacs é seo: Randomized algorithms for analysis and control of uncertain systems /