Thèse de doctorat : Informatique et robotique : Paris 12 : 2003. / Titre provenant de l'écran-titre. Bibliogr.

La majorité des systèmes physiques sont soumis à des limitations de fonctionnement. En effet, ces contraintes peuvent entraîner une dégradation des performances et même une instabilité des systèmes en boucle fermée. Dans ce contexte se situent les travaux de cette thèse qui ont pour objectif de développer des lois de commande adaptative floue à mode glissant pour les systèmes non linéaires avec contraintes de saturation et les appliquer sur le système moteur Diesel. Il s'agit de contrôler les trois actionneurs de la boucle d'air, à savoir: la vanne EGR (Exhaust Gas Recirculation), la vanne VGT (Variable Geometry Turbine) et la vanne papillon pour une poursuite de trajectoires de référence qui sont choisies afin d'optimiser les émissions des polluants et la consommation du carburant. Dans ce mémoire, deux modèles ont été adoptés, à savoir un modèle à deux entrées deux sorties pour lequel la vanne papillon est supposée totalement ouverte et un modèle trois entrées trois sorties. Ces modèles permettent de décrire l'évolution des paramètres les plus significatifs du système : la pression dans le collecteur d'admission, la pression dans le collecteur d'échappement et la puissance du compresseur. Les algorithmes proposés sont validés par simulation et à l'aide du simulateur AMESim / Most physical systems are subject to control constraints. Indeed, these constraints can lead to the degradation of performances and even instability of closed-loop systems. In this context, the main objective of this thesis is to develop adaptive fuzzy control laws for nonlinear systems in the presence of saturation constraints and applying them to the diesel engine system. The objective is to control the three actuators of the air loop of the diesel engine, namely: the Exhaust Gas Recirculation (EGR), the Variable Geometry Turbine (VGT) and the Throttle. The idea is to track a given reference signals which are chosen in order to optimize the pollutant emissions and the fuel consumption. In this thesis, two models have been adopted, a model with two inputs and two outputs in which the Throttle is assumed to be totally opened and a three input three output model. These models describe the significant parameters of the system, such that: the pressure of the intake manifold, the pressure of the exhaust manifold and the compressor power. The proposed algorithms are validated by simulation and using the AMESim simulator

Thèse de doctorat : Informatique : Saint-Etienne : 2001. / Thèse : 2001STET4006. Bibliogr. 6 p.

Thèse doctorat : Génie Civil : Villeurbanne, INSA : 2007. / Titre provenant de l'écran-titre. Bibliogr. p. 315-321.

Th. doct.-ing.--Toulouse 3, 1978. N°: 636.

La spectroscopie par résonance magnétique (SRM) est une technique d'analyse noninvasive des informations biochimiques des tissus du corps humain. L'un des éléments essentiels des examens SRM in vivo est la quantification des données SRM, qui consiste à retrouver les amplitudes ou surfaces des pics de chacun des métabolites en présence.Toutefois, cette tâche est encore difficile en raison du recouvrement important entre les différents pics, de la présence d'un bruit de fond qui chevauche tous les pics et du faible rapport signal sur bruit des spectres observés.Dans cette thèse, nous proposons deux nouvelles méthodes de quantification SRM dans le domaine fréquentiel. A partir d'un dictionnaire construit selon des connaissances a priori sur le modèle mathématique des pics des métabolites, nos deux méthodes estiment correctement les pics d'intérêt, en utilisant les représentations parcimonieuses des signaux.Les expériences de simulation menées montrent les excellents résultats de nos méthodes par rapport à l'état de l'art actuel. De plus, les quantifications de spectres SRM in vivo du cerveau pour le suivi au cours du temps de tumeurs sur des patients, ainsi que de spectres SRM in vivo de la prostate, démontrent la pertinence de nos méthodes.Dans cette thèse, nous avons également étudié la fusion des signaux SRM et des images IRM (imagerie par résonance magnétique). Les spectres SRM délivrent des informations biochimiques sur les tissus humains, tandis que les images IRM donnent des informations anatomiques. Quelques publications ont démontré récemment que la combinaison des deux informations SRM et IRM peuvent améliorer de façon critique la détection des cancers de la prostate. Dans ce contexte, nous avons proposé d'utiliser une technique de fusion d'informations floues de données SRM et IRM, afin d'automatiser la localisation de tissus cancéreux de la prostate. Dans cette étude préliminaire, nous avons montré les résultats encourageants obtenus par notre technique. / MRS (magnetic resonance spectroscopy) has proved to be an important non invasive technique for analyzing biochemical information about the tissues of the human body. One oft he essential elements of an in vivo MRS examination is the quantification of MRS data,which concerns the calculation of the amplitude or areas of the spectral peaks of individual metabolites. However, it is a challenging problem, because of the strongly overlapping metabolites peaks, the presence of a broad background (baseline) which overlaps the metabolites peaks, and the low signal to noise ratio.In this thesis, we have proposed two new MRS quantification methods in the frequency domain. The proposed methods achieved the accurate estimations of the spectral peaks of interest by finding their sparse representations with respect to a dictionary constructed based on their mathematical models and some a priori knowledge about these model parameters.Simulation experiments show the superiority of the proposed methods for MRS quantifications, compared with other methods. Moreover, the quantifications of in vivo brain MR spectra from tumor patients in different stages of progression, as well as in vivo prostate MR spectra, demonstrate the effectiveness of the proposed methods.Another research in this thesis is the fusion of information about MRS spectra and MRI(magnetic resonance imaging) images. MRS spectra provide biochemical information about human tissues while MRI images provide anatomical information. Some clinical researches inthe literature have shown that the combination of the information of MRS spectra and MRI images can ameliorate significantly the detection of prostate tumors. In this context, we proposed a technique using fuzzy information fusion of MRS data and MRI data for the automatic localization of the cancerous tissues of the prostate. As a preliminary research, we have shown the encouraging results obtained with the proposed technique.

Dans ce mémoire, on généralise la notion de vérification automatique de modèles au contexte flou. On définit des structures de Kripke floues et on leur associe des logiques temporelles floues, dénotées NCTL * et NCTL. On vérifie que les opérateurs de la logique NCTL sont monotones et qu'il y a moyen de faire de la vérification de modèles dans ce contexte. On en fait alors la démonstration.

Ce mémoire a pour objet la modélisation et la commande d'un moteur à allumage commandé. Le premier chapitre propose alors un état de l'art sur la modélisation, l'estimation et la commande dans ces derniers. Le second chapitre s'intéresse à la commande de l'admission d'air. Deux commandes y sont développées : la première est basée sur une commande linéarisante et la seconde fait appel aux outils de la commande basée sur les modèles flous de type Takagi-Sugeno. Parmi les modèles considérés, certains sont non linéaires et présentent des incertitudes de modélisation, et d'autres sont à retards variables. Le troisième chapitre présente alors un certain nombre de développements théoriques concernant deux classes de modèles flous : ceux à retards variables sur l'état, et ceux avec incertitudes. Des conditions de stabilisation sans et avec un observateur d'état sont également données. Le quatrième chapitre traite alors de la commande et de l'observation par retour d'état basées sur des modèles flous de type Takagi-Sugeno et/ou par modes glissants, et de leur validation sur le modèle développé. Une régulation de richesse, une commande robuste du couple moteur moyen, un observateur à entrées inconnues du couple instantané, et des essais de commande globale sont présentés.

Indisponible / Unavailable

Thèse de doctorat--Signal et images--Paris--ENST, 2007. / Bibliogr. p. 159-175. Index. Résumé en anglais et en français.