Résumé
L'approximation garantie de l'espace d'état atteignable par un système dynamique continu incertain, permet de contribuer à la résolution de problèmes en automatique. Dans cette optique, nous présentons dans cet article une approche de caractérisation garantie et efficace de cet espace d'état atteignable. Cette méthode s'appuie sur les modèles de Taylor in- tervalles pour la résolution des systèmes d'équations différentielles ordinaires et les théorèmes de comparaison des inégalités différentielles, en particulier le théorème de Müller.