Un logiciel critique est un logiciel dont le mauvais fonctionnement peut avoir un impact important sur la sécurité ou la vie des personnes, des entreprises ou des biens.L'ingénierie logicielle pour les systèmes critiques est particulièrement difficile et combine différentes méthodes pour garantir la qualité des logiciels produits.Parmi celles-ci, les méthodes formelles peuvent être utilisées pour prouver qu'un logiciel respecte ses spécifications.Le travail décrit dans cette thèse s'inscrit dans le contexte de la validation de propriétés de sûreté de programmes critiques, et plus particulièrement des propriétés numériques de logiciels embarqués dans des systèmes de contrôle-commande.La première partie de cette thèse est consacrée aux preuves de stabilité au sens de Lyapunov.Ces preuves s'appuient sur des calculs en nombres réels, et ne sont pas valables pour décrire le comportement d'un programme exécuté sur une plateforme à arithmétique machine.Nous présentons un cadre théorique générique pour adapter les arguments des preuves de stabilité de Lyapunov aux arithmétiques machine.Un outil effectue automatiquement la traduction de la preuve en nombres réels vers une preuve en nombres a virgule flottante.La seconde partie de la thèse porte sur l'analyse des relations affines, en utilisant une interprétation abstraite basée sur l'approximation des valuations associées aux points de contrôle d'un programme par des polyèdres convexes.Nous présentons ALICe, un framework permettant de comparer différentes techniques de génération d'invariants.Il s'accompagne d'une collection de cas de tests tirés de publications sur l'analyse de programmes, et s'interface avec trois outils utilisant différents algorithmes de calcul d'invariants: Aspic, iscc et PIPS.Afin d'affiner les résultats de PIPS, deux techniques de restructuration de code sont introduites, et plusieurs améliorations sont apportées aux algorithmes de génération d'invariants et évaluées à l'aide d'ALICe. / A critical software is a software whose malfunction may result in death or serious injury to people, loss or severe damage to equipment or environmental harm.Software engineering for critical systems is particularly difficult, and combines different methods to ensure the quality of produced software.Among them, formal methods can be used to prove that a software obeys its specifications.This thesis falls within the context of the validation of safety properties for critical software, and more specifically, of numerical properties for embedded software in control-command systems.The first part of this thesis deals with Lyapunov stability proofs.These proofs rely on computations with real numbers, and do not accurately describe the behavior of a program run on a platform with machine arithmetic.We introduce a generic, theoretical framework to adapt the arguments of Lyapunov stability proofs to machine arithmetic.A tool automatically translates the proof on real numbers to a proof with floating-point numbers.The second part of the thesis focuses on linear relation analysis, using an abstract interpretation based on the approximation by convex polyhedrons of valuations associated with each control point in a program.We present ALICe, a framework to compare different invariant generation techniques.It comes with a collection of test cases taken from the program analysis literature, and interfaces with three tools, that rely on different algorithms to compute invariants: Aspic, iscc and PIPS.To refine PIPS results, two code restructuring techniques are introduced, and several improvements are made to the invariant generation algorithms and evaluated using ALICe.

Ces travaux portent sur la commande et l’analyse de la stabilité d’un système électropneumatique constitué d’un axe linéaire commandé par deux servodistributeurs régulant le débit massique entrant dans chaque chambre de l’actionneur. La problématique générale est motivée par l’apparition d’un phénomène de redécollage sur ce système électropneumatique difficilement pris en compte par les études actuelles en automatique. Ce problème, rencontré depuis de nombreuses années, concerne toutes les commandes linéaires et non linéaires mono et multidimensionnelles étudiées au laboratoire. Il se traduit par des mouvements saccadés du vérin au voisinage de l’équilibre. Ce phénomène est dû à la présence de frottements secs et aux dynamiques des pressions dans les chambres pneumatiques de l’actionneur, qui continuent à évoluer (intégrer le débit massique entrant délivré par les servodistributeurs), même après l’équilibre mécanique. La première partie de ce mémoire propose une commande non linéaire commutée afin d’éviter le phénomène de redécollage de l’actionneur électropneumatique notamment vis-à-vis des variations de frottements secs qui peuvent à tout moment causer ce phénomène. Cette technique est finalement mise en œuvre et son efficacité est constatée. La plus grande partie de ce mémoire traite l’analyse de l’actionneur électropneumatique avec sa loi de commande commutée. La présence de frottements secs et l’application d’une loi de commande commutée nous a amené à concilier une démarche d’analyse de stabilité, en considérant une classe de systèmes commutés appelée systèmes affines par morceaux. La principale difficulté de cette démarche réside dans l’obtention de fonctions de Lyapunov adéquates, qui se transforme en un problème d’optimisation sous contraintes LMI (Linear Matrix Inequality) en utilisant la S-procédure. Afin d’analyser la stabilité d’un système PWA (PieceWise Affine), la première démarche proposée permet le calcul d’une fonction de Lyapunov quadratique par morceaux sous la forme d’un problème d’optimisation sous contraintes LMI, en imposant des conditions suffisantes de stabilité. Ces dernières permettent, contrairement aux méthodes classiques, d’assurer la convergence de trajectoires d’état non pas vers un point d’équilibre, mais vers un ensemble des points d’équilibre d’un système PWA. L’approche proposée permet aussi l’étude de la robustesse vis-à-vis des variations paramétriques dans le système. Nous proposons aussi une deuxième approche pour la construction d’un type de fonctions de Lyapunov dites polynomiales par morceaux, via l’utilisation des "sum of square" et de la "power transformation", afin d’analyser la stabilité d’un ensemble de points d’équilibre d’un système PWA, en présence de phénomènes de glissement et de variations paramétriques. Cette approche propose des conditions suffisantes moins conservatives que celles imposées par les fonctions de Lyapunov quadratique par morceaux. En effet, sur des exemples de systèmes PWA présentant de dynamiques discontinues sur les frontières entre les cellules, pouvant générer à tout moment des phénomènes de glissement, ces dernières s’avèrent inefficaces et ne permettent pas d’assurer la stabilité des systèmes PWA en présence de ces phénomènes. Par conséquent, les résultats sur la fonction de Lyapunov quadratique par morceaux sont étendus pour pouvoir calculer des fonctions de Lyapunov polynomiales par morceaux d’ordre supérieur, en résolvant un problème d’optimisation sous contraintes LMI. Ces dernières permettent de garantir des conditions plus générales et moins conservatives par rapport à celles développées dans la littérature. Ces deux approches ont été appliquées afin d’analyser la stabilité de l’ensemble des points d’équilibre du système électropneumatique, en considérant à la fois un modèle de frottements sous la forme d’une saturation et un autre sous la forme d’un relais présentant une dynamique discontinue. [...] / This work focuses on the control and stability analysis of an electro-pneumatic system, i.e. a linear pneumatic cylinder controlled by two servo valves regulating the mass flow entering each chamber of the actuator. The general problem is motivated by the appearance of stick-slip on the electro-pneumatic system, hardly taken into account by the current studies in automatic control. This problem, encountered throughout the years, concerns all mono- and multidimensional linear and non-linear controls systems studied at the laboratory. In pneumatic cylinders, the phenomenon consists in a displacement of the rod a while after it has come to a rest ; this is due to the fact that the force acting on the rod initially becomes smaller that the threshold which is necessary for a motion, and then this threshold is overcome later on. In this case, stick-slip is caused by the presence of dry friction and by the pressure dynamics in the chambers, which continue to evolve (integrating the net incoming mass flow from the servovalves) even after the rod has stopped. The first part of this thesis proposes a nonlinear switching control law in order to avoid stick-slip on pneumatic cylinder, taking into account with the variations of dry friction that may occur at any time causing this phenomenon. This technique is implemented and its effectiveness is recognized. The greatest part of this thesis deals with the stability analysis of the pneumatic cylinder with its switched control law. The presence of dry friction and the application of a switched control law requires an appropriate method for approaching the stability analysis ; this method is based on considering the closed-loop system as belonging to a class of switched systems called piecewise affine systems (PWA). The main difficulty in this approach lies in obtaining adequate Lyapunov functions for proving stability, which turns into an optimization problem under LMI constraints (Linear Matrix Inequality) using the S-procedure. In order to analyze the stability of a PWA system, a first method is proposed allowing the computation of a piecewise quadratic Lyapunov function through an optimization problem under LMI constraints. The methods takes into account, in contrast to conventional methods, that the states might converge not to a single point but to a set of equilibrium points. The proposed approach allows also the study of robustness with respect to parametric variations in the system. A second method is also proposed for the construction of a type of Lyapunov functions called piecewise polynomial, using the “sum of squares” and “power transformation” techniques. This approach proposes less conservative sufficient conditions than those imposed by the piecewise quadratic Lyapunov functions, yielding a more succesfull stability test when for PWA systems featuring sliding modes and parametric variations. In fact, on PWA systems with discontinuous dynamics (which can generate sliding phenomena), piecewise quadratic Lyapunov functions might prove ineffective to prove the stability. Therefore, the results on piecewise quadratic Lyapunov functions are extended in order to compute piecewise polynomial Lyapunov functions of higher order, by solving an optimization problem under LMI constraints. These functions are more general and allow less conservative conditions compared to those formerly developed in the literature. Both of these methods have been applied to the stability analysis of the set of equilibrium points of the pneumatic cylinder, considering first a friction model in saturation form and then a model in relay form with a discontinuous dynamics. The application of the methods is successful, i.e. the robust stability is proven under dry friction threshold variations, with possibility of sliding modes.

L’objectif de ce travail est de proposer de nouvelles stratégies de commande non linéaire pour la stabilisation des Réacteurs Parfaitement Agités Continus (RPAC). Pour cela, nous utilisons d’une part, l’approche thermodynamique entropique. Plus précisément, nous utilisons la notion de disponibilité thermodynamique et les propriétés de la thermodynamique irréversible pour définir une fonction de Lyapunov utilisable pour la stabilisation du système en boucle fermée. Nous proposons aussi une fonction disponibilité réduite afin d’obtenir des lois stabilisantes plus performantes en terme de sollicitation des actionneurs. D’autre part, nous proposons une extension du formalisme (pseudo) hamiltonien à ports dissipatifs aux réacteurs chimiques ouverts. Nous montrons que l’Hamiltonien est lié à l’enthalpie libre de Gibbs dans le cas isotherme et à l’ectropie (opposée de l’entropie) dans le cas non isotherme. Par ce formalisme, la dissipation du système représente la production irréversible d’entropie due à la réaction chimique. Nous appliquons ensuite les techniques de commande passive (modelage de l’énergie) pour la synthèse de lois de commande en choisissant la disponibilité thermodynamique comme fonction hamiltonienne à modeler en boucle fermée. Finalement, nous montrons que les commandes synthétisées par l’approche thermodynamique entropique et la formulation pseudo-hamiltonienne sont, dans certains cas, équivalentes. Certaines propriétés relatives à la stabilisation et l’admissibilité des commandes sont aussi considérées. Les développements théoriques sont mis en oeuvre sur des exemples différents de RPAC : un réacteur académique et l’hydrolyse par catalyse acide de l’oxirane-méthanol en glycérine. / The goal of this thesis is to propose new nonlinear control strategies for the stabilization of perfectly Continuous Stirred Tank Reactors (CSTR). To achieve this goal, we use on the one hand, the entropic thermodynamic approach. More precisely, we use the thermodynamic availability concept and the properties of irreversible thermodynamics to define a Lyapunov function candidate for the stabilization of the closed loop system. We also propose a reduced availability function to design more efficient feedback laws in term of control variable solicitations. On the other hand, we propose an extension of the (pseudo) Hamiltonian formalism associated to dissipative systems to open chemical reactors. We show that the Hamiltonian is linked to the Gibbs free enthalpy in the isothermal case and to ectropy (opposed to entropy) in the non isothermal case. By this formalism, the dissipation of the system represents the irreversible entropy production due to chemical reaction. The Interconnection and Damping Assignment-Passivity Based Control (IDA-PBC) approach is then applied to synthesize feedback laws by choosing the thermodynamic availability as desired closed loop hamiltonian storage function. Finally, we show that feedback laws synthetized by the entropic thermodynamic approach and the pseudo-hamiltonian formulation are equivalent in some cases. Some stabilization properties and the control input admissibility are also considered. Theoretical developments are illustrated on some different CSTR examples : an academic case study and the acid catalyzed hydration of oxirane-methanol to glycerol.

L’objet de cette thèse est la modélisation et la commande par approche thermodynamique des réacteurs catalytiques triphasiques en mode continu et en mode discontinu. Ce type de réacteur consiste en un système fortement non linéaire, multivariable et siège de réactions exothermiques. Nous utilisons les concepts de la thermodynamique irréversible pour la synthèse de lois de commande stabilisante pour ces deux types de réacteurs chimiques. En effet, la stricte concavité de la fonction d’entropie nous a permis de définir une fonction de stockage qui sert de fonction de Lyapunov candidate : la disponibilité thermodynamique. Nous utilisons cette fonction de disponibilité thermodynamique pour la synthèse de lois de commande stabilisante d’un mini-réacteur catalytique triphasique intensifié continu. Une stratégie de contrôle à deux couches (optimisation et contrôle) est utilisée pour contrôler la température et la concentration du produit à la sortie du réacteur en présence de perturbations à l’entrée du réacteur. Les performances du contrôleur mis en place sont comparées en simulation à celles d’un régulateur PI. Dans certains cas, l’utilisation de la fonction de disponibilité thermodynamique s’avère problématique. Une autre étude effectuée sur cette fonction nous permet de déterminer une nouvelle fonction de Lyapunov : la disponibilité thermique. Nous utilisons par la suite la fonction de disponibilité thermique pour la synthèse de lois de commande stabilisante d’un réacteur catalytique triphasique semi-fermé. Un observateur grand gain est utilisé pour estimer la vitesse de réaction à partir des mesures de la température du milieu réactionnel. Cette estimation est injectée ensuite dans le calcul de la loi de commande mise en place. La robustesse du schéma de contrôle est testée en simulation face à des incertitudes de modélisation, des perturbations et des bruits de mesure. / The goal of this thesis is the modeling and thermodynamic based control of three-phase catalytic reactor working in continuous or discontinuous modes. These types of reactors are highly nonlinear, multivariable and exothermal processes. We use the concepts of irreversible thermodynamics for the synthesis of stabilizing control laws for these two types of chemical reactors. Indeed, the strict concavity of the entropy function has allowed us to define a storage function used as a candidate Lyapunov function: the availability function. We use this availability function for the synthesis of control laws for stabilizing a three-phase catalytic continuous intensified mini-reactor. A control strategy with two layers (optimization and control) is used to control the temperature and concentration of the product at the outlet of the reactor in the presence of disturbances. The performances of the controller are compared by simulation to those of a PI controller. In some cases, the use of the availability function may cause some problems. A new Lyapunov candidate function is then derived from the original availability function: the thermal availability. We use this thermal availability for the synthesis of stabilizing control laws for a three-phase catalytic fed-batch reactor. A high gain observer is used to estimate the chemical reaction rate from the measurements of the temperature. This estimate is then used for the control law implementation. The robustness of the control scheme is tested in simulation against modelling uncertainties, disturbances and noise measurements.

Cette thèse porte essentiellement sur l'étude des solutions stationnaires, en dimension 1 d'espace, d'unmodèle de champs de phase cristallin introduit par Elder en 2002. Ainsi, nous prouvons, par la méthode deréduction de Lyapunov-Schmidt et la technique des multiparamètres, l'existence de courbes de solutionsbifurquantes stationnaires lorsque le noyau de l'opérateur linéarisé, au voisinage de la solution triviale estde dimension 2. Une parenthèse est ouverte pour la comparaison de l'énergie de la solution bifurquantepar rapport à celle la solution triviale. Aussi, grâce au principe de la stabilité réduite, nous fournissonsdes ensembles précis de valeurs des paramètres de bifurcation pour lesquelles les solutions obtenues sontstables ou instables. Ces résultats théoriques sont corroborés par plusieurs tests numériques.Par ailleurs, dans le cas classique du noyau unidimensionel, nous établissons des diagrammes de phasespermettant de comprendre les différentes orientations de courbes de solutions non triviales au voisinage dechaque point de bifurcation. / This thesis is devoted to the study of stationary solutions of a Phase Field Crystal model, in one spacedimension, introduced by Elder in 2002. Thus, we prove by the Lyapunov-Schmidt method of reductionand the multiparameter technique, the existence of the curves of bifurcating stationary solutions whenthe kernel of the linearized operator near to trivial solution is of two dimension. A parenthesis is open forcomparing the energies of the bifurcating solution and the trivial solution. Also, thanks to the principle ofreduced stability, we provide specific sets of parameter values for wich the obtained solutions are stable orunstable. These theoretical results are confirmed by several numerical tests.Moreover, in the classical case of a one dimensional kernel, we establish the phase diagrams allowing tounderstand the different orientations of non-trivial solutions curves near to of each bifurcation point.

Ce travail présente une nouvelle approche basée sur l’étude de la stabilité du mouvement de systèmes continus, multivariables, non linéaires. Elle repose sur l’utilisation de la seconde méthode de Lyapunov pour le calcul d’une loi de commande de suivi de trajectoire d’un processus dont l’évolution est décrite par son équation d’état. Cette commande est réalisée à partir d’informations accessibles concernant le processus et son évolution désirée.Cette approche est étudiée dans le cas où cette commande n’est pas définie.Afin d’étudier la robustesse de cette commande, nous présentons une approche basée sur la stabilité des systèmes non linéaires par le calcul des systèmes majorants. Cette approche est appliquée sur les systèmes décrivant l’erreur entre le système perturbé réel présentant d’importantes imprécisions et/ou incertitudes et le modèle théorique / This work presents a new approach based on the study of the stability of motion of continuous, multivariable, nonlinear systems. It relies on the use of the second Lyapunov method for computing a control law trajectory tracking of a process whose evolution is described by the equation of state. This control is made from accessible information about the process and its desired evolution. This approach is studied in the case where the command is not defined. To investigate the robustness of this control, we present an approach based on the stability of nonlinear systems by calculating the overvaluing systems. This approach is applied to the systems describing the error between the actual perturbed system with significant inaccuracies and / or uncertainties and the theoretical model

Les travaux de cette thèse portent sur la stabilité et la stabilisation des systèmes non-linaires représentés par des modèles Takagi–Sugeno (T-S). L'objectif de ces travaux est d'explorer des techniques alternatives aux LMI pour l'analyse et la synthèse de lois de commande dans le cadre non quadratique afin de réduire le conservatisme. Tout d'abord, la stabilisation robuste de systèmes T-S à commutations incertains et perturbés a été considérée. Ainsi, des conditions de stabilisation ont été obtenues sous forme LMI sur la base d'une fonction candidate de Lyapunov à commutations. Puis, une nouvelle approche, pour l'analyse de la stabilité des systèmes non linéaires décrits par des modèles T-S polynomiaux a été proposée. L'objectif est ici d'explorer des techniques alternatives aux LMI dans le cadre non-quadratique. Ainsi, sur la base de travaux préliminaires dévolus à l'analyse de la stabilité via les techniques d'optimisation polynomiale « Sum-Of-Squares » (SOS), l'emploi d'une fonction candidate de Lyapunov polynomiale multiple a été proposée. Celle-ci permet de réduire le conservatisme des approches polynomiales existantes dans la littérature. Enfin, les modèles T-S classiques pouvant-être vus comme un cas particulier des modèles polynomiaux, une méthodologie de synthèse de lois de commande dans le cadre non quadratique est proposée. Celle-ci permet de s'affranchir de paramètres difficiles à obtenir en pratique via les approches LMI ainsi que de fournir une solution globale lorsque celle-ci existe. Néanmoins, à ce jour, des hypothèses fortes de modélisation restent toutefois nécessaires et constituent l'inconvénient majeur des approches SOS. Inconvénient qu'il conviendra de traiter dans des travaux futurs et qui suggèrent donc quelques perspectives à ces travaux. / This thesis deals with the stability and stabilization of nonlinear systems represented by Takagi-Sugeno (T-S) models. The objective of this work is to explore and find out some alternatives to classical LMI conditions in order to reduce the conservatism. First, we focus on robust stabilisation of uncertain switched T-S models. Based on a switched Lyapunov function, the stabilisation conditions are obtained in terms of LMI. Then, a new approach for the stability analysis of polynomial T-S models is proposed. The goal is here to explore alternatives to LMI in the non-quadratic framework. Therefore, an extension of some preliminary result on the stability analysis of polynomial T-S models is proposed by the use of a multiple polynomial Lyapunov function which lead to less conservatism. The stability conditions are given in terms of Sum-of-Squares (SOS) polynomial optimization problem. Finally, classical T-S models being a particular case of polynomial ones, an attempt is done as an alternative to LMI in the non quadratic framework for the design of non-PDC controllers via SOS techniques. Within this framework, global stability may be guaranteed if there exists a solution to the SOS constraints. Moreover, it didn't require unknown parameters in advance like in LMI based non quadratic approaches. However, these SOS based controller design conditions are obtained through a restrictive modelling assumption, suggesting future prospects to this work.

Le travail présenté est dédié à des problèmes d'EDP non linéaires. L'idée principale est de construire des solutions régulières á certaines EDPs elliptiques et hypo-elliptiques et étudier leur propriétés qualitatives. Dans une première partie, on considère un problème sur-critique du type $$-Delta u = lambda e^u$$ avec $lambda > 0$ posé dans un domaine extérieur avec conditions de Dirichlet homogènes. Une réduction en dimension finie permet de prouver l'existence d'un nombre infini de solutions régulières quand $lambda$ est assez petit. Dans une deuxième partie, on étudie la concentration de solutions d'un problème non local $$(-Delta)^s u = u^{p pm epsilon}, u>0, epsilon > 0$$ dans un domaine borné, régulier sous conditions de Dirichlet homogènes. Ici, on prend $0 < s < 1$ et $p:=(N+2s)/(N-2s)$, l'exposant de Sobolev critique. Une réduction en dimension finie dans des espaces fonctionnels bien choisis est utilisée. La partie principale de la fonction réduite est donnée en termes des fonctions de Green et Robin sur le domaine. On prouve que l'existence de solutions dépend des points critiques de la fonction susmentionnée augmentée d'une condition de non-dégénérescence. Enfin, on considère un problème non local dans le groupe de Heisenberg $H$. On s'intéresse à des propriétés de rigidité des solutions stables de $(-Delta_H)^s v = f(v)$ sur $H$, $s in (0,1)$. Une inégalité de type Poincaré connectée à un problème dégénéré dans $R^4_+$ est prouvée. Au travers d'une procédure d'extension, cette inégalité est utilisée pour donner un critère sous lequel les lignes de niveaux de la solution de l'EDP sont des surfaces minimales dans $H$. / This work is devoted to nonlinear PDEs. The aim is to find regular solutions to some elliptic and hypo-elliptic PDEs and study their qualitative properties. The first part deals with the supercritical problem $$ -Delta u = lambda e^u,$$ $lambda > 0$, in an exterior domain under zero Dirichlet condition. A finite-dimensional reduction scheme provides the existence of infinitely many regular solutions whenever $lambda$ is sufficiently small.The second part is focused on the existence of bubbling solutions for the non-local equation $$ (-Delta)^s u =u^p, ,u>0,$$in a bounded, smooth domain under zero Dirichlet condition; where $0<s<1$ and $p:=(N+2s)/(N-2s) pm epsilon$ is close to the critical exponent ($epsilon > 0$ small). To this end, a finite-dimensional reduction scheme in suitable functional spaces is used, where the main part of the reduced function is given in terms of the Green's and Robin's functions of the domain. The existence of solutions depends on the existence of critical points of such a main term together with a non-degeneracy condition.In the third part, a non-local entire problem in the Heisenberg group $H$ is studied. The main interests are rigidity properties for stable solutions of $$(-Delta_H)^s v = f(v) in H,$$ $s in (0,1)$. A Poincaré-type inequality in connection with a degenerate elliptic equation in $R^4_+$ is provided. Through an extension (or ``lifting") procedure, this inequality will be then used to give a criterion under which the level sets of the above solutions are minimal surfaces in $H$, i.e. they have vanishing mean $H$-curvature.

L'augmentation des performances des futurs systèmes dynamiques nécessite la prise en compte des phénomènes physiques non linéaires. Cette thèse apporte un éclairage et des contributions sur deux sujets complémentaires liés aux phénomènes dynamiques non linéaires. Le mémoire de thèse est divisé en deux parties.La première partie porte sur les non-linéarités des amplificateurs de puissance dans le cadre d'applications destinées aux télécommunications ou à la diffusion audio-visuelle. Plusieurs méthodes de modélisation et de linéarisation des amplificateurs de puissance ont été conçues et discutées. Un banc de test a été développé afin d'évaluer les méthodes sur des amplificateurs réels. La robustesse de ces techniques à un mauvais alignement temporel des signaux ainsi que leur capacité à faire face à des artefacts spectraux ont été évaluées. Par ailleurs, nous avons effectué une étude théorique sur l'existence et la prise en compte de solutions multiples dans l'approche adaptative par apprentissage indirect. La deuxième partie traite des systèmes dynamiques non linéaires qui présentent des solutions chaotiques. Ces systèmes sont bien connus, mais les techniques d'identification de ces solutions manquent de fiabilité ou nécessitent une puissance de calcul importante. Dans cette thèse, plusieurs méthodes utilisant également le calcul parallèle sont présentées. Les systèmes à commande différentielle fractionnaire sont brièvement discutés. Il est aussi montré, qu'il existe des systèmes liés à des fonctions de transfert non linéaires avec quantification pour lesquels les méthodes d'analyse classiques échouent / In order to achieve better performance of modern communication devices, that have to be operated on its physical limits, the nonlinear phenomena need to be taken into the account. This thesis brings insight into two different subjects related with nonlinear dynamical phenomena. The thesis itself is divided into two parts : the first part is focused on the domain of nonlinear power amplifiers from the system point of view. Several methods for modelization and linearization of power amplifiers have been designed and discussed. A test-bench has been assembled in order to evaluate the proposed methods on real power amplifiers. Then the robustness to time misalignment in the system and the ability to deal with spectral artifacts in the system of presented methods have been evaluated. Also a theoretical study has been conducted on the existence and management of multiple solutions in the frame of adaptive indirect learning approach. The second part deals with nonlinear dynamical systems that are exhibiting chaotic solutions. Such systems are well known, but techniques for identifying reliable such solutions are either missing or are computational intense. In this thesis several methods using also parallel computing are presented. Systems with fractional differential order are briefly discussed. It is as well shown, that there exists systems related with quantified nonlinear transfer functions for which the standard analyzing methods fails

Soit G un groupe de Lie semisimple (de rang supérieur) et Γ un sous-groupe discret Zariski dense de G (de covolume infini). Dans cette thèse, on traite de deux questions reliées au cône limite de Benoist de Γ : l’une de marche aléatoire et l’autre de mélange topologique du flot directionnel des chambres de Weyl. Dans l’introduction, on énonce les résultats principaux de cette thèse dans leur contexte. Le second chapitre comporte des rappels sur les groupes de Lie et les éléments loxodromiques. Dans le troisième chapitre, on réalise tous les points de l’intérieur du cône limite par des vecteurs de Lyapunov. Dans le quatrième chapitre, on construit des coordonnées locales de G ainsi que des outils cruciaux pour la suite. Dans le cinquième chapitre, on introduit les ensembles invariants naturels de G. Dans le dernier chapitre de cette thèse, on prouve le critère de mélange topologique des flots directionnels réguliers des chambres de Weyl obtenu avec O. Glorieux et on généralise partiellement ce critère de mélange à Γ\G pour une classe de groupes de Lie incluant SL(n, R), SL(n, C), SO (p, p + 2). / Let G be a semisimple Lie group (of higher rank) and Γ a Zariski dense subgroup of G (of infinite covolume). In this thesis, we discuss two questions related to the Benoist limit cone of Γ : one concerns random walks, the other topological mixing of the directional Weyl chamber flow. In the introduction, we state the main results of this thesis in their context. In the second chapter, we recall some general facts about Lie groups and loxodromic elements. In the third chapter, we prove that every point of the interior of the limit cone is a Lyapunov vector. In the fourth chapter, we construct local coordinates of G and give key tools for the remaining parts. In the fifth chapter, we introduce the invariant subsets of G. In the last chapter of this thesis, we prove the topological mixing criterion of regular directional Weyl chamber flow obtained with O. Glorieux and we generalize this criterion to Γ\G for a class of Lie groups including SL(n, R), SL(n, C), SO(p, p + 2).