Notre travail est consacré à la définition, l'analyse et l'implémentation de nouveaux algorithmes numériques pour l'approximation de la solution de problèmes à 2 dimensions du type problème de Stefan. Dans ce type de problèmes une équation aux dérivée partielle parabolique posée sur un ouvert omega quelconque est couplée avec une autre équation qui contrôle la frontière gamma du domaine lui même. Les difficultés classiquement associés à ce type de problèmes sont: la formulation en particulier de l'équation pour le bord du domaine, l'approximation de la solution liées à la forme quelconque du domaine, les difficultés associées à l'implication des opérateurs de trace (approximation, conditionnement), les difficultés liées aux de régularité fonds du domaine.De plus, de nombreuse situations d'intérêt physique par exemple demandent des approximations de haut degré. Notre travail s'appuie sur une formulation de type espaces de niveaux (level set) pour l'équation du domaine, et une formulation de type domaine fictif (Omega) pour l'équation initiale.Le contrôle des conditions aux limites est effectué à partir de multiplicateurs de Lagrange agissant sur une frontière (Gamma) dite de contrôle différente de frontière(gamma) du domaine (omega). L'approximation est faite à partir d'un schéma aux différences finies pour les dérivées temporelle et une discrétisation à l'aide d'ondelettes bi-dimensionelles pour l'équation initiale et une dimensionnelle pour les multiplicateurs de Lagrange. Des opérateurs de prolongement de omega à Omega sont également construits à partir d'analyse multiéchelle sur l'intervalle. Nous obtenons aussi: une formulation pour laquelle existence de la solution est démontrées, un algorithme convergent pour laquelle une estimation globale d'erreur (sur Omega) est établie, une estimation intérieure prouvant sur l'erreur à un domaine omega, overline omega subset Xi, des estimations sur les conditionnement associés a l'opérateur de trace, des algorithmes de prolongement régulier. Différentes expériences numériques en 1D ou 2D sont effectuées. Le manuscrit est organisé comme suit: Le premier chapitre rappelle la construction des analyses multirésolutions, les propriétés importantes des ondelettes et des algorithmes numériques liées à l'application d'opérateurs aux dérivées partielles. Le second chapitre donne un aperçu des méthodes de domaine fictif classiques, approchées par la méthode de Galerkin ou de Petrov-Galerkin. Nous y découvrons les limites de ces méthodes ce qui donne la direction de notre travail. Le chapitre trois présente notre nouvelle méthode de domaine fictif que l'on appelle méthode de domaine fictif lisse.L'approximation est grâce à une méthode d'ondelettes de type Petrov-Galerkin. Cette section contient l'analyse théorique et décrit la mise en œuvre numérique. Différents avantages de cette méthode sont démontrés. Le chapitre quatre introduit une technique de prolongement régulier. Nous l'appliquons à des problèmes elliptiques en 1D ou 2D.\par Le cinquième chapitre décrit quelques simulations numériques de problème de Stefan. Nous testons l'efficacité de notre méthode sur différents exemples dont le problème de Stefan à 2 phases avec conditions aux limites de Gibbs-Thomson. / Our work is devoted to the definition, analysis and implementation of a new algorithms for numerical approximation of the solution of 2 dimensional Stefan problem. In this type of problem a parabolic partial differential equation defined on an openset Omega is coupled with another equation which controls the boundary gamma of the domain itself. The difficulties traditionally associated with this type of problems are: the particular formulation of equation on the boundary of domain, the approximation of the solution defined on general domain, the difficulties associated with the involvement of trace operation (approximation, conditioning), the difficulties associated with the regularity of domain. Addition, many situations of physical interest, for example,require approximations of high degree. Our work is based on aformulation of type level set for the equation on the domain, and aformulation of type fictitious domain (Omega) for the initialequation. The control of boundary conditions is carried out throughLagrange multipliers on boundary (Gamma), called control boundary, which is different with boundary (gamma) of the domain (omega). The approximation is done by a finite difference scheme for time derivative and the discretization by bi-dimensional wave letfor the initial equation and one-dimensional wave let for the Lagrange multipliers. The extension operators from omega to Omega are also constructed from multiresolution analysis on theinterval. We also obtain: a formulation for which the existence of solution is demonstrated, a convergent algorithm for which a global estimate error (on Omega) is established, interior error estimate on domain omega, overline omega subset estimates on the conditioning related to the trace operator, algorithms of smooth extension. Different numerical experiments in 1D or 2D are implemented. The work is organized as follows:The first chapter recalls theconstruction of multiresolution analysis, important properties of wavelet and numerical algorithms. The second chapter gives an outline of classical fictitious domain method, using Galerkin or Petrov-Galerkin method. We also describe the limitation of this method and point out the direction of our work.\par The third chapter presents a smooth fictitious domain method. It is coupled with Petrov-Galerkin wavelet method for elliptic equations. This section contains the theoretical analysis and numerical implementation to embody the advantages of this new method. The fourth chapter introduces a smooth extension technique. We apply it to elliptic problem with smooth fictitious domain method in 1D and 2D. The fifth chapter is the numerical simulation of the Stefan problem. The property of B-spline render us to exactly calculate the curvature on the moving boundary. We use two examples to test the efficiency of our new method. Then it is used to resolve the two-phase Stefan problem with Gibbs-Thomson boundary condition as an experimental case.

Cette thèse porte sur la construction d'une famille de groupoïdes quantiques de transformations qui dans le cadre algébrique sont des algébroïdes de Hopf de multiplicateurs mesurés au sens de Timmermann et Van Daele et qui dans le cadre des algèbres d'opérateurs sont des C*-bimodules de Hopf sur une C*-base au sens de Timmermann.Dans le contexte purement algébrique, nous définissons d'abord une algèbre involutive de Yetter-Drinfeld tressée commutative sur un groupe quantique algébrique au sens de Van Daele et une intégrale de Yetter-Drinfeld sur elle. En utilisant ces objets nous construisons après un algébroide de Hopf de multiplicateurs involutif mesuré, ce nouvel objet nous l'appellons groupoïde quantique algébrique de transformations.Pour être capables de passer au cadre des algèbres d'opérateurs, nous donnons des conditions sur l'intégral de Yetter-Drinfeld qui vont nous permettre d'utiliser la construction Gelfand–Naimark–Segal pour étendre tous nos objets purement algébriques en des objets C*-algébriques. Dans ce contexte, notre construction se fait d'une manière similaire à celle présentée dans le travail de Enock et Timmermann, nous obtenons un nouvel objet mathématique que nous appellons un groupoïde quantique C*-algébrique de transformations, qui est définit en utilisant le langage des C*-bimodules de Hopf sur une C*-base. / This thesis is concerned with the construction of a family of quantum transformation groupoids in the algebraic framework in the form of the measured multiplier Hopf *-algebroids in the sense of Timmermann and Van Daele and also in the context of operator algebras in the form of Hopf C*-bimodules on a C*-base in the sense of Timmermann.In the purely algebraic context, we first give a definition of a braided commutative Yetter-Drinfeld *-algebra over an algebraic quantum group in the sense of Van Daele and a Yetter-Drinfeld integral on it. Then, using these objects we construct a measured multiplier Hopf *-algebroid, we call to this new object an algebraic quantum transformation groupoid.In order to pass to the operator algebra framework, we give some conditions on the Yetter-Drinfeld integral inspired by the properties of KMS-weights on C*-algebras which will allow us to use the Gelfand–Naimark–Segal construction to extend all the purely algebraic objects to the C*-algebraic level. At this level, we construct in a similar way to that used in the work of Enock and Timmermann, a new mathematical object that we call a C*-algebraic quantum transformation groupoid, which is defined using the language of Hopf C*-bimodules on C*-bases.

Cette thèse présente quelques résultats de la théorie des probabilités quantiques et de l’analyse harmonique à valeurs operateurs. La thèse est composée des trois parties.Dans la première partie, on démontre la décomposition atomique des espaces de Hardy de martingales non commutatives. On identifie aussi les interpolés complexes et réels entre les versions conditionnelles des espaces de Hardy et BMO de martingales non commutatives.La seconde partie est consacrée à l’étude des espaces de Hardy à valeurs opérateursvia la méthode d’ondellettes. Cette approche est similaire à celle du cas des martingales non commutatives. On démontre que ces espaces de Hardy sont équivalents à ceux étudiés par Tao Mei. Par conséquent, on donne une base explicite complètement inconditionnelle pour l’espace de Hardy H1(R), muni d’une structure d’espace d’opérateurs naturelle. La troisième partie porte sur l’analyse harmonique sur le tore quantique. On établit les inégalités maximales pour diverses moyennes de sommation des séries de Fourier définies sur le tore quantique et obtient les théorèmes de convergence ponctuelle correspondant. En particulier, on obtient un analogue non commutative du théorème classique de Stein sur les moyennes de Bochner-Riesz. Ensuite, on démontre que les multiplicateurs de Fourier complètement bornés sur le tore quantique coïncident à ceux définis sur le tore classique. Finalement, on présente la théorie des espaces de Hardy et montre que ces espaces possèdent les propriétés des espaces de Hardy usuels. En particulier, on établit la dualité entre H1 et BMO. / This thesis presents some results in quantum probability and operator-valued harmonicanalysis. The main results obtained in the thesis are contained in the following three parts:In first part, we prove the atomic decomposition for the Hardy spaces h1 and H1 of noncommutative martingales. We also establish that interpolation results on the conditionedHardy spaces of noncommutative martingales. The second part is devoted to studying operator-valued Hardy spaces via Meyer’s wavelet method. It turns out that this way of approaching these spaces is parallel to that in the noncommutative martingale case. We also show that these Hardy spaces coincide with those introduced and studied by Tao Mei in [52]. As a consequence, we give an explicit completely unconditional base for Hardy spaces H1(R) equipped with a natural operator space structure. The third part deals with with harmonic analysis on quantum tori. We first establish the maximal inequalities for several means of Fourier series defined on quantum tori and obtain the corresponding pointwise convergence theorems. In particular, we prove the noncommutative analogue of the classical Stein theorem on Bochner-Riesz means. Then we prove that Lp completely bounded Fourier multipliers on quantum tori coincide with those on classical tori with equal cb-norms. Finally, we present the H1-BMO and Littlewood- Paley theories associated with the circular Poisson semigroup over quantum tori.

Le problème principalement étudié dans ce manuscrit est la stabilisation d’orbites périodiques de systèmes dynamiques non linéaires à l’aide d’une commande de rétroaction (feedback). Le but des méthodes de contrôle proposées ici est d’obtenir une oscillation périodique stable. Ces méthodes de contrôle sont appliquées à des systèmes présentant des orbites périodiques instables dans l’espace d’état, et ces dernières sont les orbites destinées à être stabilisées.Les méthodes proposées ici sont telles que l’oscillation stable qui en résulte est obtenue avec un effort de contrôle faible, et que la valeur de la commande tend vers zéro lorsque la trajectoire tend vers l’orbite stabilisée. La stabilité locale des orbites périodiques est analysée par l’étude de la stabilité des systèmes linéaires périodiques à l’aide de la théorie de Floquet. Ces systèmes linéaires sont obtenus par linéarisation des trajectoires au voisinage de l’orbite périodique.Les méthodes de contrôle utilisées ici pour la stabilisation des orbites périodiques sont une loi de commande proportionnelle, une loi de commande de rétroaction retardée et une loi de commande de rétroaction basée sur une prédiction. Ces méthodes sont appliquées aux systèmes en temps discret et aux systèmes en temps continu avec les modifications nécessaires. Les contributions principales de cette thèse sont associées à ces méthodes, proposant une méthode alternative de design de gain, une nouvelle loi de commande et des résultats associés. / The main problem evaluated in this manuscript is the stabilization of periodic orbits of non-linear dynamical systems by use of feedback control. The goal of the control methods proposed in this work is to achieve a stable periodic oscillation. These control methods are applied to systems that present unstable periodic orbits in the state space, and the latter are the orbits to be stabilized.The methods proposed here are such that the resulting stable oscillation is obtained with low control effort, and the control signal is designed to converge to zero when the trajectory tends to the stabilized orbit. Local stability of the periodic orbits is analyzed by studying the stability of some linear time-periodic systems, using the Floquet stability theory. These linear systems are obtained by linearizing the trajectories in the vicinity of the periodic orbits.The control methods used for stabilization of periodic orbits here are the proportional feedback control, the delayed feedback control and the prediction-based feedback control. These methods are applied to discrete and continuous-time systems with the necessary modifications. The main contributions of the thesis are related to these methods, proposing an alternative control gain design, a new control law and related results. / O principal problema avaliado neste manuscrito é a estabilização de órbitas periódicas em sistemas dinâmicos não-lineares utilizando controle por realimentação. O objetivo dos métodos de controle propostos neste trabalho é obter uma oscilação periódica estável. Estes métodos de controle são aplicados a sistemas que apresentam órbitas periódicas instáveis no espaço de estados, estas são as órbitas a serem estabilizadas.Os métodos propostos aqui são tais que a oscilação periódica estável resultante é obtida utilizando um baixo esforço de controle, e o sinal de controle é projetado de forma a convergir para zero quanto a trajetória tende à órbita estabilizada. A estabilidade local de órbitas periódicas é analisada através do estudo da estabilidade de alguns sistemas lineares periódicos no tempo, utilizando a teoria de estabilidade de Floquet. Estes sistemas lineares são obtidos por linearização das trajetórias na vizinhança da órbita periódica.Os métodos de controle utilizados aqui para estabilização de órbitas periódicas são o proportional feedback control, o delayed feedback control e o prediction-based feedback control (controle por realimentação baseado em predição). Estes métodos são aplicados a sistemas de tempo discreto e de tempo contínuo, com as modificações necessárias. As principais contribuições da tese são relacionadas a esses métodos, propondo um projeto de ganho de controle alternativo, uma nova lei de controle e resultados relacionados.

Dans cette thèse, nous nous intéressons à des problèmes de segmentation d'images sous contraintes géométriques. Cette problématique a émergé suite à l'analyse de plusieurs méthodes classiques de détection de contours qui a été faite. En effet, ces méthodes classiques (Modèles déformables, contours actifs géodésiques, 'fast marching', etc...) se révèlent caduques quand des données de l'image sont manquantes ou de mauvaise qualité. En imagerie médicale par exemple, des phénomènes d'occlusion peuvent se produire : des organes peuvent se masquer en partie l'un l'autre (ex du foie). Par ailleurs, deux objets qui se jouxtent peuvent posséder des textures intrinsèques homogènes si bien qu'il est difficile d'identifier clairement l'interface entre ces deux objets. La définition classique d'un contour qui est caractérisé comme étant le lieu des points connexes présentant une forte transition de luminosité ne s'applique donc plus. Enfin, dans certains contextes d'étude, comme en géophysique, on peut disposer en plus des doneées d'imagerie, de données géométriques à intégrer au processus de segmentation.<br /><br />Pour pallier ces difficultés, nous proposons ici des modèles de segmentation intégrant des contraintes géométriques et satisfaisant les critères classiques de détection avec en particulier la régularité sur le contour que cela implique.

La thèse est portée essentiellement sur la stabilisation et la contrôlabilité de deux équations des ondes moyennant un seul contrôle agissant sur le bord du domaine. Dans le cas du contrôle dynamique, le contrôle est introduit dans le système par une équation différentielle agissant sur le bord. C'est en effet un système hybride. Le contrôle peut être aussi applique directement sur le bord d'une équation, c'est le cas du contrôle indirecte mais non borne. La nature du système ainsi coupledépend du couplage des équations, et ceci donne divers résultats par la stabilisation (exponentielle et polynomiale) et la contrôlabilité exacte (espace contrôlable). Des nouvelles inégalités d'énergie permettent de mettre en oeuvre la Méthode fréquentielle et la Méthode d'Unicité de Hilbert. / This thesis is concerned with the stabilization and the exact controllability of two wave equations by means of only one control acting on the boundary of the domain. In the case of dynamic control, the control is introduced into the system by differential equation acting on the boundary. It is indeed a hybrid system. The control can be also applied directly on the boundary of one of the equations. In this case, the control is indirect but unbounded. The behavior of the obtained system depends on theways of coupling. Various results are established for the stabilization (exponential or polynomial) and the exact controllability (controllable space of initial data). A new inequality of energy allows to apply the Frequency Method and the Hilbert Uniqueness Method.

Cette thèse est consacrée à l’étude de la stabilisation de certains systèmes distribués avec contrôle frontière de type dynamique. Nous considérons, d’abord, la stabilisation de l’équation de la poutre de Rayleigh avec un seul contrôle frontière dynamique moment ou force. Nous montrons que le système n’est pas uniformément (autrement dit exponentiellement) stable; mais par une méthode spectrale, nous établissons le taux polynomial optimal de décroissance de l’énergie du système. Ensuite, nous étudions la stabilisation indirecte de l’équation des ondes avec un amortissement frontière de type dynamique fractionnel. Nous montrons que le taux de décroissance de l’énergie dépend de la nature géométrique du domaine. En utilisant la méthode fréquentielle et une méthode spectrale, nous montrons la non stabilité exponentielle et nous établissons, plusieurs résultats de stabilité polynomiale. Enfin, nous considérons l’approximation de l’équation des ondes mono-dimensionnelle avec un seul amortissement frontière de type dynamique par un schéma de différence finie. Par une méthode spectrale, nous montrons que l’énergie discrétisée ne décroit pas uniformément (par rapport au pas du maillage) polynomialement vers zéro comme l’énergie du système continu. Nous introduisons, alors, un terme de viscosité numérique et nous montrons la décroissance polynomiale uniforme de l’énergie de notre schéma discret avec ce terme de viscosité. / This thesis is devoted to the study of the stabilization of some distributed systems with dynamic boundary control. First, we consider the stabilization of the Rayleigh beam equation with only one dynamic boundary control moment or force. We show that the system is not uniformly (exponentially) stable. However, using a spectral method, we establish the optimal polynomial decay rate of the energy of the system. Next, we study the indirect stability of the wave equation with a fractional dynamic boundary control. We show that the decay rate of the energy depends on the nature of the geometry of the domain. Using a frequency approach and a spectral method, we show the non exponential stability of the system and we establish, different polynomial stability results. Finally, we consider the finite difference space discretization of the 1-d wave equation with dynamic boundary control. First, using a spectral approach, we show that the polynomial decay of the discretized energy is not uniform with respect to the mesh size, as the energy of the continuous system. Next, we introduce a viscosity term and we establish the uniform (with respect to the mesh size) polynomial energy decay of our discrete scheme.

Chaque année, plus de 5 millions de personne à travers le monde deviennent hémiplégiques suite à un accident vasculaire cérébral. Ce soudain déficit neurologique conduit bien souvent à une perte partielle ou totale de la station debout et/ou à la perte de la capacité de déambulation. Dans l’optique de proposer de nouvelles solutions d’assistance situées entre le fauteuil roulant et le déambulateur, cette thèse s’inscrit dans le cadre du projet ANR TECSAN VHIPOD « véhicule individuel de transport en station debout auto-équilibrée pour personnes handicapées avec aide à la verticalisation ». Dans ce contexte, ces travaux de recherche apportent des éléments de réponse à deux problématiques fondamentales du projet : l’assistance au passage assis-debout (PAD) des personnes hémiplégiques et le déplacement à l’aide d’un véhicule auto-équilibré à deux roues. Ces problématiques sont abordées du point de vue de la robotique avec comme question centrale : peut-on utiliser l’approche Takagi-Sugeno (TS) pour la synthèse d’une commande ? Dans un premier temps, la problématique de mobilité des personnes handicapées a été traitée sur la base d’une solution de type gyropode. Des lois de commande basées sur les approches TS standard et descripteur ont été proposées afin d’étudier la stabilisation des gyropodes dans des situations particulières telles que le déplacement sur un terrain en pente ou le franchissement de petites marches. Les résultats obtenus ont non seulement permis d’aboutir à un concept potentiellement capable de franchir des obstacles, mais ils ont également permis de souligner la principale difficulté liée à l’applicabilité de l’approche TS en raison du conservatisme des conditions LMIs (inégalités matricielles linéaires). Dans un second temps, un banc d’assistance au PAD à architecture parallèle a été conçu. Ce type de manipulateur constitué de multiples boucles cinématiques présente un modèle dynamique très complexe (habituellement donné sous forme d’équations différentielles ordinaires). L’application de lois de commande basées sur l’approche TS est souvent vouée à l’échec compte tenu du grand nombre de non-linéarités dans le modèle. Afin de remédier à ce problème, une nouvelle approche de modélisation a été proposée. À partir d’un jeu de coordonnées bien particulier, le principe des puissances virtuelles est utilisé pour générer un modèle dynamique sous forme d’équations algébro-différentielles (DAEs). Cette approche permet d’aboutir à un modèle quasi-LPV où les seuls paramètres variants représentent les multiplicateurs de Lagrange issus de la modélisation DAE. Les résultats obtenus ont été validés en simulation sur un robot parallèle à 2 degrés de liberté (ddl) puis sur un robot parallèle à 3 ddl développé pour l’assistance au PAD. / Every year more than 5 million people worldwide become hemiplegic as a direct consequence of stroke. This neurological deficiency, often leads to a partial or a total loss of standing up abilities and /or ambulation skills. In order to propose new supporting solutions lying between the wheelchair and the walker, this thesis comes within the ANR TECSAN project named VHIPOD “self-balanced transporter for disabled persons with sit-to-stand function”. In this context, this research provides some answers for two key issues of the project : the sit-to-stand assistance (STS) of hemiplegic people and their mobility through a two wheeled self-balanced solution. These issues are addressed from a robotic point of view while focusing on a key question : are we able to extend the use of Takagi-Sugeno approach (TS) to the control of complex systems ? Firstly, the issue of mobility of disabled persons was treated on the basis of a self-balanced solution. Control laws based on the standard and descriptor TS approaches have been proposed for the stabilization of gyropod in particular situations such as moving along a slope or crossing small steps. The results have led to the design a two-wheeled transporter which is potentially able to deal with the steps. On the other hand, these results have also highlighted the main challenge related to the use of TS approach such as the conservatisms of the LMIs constraints (Linear Matrix Inequalities). In a second time, a test bench for the STS assistance based on parallel kinematic manipulator (PKM) was designed. This kind of manipulator characterized by several closed kinematic chains often presents a complex dynamical model (given as a set of ordinary differential equations, ODEs). The application of control laws based on the TS approach is often doomed to failure given the large number of non-linear terms in the model. To overcome this problem, a new modeling approach was proposed. From a particular set of coordinates, the principle of virtual power was used to generate a dynamical model based on the differential algebraic equations (DAEs). This approach leads to a quasi-LPV model where the only varying parameters are the Lagrange multipliers derived from the constraint equations of the DAE model. The results were validated on simulation through a 2-DOF (degrees of freedom) parallel robot (Biglide) and a 3-DOF manipulator (Triglide) designed for the STS assistance.