Ce travail aborde le problème de l'identification de signaux et systèmes, appliqué à des problèmes de communications<br />numériques. Contrairement aux méthodes classiques d'optimisation stochastiques, nous proposons une approche algébrique<br />et déterministe. De plus, nous considérons les signaux et systèmes sous leur forme ``physique'' temps-continu, ce qui<br />nous permet d'exploiter certaines connaissances qui peuvent être cachées ou oubliées par un échantillonnage prématuré.<br />Enfin, avec les méthodes algébriques proposées, on abouti à des techniques simples et rapides, qui permettent une<br />implémentation en temps réel.<br /><br />Dans un premier temps, nous abordons le problème de correction des distorsions dans un système de communication par<br />courant porteur, en utilisant la platitude du système représenté par la ligne électrique. Le système inverse de la<br />ligne obtenu est, par la suite, utilisé dans un autre contexte, notamment celui de la correction du timbre de la voix<br />dans un réseau téléphonique.<br /><br />Dans un deuxième temps, le problème de l'identification est abordé dans le cadre d'une nouvelle théorie déterministe de<br />l'estimation reposant sur l'algèbre différentielle et le calcul opérationnel. Partant de cette théorie, nous avons<br />développé un algorithme général d'identifi-cation entrée-sortie d'un système rationnel. De plus, la rapidité des<br />estimations nous permet-tent d'introduire une notion de filtrage local. Ce filtrage rend possible la représentation<br />d'un système de grande dimension par un modèle de dimension très réduite (ordre un ou deux), variable par morceaux dans<br />le temps. Cette modélisation est très intéressante car elle permet une démodulation directe des symboles transmis, sans<br />nécessiter d'identifier/égaliser explicitement le canal.<br /><br />Finalement, le problème de démodulation des signaux modulés en fréquence à phase continue, reçus à travers un canal à<br />bruit additif, a aussi été abordé à la lumière de ces techniques algébriques. Notre démarche consiste à décrire le<br />signal reçu, dans chaque intervalle symbole, par une équation différentielle linéaire bruitée (en général à<br />coefficients variables), dont les coefficients sont des fonctions du symbole courant. La démodulation symbole par<br />symbole devient alors immédiate et particulièrement robuste aux perturbations.

Ce mémoire est dédié à l'étude de la stabilité des systèmes non linéaires à commutation, systèmes qui peuvent être considérés comme une abstraction de haut niveau d'un système hybride, dans lequel la dynamique discrète est complètement omise. Ce problème est abordé de manières différentes : la stabilité conditionnelle par contrôle des commutations, la stabilisation uniforme et la commande sans modèle. Après une large introduction, le second chapitre se focalise sur la construction d'une séquence de commutation qui assure la stabilité du système. Cette approche repose sur la réécriture du système non linéaire par une représentation polytopique, utilisée pour dégager des conditions suffisantes en termes d'inégalités matricielles. Dans le troisième chapitre, la stabilisation uniforme est abordée. Une condition nécessaire et suffisante y est dégagée, construite sur la notion nouvelle de fonction de Lyapunov contrôlée commune. Dans le quatrième chapitre, un modèle formel est introduit pour représenter uniquement l'ensemble des scénarios admissibles par la physique du système. Pour ce faire, un réseau de Petri temporel est utilisé, permettant ainsi par son analyse la caractérisation de l'ensemble des scénarios admissibles. Divers concepts de stabilité sont par suite appliqués au modèle résultant. Un dernier chapitre propose une approche originale des systèmes à commutation, par une commande sans modèle de ces derniers, c'est-à-dire sans en connaître la dynamique des différents modes. L'algorithme proposé est basé sur des méthodes algébriques d'estimations rapides de dérivées et de paramètres, assurant ainsi une stabilité pratique si les commutations ne sont pas trop rapides.

Cette thèse traite de problèmes inverses de sources dans deux cas : les sources fixes en 2D et 3D équations elliptiques et une source non-stationnaire dans une équation de diffusion. Dans le cadre de ce travail, nous considérons des sources ponctuelles (monopôles, dipôles et sources multipolaires) et des sources ayant support compact dans un nombre fini de petits sous-domaines qui modèlent les sources dans les problèmes EEG/MEG et le problème de tomographie par bioluminescence (BLT). Le but de cette thèse est de proposer des méthodes d’identification robustes qui permettent de déterminer leur nombre, leurs intensités et leurs positions. Des méthodes algébriques directes sont utilisées pour identifier les sources fixes et une méthode quasi-algébrique mélangée avec un problème d’optimisation est utilisé pour récupérer les sources avec des intensités variables dans le temps. Des résultats numériques sont effectués afin de mettre en évidence la robustesse de nos algorithmes d’identification. / This thesis deals with inverse source problems in 2 cases : stationary sources in 2D and 3D elliptic equations and a non-stationary source in a diffusion equation. the main form of sources considered are pointwise sources (monopoles, dipoles and multipolar sources) having compact support within a finite number of small subdomains modeling EEG/MEG problems and Bioluminescence Tomography (BLT) problems. The purpose o this thesis is mainly to propose robust identification methods that enable us to reconstruct the number, the intensity and the location of the sources. Direct algebraic methods are used to identify the stationary siurces and a quasi-algebraic method mixed with an optimieation method is employed to recover sources with time-variable intensities. Numerical results are shown to prove the robustness of our identification algorithms.

Cette thèse traite de la détection et de la localisation des défaillances à base de modèles comportementaux. L'approche suggérée consiste à extraire du modèle comportemental un sous-modèle découplé par rapport aux perturbations et par rapport à un sous-ensemble de défaillances et couplé par rapport au sous-ensemble complémentaire de défaillances. A l'aide de ce sous modèle, des indicateurs de défaillances structurés sont générés. Ces indicateurs possèdent intrinsèquement des propriétés de robustesse aux perturbations et à certaines défaillances et sont sensibles au reste des défaillances. Cette approche repose donc sur la décomposition du modèle comportemental du système en sous-modèles. Une méthodologie de décomposition est présentée pour traiter les modèles continus et les modèles événementiels de la même manière. Cette méthodologie de décomposition est formulée en utilisant des outils algébriques connus sous le nom d'algèbre des paires et d'algèbre des fonctions. Les deux algèbres sont présentées et leurs opérateurs sont détaillés et illustrés. Il est montré que la procédure de décomposition décrite pour les modèles continus en utilisant l'algèbre des fonctions est similaire à celle décrite pour les modèles événementiels en utilisant l'algèbre des paires. Une procédure de décomposition générale est ensuite proposée pour tous les modèles comportementaux déterministes.Les résultats théoriques sont illustrés par la décomposition des modèles comportementaux (continu et événementiel) du système à trois cuves, et par la synthèse d'un module de détection et de localisation de défaillances pour chaque cas traité.

La tomographie d'émission multiphotonique est une technique de contrôle non destructif appliquée au contrôle des colis de déchets radioactifs. Les rayonnements gammas émis sont détectés sur la gamme [50 keV, 2 MeV] par un germanium hyper pur, de haute résolution en énergie, ce qui permet d'établir une carte détaillée des radioéléments contenus dans le colis. A partir des différents points de mesures situés dans un plan transaxial au colis, un algorithme de reconstruction permet d'estimer la distribution de l'activité. Une modélisation algébrique du processus a été développée afin de pouvoir corriger des phénomènes perturbateurs, en particulier l'atténuation et la réponse géométrique du détecteur. L'atténuation à travers les matériaux constituant le colis est le phénomène prépondérant : elle permet une quantification précise de l'activité. Sa prise en compte est réalisée grâce à une carte d'atténuation obtenue par un tomographe de transmission. La réponse géométrique de détection, opérant un flou sur le faisceau de détection, est modélisée analytiquement. La bonne modélisation de ces phénomènes est primordiale : elle conditionne, dans une grande partie, la qualité de l'image et sa quantification. La reconstruction des images, nécessitant la résolution de systèmes matriciels creux, est réalisée par des algorithmes itératifs. Du fait du caractère "mal-posé" de la reconstruction tomographique, il est nécessaire d'utiliser une régularisation : la stabilisation des méthodes s'opère par l'introduction d'information a priori sur la solution. Le critère à minimiser choisi est celui du Maximum A Posteriori. Sa résolution est envisagée par un algorithme de régularisation semi-quadratique : il permet la préservation les discontinuités naturelles, et évite ainsi le surlissage global de l'image. Elle est évaluée sur des fantômes réels et des colis de déchets. Enfin l'échantillonnage efficace des mesures est abordé.

Cette thèse, proposée dans le cadre du projet W2P1-DECOL (SAS PIVERT), financée par le ministère de l’enseignement supérieur est consacrée à l’étude d’un problème inverse de pressage des matériaux biologiques à structure cellulaire. Le but est d’identifier connaissant les mesures du flux d’huile sortant, le coefficient de consolidation du gâteau de pressage et l’inverse du temps caractéristique de consolidation sur deux niveaux : au niveau de la graine de colza et au niveau du gâteau de pressage. Dans un premier temps, nous présentons un système d’équations paraboliques modélisant le problème de pressage des matériaux biologiques à structure cellulaire, il découle de l’équation de continuité de la loi de Darcy et d’autres hypothèses simplificatrices. Puis l’analyse théorique et numérique du modèle direct est faite dans le cas linéaire. Enfin la méthode des différences finies est utilisée pour le discrétiser. Dans un second temps, nous introduisons le problème inverse du pressage où l’étude de l’identifiabilité de ce problème est résolue par une méthode spectrale. Par la suite, nous nous intéressons à l’étude de stabilité lipschitzienne locale et globale. De plus une estimation de stabilité lipschitzienne globale, pour le problème inverse de paramètres, dans le cas du système d’équations paraboliques, à partir des mesures sur ]0,T[ est établie. Enfin l’identification des paramètres est résolue par deux méthodes, l’une basée sur l’adaptation de la méthode algébrique et l’autre formulée comme la minimisation au sens des moindres carrés d’une fonctionnelle évaluant l’écart entre les mesures et les résultats du modèle direct, la résolution de ce problème inverse se fait en utilisant un algorithme itératif BFGS, l’algorithme est validé puis testé numériquement dans le cas des graines de colza, en utilisant des mesures synthétiques. Il donne des résultats très satisfaisants, malgré les difficultés rencontrés à manipuler et exploiter les données expérimentales. / This thesis, proposed in the framework of the W2P1-DECOL project (SAS PIVERT) and funded by the Ministry of Higher Education, is devoted to the study an inverse problem of pressing biological materials with a cellular structure. The aim is to identify, of the outgoing oil flow, the coefficient of consolidation of the pressing cake and the inverse of the characteristic time of consolidation on two levels : at the level of the rapeseed and at the level of the pressing cake. First, we present a system of parabolic equations modeling the pressing problem of biological materials with cellular structure; it follows from the continuity equation of Darcy’s law and other simplifying hypotheses. Then a theoretical and numerical analysis of a direct model is made in the linear case. Finally the finite difference method is usedt o discretize it. In a second step, we introduce the inverse problem of the pressing where the study of the identifiability of this problem is solved by a spectral method. Later we are interested in the study of local and global Lipschitizian stability. Moreover, global Lipschitz stability estimate for the inverse problem of parameters in the case of the system of parabolic equations from the measures on ]0,T[ is established. Finally, the identification of the parameters is solved by two methods; one based on the adaptation of the algebraic method and the other formulated as the minimization in the least squares sense of a functional evaluating the difference between measurements and the results of the direct model; the resolution of this inverse problem is done using an iterative algorithm BFGS, the algorithm is validated and then tested numerically in the case of rapeseeds, using synthetic measures. It gives very satisfactory results, despite the difficulties encountered in handling and exploiting the experimental data.