Le travail présenté dans cette thèse concerne d'une part, l'étude qualitative d'ensembles et d'autre part, celui de l'étude de la stabilité d'un système dynamique. Les méthodes numériques proposées combinent le calcul par intervalles et la théorie des graphes.<br /><br />De nombreux problèmes, comme l'étude de l'espace des configurations d'un robot, se ramènent à une étude qualitative d'ensembles. Ici, la ``taille'' de l'ensemble importe peu, ce qui compte, c'est sa ``topologie''. Les méthodes proposées calculent des invariants topologiques d'ensembles. Les ensembles considérés sont décrits à l'aide d'inégalités $\mathcal{C}^{\infty}$. L'idée maîtresse est de décomposer un ensemble donné en parties contractiles et d'utiliser l'homologie de \v Cech.<br /><br />La seconde partie de la thèse concerne l'étude de point<br />asymptotiquement stables des systèmes dynamiques (linéaires ou non). Plus largement, on propose une méthode pour approcher le bassin d'attraction d'un point asymptotiquement stable. Dans un premier temps, on utilise la théorie de Lyapunov et le calcul par intervalle<br />pour trouver effectivement un voisinage inclus dans le bassin d'attraction d'un point prouvé asymptotiquement stable. Puis, on combine, une fois de plus, la théorie des graphes et les méthodes d'intégration d'équations différentielles ordinaires pour améliorer ce voisinage et ainsi construire un ensemble inclus dans le bassin<br />d'attraction de ce point.

Les travaux de cette thèse portent sur les problèmes d'analyse de stabilité et de synthèse de commande de systèmes non-linéaires à commutations en temps discret. Nos résultats obtenus sont fondés sur une nouvelle fonction de Lyapunov-Lur'e adaptée au temps discret. Nous reprenons le problème classique d'analyse de stabilité globale de systèmes linéaires connectés à une non-linéarité du type secteur borné. Notre fonction permet de traiter une classe de non-linéarités plus générale que celle des approches fondées sur la fonction de Lur'e classique. Ensuite, la stabilité locale et la synthèse de commande de ces systèmes avec une loi de commande non-linéaire saturée sont résolues en considérant les lignes de niveau de notre fonction de Lyapunov comme estimation du bassin d'attraction de l'origine. Notre estimation est composée par des ensembles non-connexes et non-convexes qui s'adaptent bien à l'allure du bassin d'attraction et donc est moins conservative que les ensembles ellipsoïdaux. Nous étendons nos résultats pour étudier les systèmes à commutations lorsque chacun des modes présente une non-linéarité du type secteur et la saturation. D'une part, en supposant que la loi de commutation est arbitraire, nous obtenons des conditions suffisantes pour assurer la propriété de stabilité pour toute loi de commutation. Dans ce cadre, notre fonction s'avère intéressante afin de fournir une estimation bien adaptée au bassin d'attraction. D'autre part, en considérant la loi de commutation comme une variable de commande, nous proposons une stratégie de commutation sur le minimum des fonctions de Lyapunov modales. Cette stratégie définit des partitions de l'espace d'état relatives à l'activation des modes qui ne sont pas uniquement des régions coniques, normalement exhibées par des approches fondées sur les fonctions quadratiques commutées.

Les travaux de cette thèse portent sur les problèmes d'analyse de stabilité et de synthèse de commande de systèmes non-linéaires à commutations en temps discret. Nos résultats ob- tenus sont fondés sur une nouvelle fonction de Lyapunov-Lur'e adaptée au temps discret. Nous reprenons le problème classique d'analyse de stabilité globale de systèmes linéaires connectés à une non-linéarité du type secteur borné. Notre fonction permet de traiter une classe de non-linéarités plus générale que celle des approches fondées sur la fonction de Lur'e classique. Ensuite, la stabilité locale et la synthèse de commande de ces systèmes avec une loi de commande non-linéaire saturée sont résolues en considérant les lignes de niveau de notre fonction de Lyapunov comme estimation du bassin d'attraction de l'origine. Notre estimation est composée par des ensembles non-connexes et non-convexes qui s'adaptent bien à l'allure du bassin d'attraction et donc est moins conservative que les ensembles el- lipsoïdaux. Nous étendons nos résultats pour étudier les systèmes à commutations lorsque chacun des modes présente une non-linéarité du type secteur et la saturation. D'une part, en supposant que la loi de commutation est arbitraire, nous obtenons des conditions suffisantes pour assurer la propriété de stabilité pour toute loi de commutation. Dans ce cadre, notre fonction s'avère intéressante afin de fournir une estimation bien adaptée au bassin d'attrac- tion. D'autre part, en considérant la loi de commutation comme une variable de commande, nous proposons une stratégie de commutation sur le minimum des fonctions de Lyapunov modales. Cette stratégie définit des partitions de l'espace d'état relatives à l'activation des modes qui ne sont pas uniquement des régions coniques, normalement exhibées par des approches fondées sur les fonctions quadratiques commutées.

Les travaux de cette thèse portent sur les problèmes d'analyse de stabilité et de synthèse de commande de systèmes non-linéaires à commutations en temps discret. Nos résultats obtenus sont fondés sur une nouvelle fonction de Lyapunov-Lur'e adaptée au temps discret. Nous reprenons le problème classique d'analyse de stabilité globale de systèmes linéaires connectés à une non-linéarité du type secteur borné. Notre fonction permet de traiter une classe de non-linéarités plus générale que celle des approches fondées sur la fonction de Lur'e classique. Ensuite, la stabilité locale et la synthèse de commande de ces systèmes avec une loi de commande non-linéaire saturée sont résolues en considérant les lignes de niveau de notre fonction de Lyapunov comme estimation du bassin d'attraction de l'origine. Notre estimation est composée par des ensembles non-connexes et non-convexes qui s'adaptent bien à l'allure du bassin d'attraction et donc est moins conservative que les ensembles ellipsoïdaux. Nous étendons nos résultats pour étudier les systèmes à commutations lorsque chacun des modes présente une non-linéarité du type secteur et la saturation. D'une part, en supposant que la loi de commutation est arbitraire, nous obtenons des conditions suffisantes pour assurer la propriété de stabilité pour toute loi de commutation. Dans ce cadre, notre fonction s'avère intéressante afin de fournir une estimation bien adaptée au bassin d'attraction. D'autre part, en considérant la loi de commutation comme une variable de commande, nous proposons une stratégie de commutation sur le minimum des fonctions de Lyapunov modales. Cette stratégie définit des partitions de l'espace d'état relatives à l'activation des modes qui ne sont pas uniquement des régions coniques, normalement exhibées par des approches fondées sur les fonctions quadratiques commutées / In this PhD thesis, several problems of stability analysis and control design of discrete-time switched nonlinear systems are addressed. As main contribution, a new class of Lyapunov functions which takes the nonlinearity into account has been proposed. We show that these functions are suitable to solve the classical stability analysis problem of linear systems connected to a cone bounded nonlinearity. Instead of the original Lyapunov Lur'e function, the assumptions about the nonlinearity variation are not required. Furthermore, the local stability analysis and control synthesis problems of Lur'e systems subject to control saturation are tackled by considering the level set of our function as an estimate of the basin of attraction. We expose that this estimate, which is given by non-convex and disconnected sets, is less conservative than ellipsoidal sets. We extend these results in order to deal with the problems of stability analysis and stabilization of discrete-time switched nonlinear systems. On one hand, we consider the case of arbitrary switching such that our sufficient conditions assure the properties of stability for all possible switching rules. In this framework, we highlight that our function is able to provide a suitable estimate of the basin of attraction. On the other hand, we tackle the problem of switching rule design aiming at the stabilization of discrete-time switched systems with nonlinear modes. We propose a switching strategy depending on the minimum of our switched Lyapunov Lur'e function. Hence, our framework leads to state space partitions, related to the mode activation, which are not restricted to conic sets, commonly exhibited by the switched quadratic functions approaches