Dans une première partie, nous nous intéressons 'a la stabilisation asymptotique globale de point d'équilibre de systèmes non-linéaires. Nous étudions des systèmes qui généralisent la forme suivante: x ̇ = h(y, u), y ̇ = f (y, u), i.e. ou' la composante x de l'état intègre des fonctions des autres composantes y et des entrées u. Nous énonçons des conditions suffisantes sous lesquelles la stabilisabilité asymptotique globale du sous système en y (resp. par une commande saturée) implique la stabilisabilité asymptotique globale du système entier (resp. par une commande saturée). Ceci est établi par une technique d'assignation de fonction de Lyapunov donnant explicitement la loi de commande. Ce résultat est obtenu avec des fonctions f et h dépendant également de x, mais d'une façon particulière. Nous montrons comment il peut être employé comme outil de base pour traiter de façon récursive des systèmes plus complexes. En particulier, le problème de stabilisation des systèmes dits de forme feedforward est résolu de cette façon. Nous illustrons la méthode proposée en l'appliquant à divers exemples pratiques. Dans une deuxième partie, nous adaptons les techniques mises en oeuvre dans la première au problème de stabilisation asymptotique globale d'une trajectoire de référence pour un système de forme feedforward, de structure un peu moins générale. Une attention particulière est donnée à l'aspect uniforme de la stabilité. Cette fois encore un exemple pratique nous permet d'illustrer nos résultats.

Ce travail traite du calcul fonctionnel des op\'rateurs dont le spectre est contenu dans les nombres r\'{e}els positifs. On s'int\'resse en particulier aux th\'{e}or\`{e}mes de multiplicateurs spectraux.\\ On aborde le calcul abstrait et optimal, c'est-\`{a}-dire les homomorphismes $u : C(K) \to B(X)$. Si $X$ est un espace de Hilbert, alors l'extension naturelle $\hat{u} : C(K;[u]') \to B(X)$ de $u$ sur l'ensemble des op\'rateurs est \` nouveau born\'{e}e. En utilisant la $R$-bornitude, un renforcement de la bornitude uniforme, on donne une extension de ce r\'sultat \` des espaces de Banach g\'{e}n\'raux $X$ et on l'applique au calcul $H$ infini et aux bases inconditionnelles dans des espaces $L^p$.\\ On d\'{e}veloppe des calculs associ\'s \` des op\'{e}rateurs sectoriels. Les exemples classiques en sont les th\'or\`mes spectraux de Mihlin et H\"{o}rmander donnant des classes de fonctions lisses qui forment des multiplicateurs de Fourier sur $L^p$. Ces th\'{e}or\`{e}mes ont d\'{e}j\`{a} \'{e}t\'{e} \'{e}tendus \`{a} une large classe d'op\'{e}rateurs de type Laplacien. On les regroupe sous une forme unifi\'{e}e gr\^{a}ce \`{a} la th\'{e}orie des op\'{e}rateurs: on compare le calcul de Mihlin et de H\"rmander \` la bornitude des familles classiques associ\'{e}es \`{a} un op\'rateur sectoriel.\\ Pour la famille des puissances imaginaires, on donne une caract\'{e}risation de leur croissance polynomiale en fonction d'un calcul fonctionnel qui raffine le calcul de Mihlin.\\ On \'tudie des semi-groupes de diffusion qui agissent sur une \'{e}chelle d'espaces de Banach. Il est connu que le semi-groupe a une extension analytique sur un secteur dans le plan complexe si cette \'chelle consiste des espaces $L^p$. On donne une g\'{e}n\'ralisation de ce r\'{e}sultat \`{a} des espaces $L^p$ non commutatifs en utilisant la th\'orie des espaces d'op\'{e}rateurs.

Nous étudions le problème de la robustesse de la bornitude et de la stabilité pour les systèmes non-linéaires. La première partie est consacrée 'a l'énoncé des conditions suffisantes garantissant que les propriétés de bornitude ou de stabilité pour le système réel peuvent se déduire de celles du modèle. La première condition que nous proposons est fondée sur la technique de fonctions de gain. Elle repose sur la notion SpES qui est une généralisation naturelle de la stabilité entrée-à-état (ISS) introduite par E.D. Sontag. Pour un système décomposé en sous systèmes interconnectés, la notion SpES permet d'énoncer un Théorème du petit gain généralisé dont la conclusion porte sur la stabilité entrée-sortie et sur la stabilité au sens de Lyapunov des variables internes. Ce théorème généralise le théorème du petit gain monotone donné récemment par Mareels-Hill. La seconde condition repose sur la technique de Lyapunov. Cette condition dite GUEC quantifie une sorte de distance et nous permet de prendre en compte potentiellement une large classe de perturbations. Cette partie est terminée par une comparaison des caractérisations nouvelles proposées avec trois caractérisations plus classiques : stabilité totale, perturbations singulières et perturbations régulières. La seconde partie s'intéresse à la synthèse de commande pour satisfaire les conditions énoncées dans la première partie. Nous montrons d'abord que pour une certaine classe de systèmes non-linéaires, nous pouvons élaborer des lois de commande pour satisfaire les conditions du théorème du petit gain généralisé. En particulier, des problèmes de stabilisation globale par retour d'état partiel et par retour de sortie sont résolus. Nous donnons ensuite une application du théorème du petit gain a' une classe de systèmes soumis à des perturbations paramétriques et dynamiques et concevons des contrôleurs adaptatifs assurant la bornitude des solutions. Enfin, pour examiner l'aspect de convergence asymptotique des solutions, nous introduisons un signal de normalisation dynamique qui informe de la "taille" des effets non-modélisés.

Nous proposons une technique de dépliage pour vérifier les systèmes concurrents infinis bien structurés. Certaines propriétés d'intérêt comme la bornitude, la couverture et la terminaison sont décidables grâce à la bonne structure de ces systèmes. D'autre part, le dépliage réduit efficacement l'explosion combinatoire en exploitant l'ordre partiel entre les événements des systèmes concurrents. Nous proposons une modélisation par structure d'événements pour des systèmes bien structurés élémentaires, tels les compteurs et les files de communication. Le dépliage d'un réseau de structures d'événements étant une structure d'événements, nous proposons ensuite une approche hiérarchique à la modélisation et à la vérification des systèmes, qui préserve la bonne structure. Enfin, nous proposons une technique d'élimination des événements redondants. La mise en œuvre de notre approche dans l'outil ESU nous permet de conclure à son efficacité. / We propose an unfolding technique for verifying concurrent infinite-state systems that are well-structured. Some properties of interest such as boundedness, coverability and termination are decidable thanks to the well-structure of these systems. Moreover, the unfolding effectively reduces the combinatorial explosion by exploiting the partial order between events of concurrent systems. We propose a modelization using event structures for basic well-structured systems, such as counters and communication channels. As the unfolding of a synchronized product of event structures is an event structure, we obtain a hierarchical approach to modeling as well as to verifying systems, which preserves the well-structure. Finally, we propose a technique for eliminating redundant events. The implementation of our approach in the ESU tool allows us to conclude on its efficiency.

Ce mémoire de thèse traite de la stabilité en temps fini et de la stabilisation en temps fini des systèmes dynamiques. En effet, il est souvent important de garantir que pendant le régime transitoire, les trajectoires d'état ne dépassent pas certaines limites prédéfinies afin d'éviter les saturations et l'excitation des non-linéarités du système. Un système dynamique est dit stable en temps fini FTS si, pour tout état initial appartenant à un ensemble borné prédéterminé, la trajectoire d'état reste comprise dans un autre ensemble borné prédéterminé pendant un temps fini et fixé. Lorsque le système est perturbé, on parle de bornitude en temps fini FTB. Premièrement, des nouvelles conditions suffisantes assurant la synthèse d'un correcteur FTB par retour de sortie dynamique des systèmes linéaires continus invariants perturbés ont été développées via une approche descripteur originale. Le résultat a été établi par une transformation de congruence particulière. Les conditions obtenues sont sous forme de LMIs. Deuxièmement, l'utilisation de la notion d'annulateur combinée avec le lemme de Finsler, permet d’obtenir des nouvelles conditions sous formes LMIs garantissant la stabilité et la stabilisation en temps fini des systèmes non linéaires quadratiques. Enfin, pour obtenir des conditions encore moins pessimistes dans un contexte de stabilité en temps fini, de nouveaux développements ont été proposés en utilisant des fonctions de Lyapunov polynomiales / This dissertation deals with the finite time stability and the finite time stabilization of dynamic systems. Indeed, it is often important to ensure that during the transient regime, the state trajectories do not exceed certain predefined limits in order to avoid saturations and excitations of the nonlinearities of the system. Hence the interest is to study the stability of the dynamic system in finite time. A dynamic system is said to be stable in finite time (FTS) if, for any initial state belonging to a predetermined bounded set, the state trajectory remains within another predetermined bounded set for a finite and fixed time. When the system is disturbed, it is called finite time boundedness (FTB). In this manuscript, the goal is to improve the results of finite time stability used in the literature. First, new sufficient conditions expressed in terms of LMIs for the synthesis of an FTB controller by dynamic output feedback have been developed via an original descriptor approach. An original method has been proposed which consists in using a particular congruence transformation. Second, new LMI conditions for the study of finite time stability and finite time stabilization have been proposed for disturbed and undisturbed nonlinear quadratic systems. Third, to obtain even less conservative conditions, new developments have been proposed using polynomial Lyapunov functions