Quantified real constraint solving using modal intervals with applications to control 

Herrero i Viñas, Pau (Date of defense: 2006-12-22)

Les restriccions reals quantificades (QRC) formen un formalisme matemàtic utilitzat per modelar un gran nombre de problemes físics dins els quals intervenen sistemes d'equacions no-lineals sobre variables reals, algunes ...