Quantified Set Inversion Algorithm with Applications to Control
Pau Herrero Viñas, Miguel Ángel Sainz, Luc Jaulin · 2014
Abstract. In this paper, a new algorithm based on Set Inversion techniques and Modal Interval Analysis is presented. This algorithm allows solving problems involving quantified constraints over the reals through the characterization of their solution sets. The presented methodology can be applied over a wide range of problems involving uncertain (non)linear systems. Finally, an advanced application is solved.