Les travaux développés dans ce rapport traitent de la modélisation, de l'observation et de la commande avec et sans capteur de vitesse de la machine asynchrone. Tout d'abord, un observateur non linéaire de type grand gain a été synthétisé en vue de l'estimation de quelques grandeurs électriques et mécaniques de la machine. Ensuite, nous proposons une nouvelle loi de commande avec retour d'état incorporant un observateur du type grand gain pour deux classes de systèmes non linéaires uniformément observables et commandables incluant le modèle du moteur asynchrone. La synthèse de cette loi de commande, du type grand gain, exploite le concept de dualité observabilité/commande. Dans le but de réaliser une compensation robuste des perturbations d'état et de sortie de type échelon, une action intégrale filtrée y a été incorporée. Enfin, la loi de commande proposée a été validée en simulation sur le modèle du moteur puis expérimentalement sur un banc d'essais de moteurs asynchrones monté autour d'un processeur numérique de signal DSpace 1104.

Dans cette thèse, nous proposons la synthèse d'observateurs adaptatifs pour certaines classes de systèmes non linéaires multi-sorties uniformément observables. Dans un premier temps, les systèmes avec une paramétrisation linéaire sont considérés. Ensuite, les résultats obtenus ont été étendus au cas de paramétrisation non linéaire. La caractéristique principale des observateurs proposés réside dans le fait que leur gain fait intervenir une fonction de synthèse dont le choix permet d'obtenir différents types d'observateurs tels que des observateurs de type grand gain classiques ou à modes glissants. De plus, le réglage de ce gain se fait à travers le choix d'un seul paramètre scalaire. La convergence exponentielle des observateurs proposés a été établie sous une certaine condition d'excitation persistante qui a été donnée. Dans la dernière partie de la thèse, nous proposons un schéma de commande adaptative avec retour de sortie pour une classe de systèmes non linéaires commandables et uniformément observables. Les performances des observateurs proposés sont illustrées en simulation à travers des exemples académiques et des exemples réels d'application relatifs à un moteur asynchrone, un bioréacteur et un moteur à fuel.

Le travail présenté dans ce mémoire de thèse porte sur la synthèse d'observateurs pour des classes de systèmes non linéaires à savoir les observateurs classiques utilisés pour l'estimation de l'état, les observateurs à entrées inconnues ou encore les observateurs adaptatifs. Nous proposons, dans une partie, une forme canonique d'observabilité non triangulaire caractérisant une large classe de systèmes multi-sorties observables pour toute entrée. Un observateur de type grand gain est proposé. La convergence exponentielle de l'observateur proposé est détaillée et la validation en simulation est illustrée à travers des exemples. Ensuite, nous traitons la synthèse d'observateurs à entrées inconnues. Une classe de systèmes comportant des entrées inconnues est présentée. L'observateur proposé permet d'estimer conjointement tous les états du système ainsi que toutes les entrées inconnues. La synthèse de cet observateur est vérifiée sous certaines conditions suffisantes inspirées de celles adoptées en l'absence des entrées inconnues. En effet, des simulations numériques montrent bien la convergence de l'observateur. Enfin, un observateur adaptatif est proposé pour la forme canonique non triangulaire introduite en début du mémoire. La convergence exponentielle de l'observateur proposé est établie sous une certaine condition d'excitation persistante qui a été donnée. Les performances de cet observateur sont illustrées en simulation à travers un exemple académique.

Cette thèse est une contribution à l’étude de problèmes de contrôle optimal dont le caractère non linéaire se traduit par la présence, dans les équations d’état, d’un terme bilinéaire relativement à l’état et au contrôle. Malgré les difficultés liées à la non linéarité, nous obtenons des propriétés spécifiques au cas bilinéaire. L’introduction générale constitue la première partie. La seconde partie est consacrée à l’étude des équations d’état ; ce sont des équations aux dérivées partielles d’évolution. Nous établissons des estimations a priori sur les solutions à partir des inégalités de Willett et Wong et nous démontrons que les équations d’états sont bien posées. Dans le cas où les contrôles subissent une contrainte liée aux états, ces estimations permettent de déduire l’existence de solutions dans le cadre des inclusions différentielles. Les troisième et quatrième parties de ce mémoire sont dévolues à la démonstration de l’existence de contrôles optimaux, puis à l’analyse de la sensibilité relative à une perturbation qui intervient de façon additive dans l’équation d’état. Le caractère bilinéaire permet de vérifier des conditions suffisantes d’optimalité du second ordre. Nous fournissons sur des exemples, une formule explicite des dérivées directionnelles de la fonction valeur optimale / This thesis is devoted to the analysis of nonlinear optimal control problems governed by an evolution state equation involving a term which is bilinear in state and control. The difficulties due to nonlinearity remain, but bilinearity adds a lot of structure to the control problem under consideration. In Section 2, by using Willet and Wong inequalities we establish a priori estimates for the solutions of the state equation. These estimates allow us to prove that the state equation is well posed in the sense of Hadamard. In the case of a feedback constraint on the control, the state equation becomes a differential inclusion. Under mild assumptions, such a differential inclusion is solvable. In Section 3, we prove the existence of solutions to the optimal control problem. Section 4 is devoted to the sensitivity analysis of the optimal control problem. We obtain a formula for the directional derivative of the optimal value function. This general formula is worked out in detail for particular examples

Cette thèse traite du problème d'observation et d'estimation des variables caractéristiques des systèmes dynamiques. Il s’agit d’une problématique fondamentale qui est au cœur de nombreux domaines relavant des sciences de l'ingénieur. Les travaux sont conduits dans un contexte ensembliste. Les techniques développées pour l’estimation de l’état et des variables d’entrées ont pour objectif final le contrôle de cohérence des systèmes non linéaires à temps continu. Une première approche conjugue les relations de parité et les différentiateurs à modes glissants pour l’estimation des entrées d’un système non linéaire. Les domaines des entrées compatibles avec les mesures sont alors reconstruits grâce à l’analyse par intervalles et aux techniques de satisfaction de contraintes. Il est montré que la relaxation des contraintes de stabilité/coopérativité pour la construction d’un observateur intervalle peut se faire grâce à des changements de base déterminés de différentes manières et pouvant être variants ou invariants dans le temps. Des simulations numériques illustrent les techniques proposées. Une application à un système aéronautique est également présentée à l’aide d’un jeu de données réelles. / This thesis deals with the problem of a dynamical system observation and the estimation of its characteristic variables; the latter point constitutes the core element in many engineering science fields. The final aim is to build a general framework for integrity control and fault detection of such systems within a bounded error context. The developments offered herein make use of parity relations, sliding mode differentiators, interval observers and constraint satisfaction problems. Input reconstruction techniques are developed for a general class of nonlinear continuous-time systems. Domains are reconstructed for the input values which are consistent with the measurements using interval analysis and constraint satisfaction techniques. It is shown that time-varying or invariant coordinate changes may relax the applicability conditions (stability/cooperativity) of the interval observer design methods. Sliding mode differentiators were also used to enhance interval observer accuracy. The proposed approaches are illustrated through computer simulations and they have been applied to aircraft servo loop control surface for robust and early detection of abnormal positions.

L'objectif principal de ce travail a été d'apporter une nouvelle contribution quant à l'approche de contrôle optimal pendant la phase d'identification. Il s'agissait de trouver la commande à appliquer pendant l'expérience qui permet d'optimiser un critère qui est fonction des sensibilités des sorties par rapport aux paramètres du modèle à identifier. Cette approche couplant contrôleur prédictif sous contraintes et estimateur a résolu en ligne le problème d'identification à chaque instant en utilisant l'observateur. En ce sens, c'est une approche permettant d'automatiser et d'optimiser le design d'expérience, tout en réalisant conjointement l'identification d'un paramètre du modèle spécifié. L'aspect temps réel a été pris en compte dans la formulation de la solution apportée. Dans ce contexte, nous avons introduit deux stratégies de commande pour l'identification optimale. La première était basée sur un modèle de prédiction non linéaire et la seconde sur un modèle linéaire temps variant. Si le temps devient un paramètre critique pour l'implémentation de l'approche, cette dernière vise à réduire le temps alloué à l'optimisation. L'approche d'identification optimale en ligne a été appliquée à deux problèmes concrets du Génie des Procédés (réaction de saponification et cuisson de peintures). Ces exemples ont permis de vérifier en simulation, l'efficacité et la faisabilité de cette approche. / The main aim of this work is to give a new approach of optimal control during the phase of identification. The question is how to tune the control action to be applied during the experiment optimize a criterion which is function of the sensitivities of the mesure with respect to the parameters of the model to be identified. This approach coupling constrained predictive controller and estimator solves on line the problem of identification by using the observer. In that sense, it is an approach allowing an optimal and automatic design of experiment, while performing at the same time the identification of one parameter of the specified model. The real time aspect was taken into account in the formulation of the solution. In this context, we introduced two strategies for optimal identification : the first one is based on a nonlinear model of prediction and the second one is based on a linear time varying model that may be used if the real time aspect becomes a critical parameter for the implementation of the approach. This approach of on line optimal identification was applied on two concrete problems in Chemical Engineering. These examples show the performance and the feasibility of this approach.

Dans cette étude on s'intéresse à la dynamique d'une classe de systèmes non-linéaires décrits par des équations aux dérivées partielles (EDP) du type hyperbolique. L'objectif de l'étude est de construire des lois de contrôle par feedback dynamique de la sortie afin de stabiliser le système autour d'un point d'équilibre d'une part, et, d'autre part, de réguler la sortie vers le point de consigne. Nous considérons la classe des systèmes gouvernés par des EDP quasi-linéaires du type hyperbolique à deux variables indépendantes (une variable temporelle et une variable spatiale). Pour le bien-posé du système dynamique non seulement l'état initial mais aussi certaines conditions frontières doivent être prescrites en cohérence avec les EDP. Nous supposons que l'observation et le contrôle sont ponctuels. Autrement dit l'action du contrôle intervient dans le système via les conditions frontières et l'observation est effectuée aux points de la frontière. Notre étude est motivée par l'observation que de nombreux processus physiques sont modélisés par ce type d'équations EDP. Nous citons, par exemple, des processus tels que flux trafique en transport, flux de gaz dans un réseau de pipeline, échangeurs thermiques en génie des procédés, équations de télégraphe dans des lignes de transmission, canaux d'irrigation en génie civil etc. Nous commençons l'étude par une EDP non-linéaire scalaire. Dans ce cas-là nous proposons un correcteur intégral stabilisant qui assure la régulation de la sortie avec l'erreur statique nulle. Nous prouvons la stabilisation locale du système non-linéaire par le correcteur intégral en construisant une fonctionnelle de Lyapunov appropriée. La conception des correcteurs proportionnels et intégraux (PI) que nous proposons est étendue dans un cadre de systèmes de deux EDP. Nous prouvons la stabilisation du système en boucle fermée à l'aide d'une nouvelle fonctionnelle de Lyapunov. La synthèse des correcteurs PI stabilisants se poursuit dans un cadre de réseaux formés d'un nombre fini de systèmes à deux EDP : réseau étoilé et réseau série en cascade. Les contrôles et les observations se trouvent localisés aux différents nœuds de connexion. Pour ces configurations nous présentons un ensemble de correcteurs PI stabilisants qui assurent la régulation vers le point de consigne. Les correcteurs PI que nous concevons sont validés par des simulations numériques à partir des modèles non-linéaires EDP. La contribution de la thèse, par rapport à la littérature existante, consiste en l'élaboration de nouvelles fonctionnelles de Lyapunov pour une classe de systèmes stabilisés par correcteur PI. En effet une grande quantité de résultats ont été obtenus sur la stabilisation des systèmes hyperboliques par feedback statique de la sortie. Toutefois il existe encore peu de résultats sur la stabilisation de ces systèmes par feedback dynamique de la sortie. L'étude de la thèse est consacrée sur l'élaboration des fonctionnelles de Lyapunov permettant d'obtenir des correcteurs PI stabilisants. L'approche de Lyapunov direct que nous avons proposée a pour l'avantage de permettre d'étudier la robustesse des lois de feedback de la sortie PI vis-à-vis de la non-linéarité. Une autre contribution de la thèse consiste en la construction des programmes de Malab permettant d'effectuer des simulations numériques pour la validation des correcteurs conçus. Pour la résolution numérique des EDP hyperboliques nous avons discrétisé nos systèmes par le schéma numérique de Preissmann. Nous avons chaque fois un système d'équations algébriques non-linéaires à résoudre de façon récurrente. L'apport des simulations numériques nous permet de mieux comprendre la méthodologie applicative de la théorie du contrôle en dimension infinie / In this study we are interested in the dynamics of a class of nonlinear systems described by partial differential equations (PDE) of the hyperbolic type. The aim of the study is to construct control laws by dynamic feedback of the output in order to stabilize the system around an equilibrium point on the one hand and to regulate the output to the set-point. We consider the class of systems governed by hyperbolic PDEs with two independent variables (one time variable and one spatial variable). For the well-posed dynamic system not only the initial state but also certain boundary conditions must be prescribed in coherence with the PDEs. We assume that observation and control are punctual. In other words, the action of the control intervenes in the system via the boundary conditions and the observation is carried out at the points of the border. Our study is motivated by the observation that many physical processes are modeled by this type of PDE equations. Examples include processes such as traffic flow in transportation, gas flows in a pipeline network, heat exchangers in process engineering, telegraph equations in transmission lines, civil engineering irrigation channels, to cite but a few.We begin the study with a scalar nonlinear PDE. In this case we propose a stabilizing integral controller which ensures the regulation of the output with zero static error. We prove the local stabilization of the nonlinear system by the integral controller by constructing an appropriate Lyapunov functional. The design of the proportional and integral (PI) controllers that we propose is extended in a framework of two PDE systems. We prove the stabilization of the closed-loop system with a new Lyapunov functional. The synthesis of stabilizing PI controllers is carried out in a framework of networks formed by a finite number of two PDE systems: star network and serial network in cascade. Controls and observations are located at the different connection nodes. For these configurations we present a set of stabilizing PI controllers that regulate the output to the set-point. The PI controllers that we design are validated by numerical simulations from the nonlinear PDE models. The contribution of the thesis compared to the existing literature consists in the development of new Lyapunov functionals for the class of systems looped by a PI controller. Indeed, a large number of results have been obtained from the stabilization of hyperbolic systems by static feedback of the output. However, there are still few results with the stabilization of these systems by the output dynamic feedback. The study of the thesis is devoted to the development of the Lyapunov functional to obtain stabilizing PI controllers. The direct Lyapunov approach that we have proposed has the advantage of allowing to study the robustness of the output dynamic feedback laws in the form of PI controllers with respect to the nonlinearity. Another contribution of the thesis consists of the Malab program construction allowing to carry out numerical simulations for the validation of the conceived controllers. For the numerical resolution of hyperbolic PDEs, we have discretized our systems using the Preissmann numerical scheme. Each time moment we have a system of non-linear algebraic equations to be solved in a recurring way. The contribution of numerical simulations allows us to better understand the application methodology of the infinite dimension control theory

Dans cette thèse, nous nous sommes intéressés à l'analyse locale de systèmes différentiels linéaires singulièrement perturbés et de systèmes de Pfaff complètement intégrables et multivariés à croisements normaux. De tels systèmes ont une vaste littérature et se retrouvent dans de nombreuses applications. Cependant, leur résolution symbolique est toujours à l'étude. Nos approches reposent sur l'état de l'art de la réduction formelle des systèmes linéaires singuliers d'équations différentielles ordinaires univariées (ODS). Dans le cas des systèmes différentiels linéaires singulièrement perturbés, les complications surviennent essentiellement à cause du phénomène des points tournants. Nous généralisons les notions et les algorithmes introduits pour le traitement des ODS afin de construire des solutions formelles. Les algorithmes sous-jacents sont également autonomes (par exemple la réduction de rang, la classification de la singularité, le calcul de l'indice de restriction). Dans le cas des systèmes de Pfaff, les complications proviennent de l'interdépendance des multiples sous-systèmes et de leur nature multivariée. Néanmoins, nous montrons que les invariants formels de ces systèmes peuvent être récupérés à partir d'un ODS associé, ce qui limite donc le calcul à des corps univariés. De plus, nous donnons un algorithme de réduction de rang et nous discutons des obstacles rencontrés. Outre ces deux systèmes, nous parlons des singularités apparentes des systèmes différentiels univariés dont les coefficients sont des fonctions rationnelles et du problème des valeurs propres perturbées. Les techniques développées au sein de cette thèse facilitent les généralisations d'autres algorithmes disponibles pour les systèmes différentiels univariés aux cas des systèmes bivariés ou multivariés, et aussi aux systèmes d''equations fonctionnelles. / In this thesis, we are interested in the local analysis of singularly-perturbed linear differential systems and completely integrable Pfaffian systems in several variables. Such systems have a vast literature and arise profoundly in applications. However, their symbolic resolution is still open to investigation. Our approaches rely on the state of art of formal reduction of singular linear systems of ordinary differential equations (ODS) over univariate fields. In the case of singularly-perturbed linear differential systems, the complications arise mainly from the phenomenon of turning points. We extend notions introduced for the treatment of ODS to such systems and generalize corresponding algorithms to construct formal solutions in a neighborhood of a singularity. The underlying components of the formal reduction proposed are stand-alone algorithms as well and serve different purposes (e.g. rank reduction, classification of singularities, computing restraining index). In the case of Pfaffian systems, the complications arise from the interdependence of the multiple components which constitute the former and the multivariate nature of the field within which reduction occurs. However, we show that the formal invariants of such systems can be retrieved from an associated ODS, which limits computations to univariate fields. Furthermore, we complement our work with a rank reduction algorithm and discuss the obstacles encountered. The techniques developed herein paves the way for further generalizations of algorithms available for univariate differential systems to bivariate and multivariate ones, for different types of systems of functional equations.

Les résultats présentés dans cette thèse s’articulent autour de la synthèse d’observateurs de type grand gain pour des classes de systèmes non linéaires. Une classe de systèmes multi-entrées/multi-sorties non uniformément observables a tout d’abord été considérée et un observateur dont le gain est issu de la résolution d’une équation différentielle ordinaire de Lyapunov a été proposé. La convergence exponentielle de l’erreur d’observation sous-jacente a été établie sous une condition d’excitation persistante bien appropriée. La synthèse de l’observateur proposé a été ensuite reconsidérée pour prendre en compte l’échantillonnage et la présence de retard sur la sortie. L’observateur résultant de la resynthèse a une structure en cascade avec des systèmes en chaîne où le premier système de la cascade estime l’état retardé tandis que l’état du dernier système est une estimation de l’état instantané du système. La deuxième classe de systèmes considérée dans cette thèse est une forme normale observable multi-sorties comportant des incertitudes et dont la sortie est échantillonnée et retardée. Un observateur en cascade a été proposé pour l’estimation de l’état instantané du système. Les performances des différents observateurs proposés ont été illustrées à travers plusieurs exemples en simulation tout au long de de la thèse. / The results given in this thesis deal with the design of high gain observers forsome classes on nonlinear systems. A class of multi-inputs/multi-output non uniformlyobservable systems has been first considered and an observer the gain of which is issuedfrom the resolution of a Lyapunov ordinary differential equation has been proposed. Theexponential convergence of the underlying observation error has been established underan appropriate persistent excitation condition. The design of the proposed observerhas then been reconsidered in order to account for the sampling and delay processeswhich may occur on the output. The redesigned observer assumes a cascade structurewith chained systems where the head of the cascade is an observer for the delayedstate while the state of the last system in the cascade constitutes an estimation ofthe system actual state. The second class of systems considered in this thesis is amulti-outputs observable normal form involving some uncertainties and with a delayedsampled output. A cascade observer allowing the estimation of the system actual statehas been proposed. The performance and main properties of the proposed observershave been illustrated in simulation by considering many examples throughout thisthesis.

Les récupérateurs d'énergie vibratoire électrostatiques (REV) sont des systèmes convertissant une partie de l'énergie cinétique de leur environnement en énergie électrique, afin d'alimenter de petits systèmes électroniques. Les REV inertiels sont constituées d'un sous-système mécanique bâti autour d'une masse mobile, ainsi que d'une interface électrique. Ces deux blocs sont couplés par un transducteur électrostatique. Cette thèse étudie l'amélioration des performances des REV par la conception optimisée de leur interface électrique. La première partie de cette thèse étudie une famille d'interfaces électriques appelées pompes de charge (PC). On commence par la construction d'une théorie formelle des PC. Des interfaces rapportées dans la littérature sont identifiées comme membres de cette famille. Cette dernière est ensuite complétée par une nouvelle topologie de PC. Une comparaison des différents PC est alors faite dans le domaine électrique, puis un outil semi-analytique est présenté pour la comparaison des PC en prenant en compte le couplage électromécanique. L'étude des PC se termine par la présentation d'une nouvelle méthode de mesure du potentiel d'électret des REV. La deuxième partie de la thèse présente une approche de conception radicalement différente de ce qui est présenté dans les travaux actuels sur les REV. Elle préconise une synthèse active de la dynamique de la masse des REV à travers leur interface électrique. Nous montrons d'abord que cela permet la conversion d'énergie en quantités proches des limites physiques, et ce à partir de vibrations d'entrée de forme arbitraire. Enfin, une architecture pour un tel REV est proposée et testée en simulation. / Electrostatic vibration energy harvesters (e-VEHs) are systems that convert part of their surroundings' kinetic energy into electrical energy, in order to supply small-scale electronic systems. Inertial E-VEHs are comprised of a mechanical subsystem that revolves around a mobile mass, and of an electrical interface. The mechanical and electrical parts are coupled by an electrostatic transducer. This thesis is focused on improving the performances of e-VEHs by the design of their electrical interface. The first part of this thesis consists in the study of a family of electrical interfaces called charge-pumps conditioning circuits (CPCC). It starts by building a formal theory of CPCCs. State-of-the-art reported conditioning circuits are shown to belong to this family. This family is then completed by a new CPCC topology. An electrical domain comparison of different CPCCs is then reported. Next, a semi-analytical tool allowing for the comparison of CPCC-based e-VEHs accounting for electromechanical effects is reported. The first part of the thesis ends by presenting a novel method for the measurement of e-VEHs' built-in electret potential. The second part of the thesis presents a radically different design approach than what is followed in most of state-of-the-art works on e-VEHs. It advocates for e-VEHs that actively synthesize the dynamics of their mobile mass through their electrical interface. We first show that this enables to convert energy in amounts approaching the physical limits, and from arbitrary types of input vibrations. Then, a complete architecture such an e-VEH is proposed and tested in simulations submitted to human body vibrations.