Quantified set inversion algorithm with applications to control

Abstract. In this paper, a new algorithm based on Set Inversion techniques and Modal Interval Analysis is presented. This algorithm allows solving problems involv-ing 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