La imprecisió i la incertesa de sistemes complexos poden ser representats en molts casos per models d'intervals. Una de les nostres línees de recerca és desenvolupar mètodes i eines basades en l’anàlisi intervalar per poder treballar amb aquests sistemes. Dins el grups de recerca, s’han desenvolupar les eines següents usant l’anàlisi intervalar com a base - IvalDv: aritmética d’intervals modals - FSTAR: Aproximació interna i externa de la *-extensió semàntica d’una funció continua. - QSI: Inversió de conjunts amb quantificadors - MINIMAX: optimització restringida - SQUALTRACK: detecció de fallades en sistemes dinàmics L’anàlisi intervalar l’hem aplicat en diversos camps tals com la modelització, simulació, detecció de falles, inversió de conjunts, problemes d’optimització, anàlisi i disseny de control robust, gràfics per ordinador, etc.