Dans la mesure où le tremblement transsonique limite le domaine de vol des aéronefs, sa prédiction à moindre coût et son contrôle sont d'intérêt crucial pour les avionneurs. Nous proposons donc dans ce travail d'une part d'améliorer le calcul des écoulements transsoniques instationnaires typiques du tremblement et d'autre part d'évaluer une démarche de contrôle de ce phénomène. Le présent travail inclut un état de l'art sur le tremblement transsonique, une présentation des méthodes employées ainsi que des travaux de validation réalisés. Compte tenu des limitations de la modélisation statistique de la turbulence classique, l'utilisation de modélisations dites hybrides (PANS et DES) est alors explorée pour le calcul du tremblement transsonique sur profils supercritiques ; ces techniques permettent de reproduire numériquement avec une précision satisfaisante les phénomènes observés expérimentalement. Enfin, une démarche originale d'optimisation de formes est proposée afin de diminuer l'intensité ou de repousser l'apparition du tremblement transsonique sur profils d'ailes. Les cas traités (profils classique ou supercritique) ainsi que la démarche multi-objectifs adoptée permettent d'élaborer une méthodologie efficace et systématique d'obtention de formes plus performantes vis-à-vis du tremblement.

Cette thèse porte sur la modélisation économique des politiques de réduction des émissions de gaz à effet de serre. Nous explorons, avec un modèle hybride, les conséquences du passage d'une économie du changement climatique sous tendue par une vision exogène du progrès technique à un cadre où il est induit par l'ensemble des signaux économiques. Les résultats soulignent les risques de bifurcation vers des trajectoires de référence très intensives en carbone. Les scénarios avec politiques climatiques démontrent l'existence d'un écart entre l'optimisme qui était attaché à l'induction du progrès technique par les politiques climatiques et les résultats que nous obtenons. Cette thèse propose enfin de concevoir les politiques climatiques plus comme une articulation de mesures spécifiques que comme le déploiement d'un unique signal prix. Nous démontrons qu'une mise en cohérence des politiques d'infrastructures de transport avec l'objectif climatique permet de réduire fortement son coût / This thesis concerns the economic modelling of the politics of reduction of greenhouse gas emissions. We explore, with a hybrid model, the consequences of the passage of an economy of the climate change under tightened by an exogenous vision of the technical progress at a frame where it is led by all the economic signals. The results underline the risks of fork towards very intensive reference trajectories in carbon. The scenarios with climatic politicsdemonstrate the existence of a gap enter the optimism which was attached to the induction of the technical progress by the climatic politics and the results which we obtain. This thesis suggests finally conceiving the climatic politics more as a joint of specific measures than as

Cette thèse porte sur la modélisation économique des politiques de réduction des émissions de gaz à effet de serre. Nous explorons, avec un modèle hybride, les conséquences du passage d'une économie du changement climatique sous tendue par une vision exogène du progrès technique à un cadre où il est induit par l'ensemble des signaux économiques. Les résultats soulignent les risques de bifurcation vers des trajectoires de référence très intensives en carbone. Les scénarios avec politiques climatiques démontrent l'existence d'un écart entre l'optimisme qui était attaché à l'induction du progrès technique par les politiques climatiques et les résultats que nous obtenons. Cette thèse propose enfin de concevoir les politiques climatiques plus comme une articulation de mesures spécifiques que comme le déploiement d'un unique signal prix. Nous démontrons qu'une mise en cohérence des politiques d'infrastructures de transport avec l'objectif climatique permet de réduire fortement son coût

Les réseaux de régulation biologiques sont des systèmes complexes dans lesquels les entités biologiques interagissent entre elles, faisant ainsi émerger des comportements particuliers. Dans cette thèse, nous proposons une méthodologie générale afin de mieux comprendre les mécanismes en jeux dans ces réseaux de régulation et tout particulièrement dans ceux ayant un comportement oscillatoire. De façon générale, les différentes parties de cette méthodologie ont pour but, soit d'analyser des systèmes biologiques de plus en plus grands, soit de raffiner les analyses sur des modèles moins conséquents. Ces travaux utilisent les propriétés temporelles des modèles biologiques qui sont souvent abondantes mais encore relativement peu exploitées. Pour parvenir à intégrer les données temporelles, nous avons développé des modélisations hybrides qui combinent dans leurs comportements des aspects purement qualitatifs ainsi que des aspects continus (dans les notions temporelles quantitatives). La première partie de cette méthodologie générale consiste à utiliser une modélisation hybride nommée TEM (pour modélisation d'évolution temporelle) qui permet une pré-analyse du système biologique. L'avantage de cette modélisation est qu'elle utilise des paramètres qui sont très proches des données biologiques et qu'elle peut fournir des résultats d'intérêt à partir d'un nombre réduit d'hypothèses simples. Néanmoins, plus nous fournissons de données sur le modèle biologique dans l'approche TEM et plus les résultats obtenus sont précis. La seconde partie de notre méthodologie générale consiste à reprendre des modélisations existantes et couramment utilisées (la modélisation par équations différentielles par morceaux (PLDE) et la modélisation discrète de R. Thomas) et d'y ajouter de nouvelles méthodes conjointes. La première méthode permet d'obtenir l'ensemble des contraintes nécessaires et suffisantes pour le paramétrage d'un modèle d'après des spécifications. Ceci peut permettre de découvrir des caractéristiques communes à l'ensemble des paramétrages validant les spécifications du modèle mais également d'obtenir l'ensemble de ces paramétrages grâce à un solveur de contraintes. La seconde méthode permet de décomposer les dynamiques obtenues à partir du paramétrage d'un modèle. Cette méthode peut servir à mieux comprendre les dynamiques ainsi obtenues en sachant si un comportement correspond à un ensemble de sous-comportements et si oui lesquels. La méthode peut également servir à travailler sur un sous-ensemble de la dynamique en ne prenant en compte que les sous-comportements intéressants, par rapport à certaines préoccupations. Enfin, la dernière partie de cette thèse consiste en une modélisation nommée modélisation TDD (pour modélisation par décomposition des domaines temporels) et permettant de raffiner les analyses précédentes. Cette modélisation est basée sur la modélisation PLDE et la modélisation discrète de R. Thomas afin de profiter pleinement des méthodes que nous avons développées. En fait, cette modélisation, tout comme dans la première modélisation présentée dans cette thèse, est une modélisation hybride qui utilise également la notion de temps via des paramètres temporels.

Dans ce travail, on s'intéresse à la modélisation, l'identification et la commande de systèmes soumis à des frottements secs. L'exposé est divisé en 4 parties. La première partie porte sur la modélisation de systèmes mécaniques complexes et propose un état de l'art des modèles de frottements présents dans la littérature. La deuxième partie est dédiée à la modélisation hybride de systèmes soumis à des frottements secs. Basé sur un nouveau modèle générique, trois modèles, de complexité croissance, sont proposés. La troisième partie traite de l'identification pratique des frottements secs. Des méthodes robustes aux bruits de quantification entachant les données sources sont obtenues. La quatrième partie propose deux synthèses de commande, une commande non-linéaire et une commande robuste synthétisée à partir d'un modèle LPV. L'estimation des frottements secs est abordée dans la dernière partie à l'aide d'observateurs switchés à temps discret. Le modèle et les commandes proposés sont validés sur un banc d'essai d'un embrayage robotisé.

Les Réseaux de Régulation Biologique (RRB) sont communément utilisés en biologie systémique pour modéliser, comprendre et contrôler les dynamiques de production des protéines au sein des cellules. Bien qu'offrant une représentation très abstraite des systèmes biologiques, l'analyse formelle de tels modèles se heurte rapidement à l'explosion combinatoire des comportements engendrés. Cette thèse traite de la modélisation, de la simulation et de la vérification formelle des grands RRB à travers l'introduction d'un nouveau formalisme : les Frappes de Processus. La simplicité de ce formalisme permet notamment l'élaboration d'analyses statiques efficaces des systèmes complexes en général. Cette thèse aborde en premier lieu le raffinement du temps dans les modèles stochastiques via l'introduction d'un facteur d'absorption de stochasticité. Ceci apporte un compromis et une flexibilité entre des spécifications temporelles et stochastiques dans les modélisations hybrides. Une simulation générique (non-markovienne) des calculs de processus est alors proposée et appliquée aux Frappes de Processus. En outre de l'analyse statique des points fixes des Frappes de Processus, cette thèse développe une interprétation abstraite de ces Frappes de Processus permettant des approximations supérieures et inférieures très efficaces de propriétés d'atteignabilité discrète. Cette analyse permet également de faire émerger des composants requis pour la satisfaction de ces propriétés, guidant ainsi le contrôle du système. D'une complexité théorique limitée, cette approche promet de supporter l'analyse de très grands RRB et constitue une ainsi contribution qui ouvre sur de multiples perspectives.

Ce mémoire de thèse présente deux nouvelles approches pour l'analyse et la commande des systèmes non-linéaires complexes, comme les systèmes dynamiques à commutation de la classe des convertisseurs d'énergie électrique. Ces systèmes ont plusieurs modes de fonctionnement et ont un point de fonctionnement désiré qui, en général, n'est le point d'équilibre d'aucun des modes. Dans cette classe de systèmes, la commutation d'un mode de fonctionnement à un autre est commandée selon une loi qui doit être synthétisée. Par conséquent, la synthèse de commande implique l'étude des conditions qui permettent à un cycle limite stable de s'établir au voisinage du point de fonctionnement désiré, puis de la trajectoire de commande qui permet de l'atteindre en respectant les contraintes physiques de comportement (courant maximum supporté par les composants,. . .) ou les contraintes de temps (durée minimum entre deux commutations,. . .). Le cycle limite sera qualifié d'hybride car il est composé de plusieurs dynamiques(deux dans ces travaux).La première méthode développée s'appuie sur les propriétés géométriques des champs de vecteurs et est une extension d'une partie des travaux de thèse de Manon au LAGEP. Une condition nécessaire et suffisante d'existence et de stabilité d'un cycle limite hybride composé d'une séquence de deux modes de fonctionnement dans IR2 est présentée. Ce cycle définit la région finale à atteindre par le système depuis son état initial, par une trajectoire déterminée de manière optimale selon un critère donné (durée totale, énergie dépensée, . . .). La méthode proposée est appliquée aux convertisseurs d'énergie Buck et Buck-Boost alimentant une charge résistive. Une extension à IRn a été proposée et démontrée. Elle est illustrée sur un système non-linéaire dans IR3.La deuxième méthode est développée dans IR2 et basée sur la théorie de Lyapunov, bien connue en automatique pour étudier la stabilité des systèmes non-linéaires et concevoir des commandes stabilisantes.Il s'agit de déterminer par une approche géométrique, une fonction de Lyapunov quadratique commune aux deux modes de fonctionnement du système, qui permette d'obtenir un cycle limite hybride stable le plus proche possible du point de fonctionnement désiré et une commande stabilisante directe des interrupteurs

La croissance du marché des pompes à chaleur contribue à l'augmentation de la thermosensibilité de la demande électrique. Il devient nécessaire de mieux comprendre l'impact des usages thermosensibles de l'électricité, notamment concernant ceux qui sont corrélés de manière non linéaire à la température extérieure. Dans cette optique, cette thèse vise à construire un cadre de modélisation qui permette i) d'analyser les facteurs d'influence de la thermosensibilité à partir d'une description physique des usages thermosensibles, et ii) de réaliser des diagnostics de ces paramètres d'influence tout en tenant compte des incertitudes associées. Une approche de modélisation hybride qui bénéficie des avantages de modèles statistiques et de modèles physiques est principalement employée pour répondre à ces questions.La première étape consiste à estimer la part thermosensible de la demande réelle par un modèle prédictif top-down. On développe ensuite un modèle d'analyse physique de la thermosensibilité à l'échelle régionale à partir de la thermique du bâtiment. On s'appuie notamment sur des modèles pseudo-physiques de performance de pompes à chaleur qui sont régressés sur des données constructeur ou des mesures de performances réelles. Un COP régional est déterminé pour l'ensemble des PAC installées. Enfin, les paramètres d'influence du modèle de thermosensibilité ainsi développé sont estimés à l'aide de l'approche bayésienne, qui offre un cadre pour le traitement de l'incertitude sous la forme de probabilités. Des coefficients équivalents de déperditions thermiques, une température intérieure équivalente ainsi que les parts du chauffage Joule et par PAC pour le parc de bâtiments régional ont été obtenus. / The growing heat pump market contributes to the increase in temperature sensitivity of electricity demand. It becomes necessary to understand the impact of temperature sensitive end-uses of electricity, including those which are correlated non-linearly to the outside temperature. In this context, this thesis aims to build a modeling framework to i) analyze the influencing factors of the temperature sensitivity of electricity demand from a physical description of temperature-sensitive equipment, and ii) to perform diagnoses of these parameters of influence by taking into account the associated uncertainties. A hybrid modeling approach that benefits the advantages of statistical models and physical models is used to answer these questions.Firstly, the temperature-sensitive part of electricity demand is estimated by a predictive top-down model. Then a physical model to analyze the temperature sensitivity at regional level is developed based on building thermal energy needs. A regional coefficient of performance (COP) is determined for the whole installed heat pumps by using pseudo-physical models which are regressed on manufacturer data or actual performance measures. Finally, the parameters of influence of the developed temperature sensitivity model are estimated using the Bayesian approach which provides a framework for the treatment of uncertainty in the form of probabilities. Equivalent coefficients of heat loss, an equivalent internal temperature, as well as the share of Joule heating and the share of heat pumps for the regional building stock are obtained.

Malgré l'augmentation constante des ressources informatiques dédiées au calcul scientifique, simuler des écoulements réactifs mettant en jeu une chimie complexe reste aujourd'hui encore un véritable challenge. L'objectif de cette thèse est le développement de la méthode Hybrid Transported-Tabulated Chemistry (HTTC), destinée aux simulations DNS/LES de flammes avec des mécanismes cinétiques détaillés, en offrant un temps de calcul acceptable. Cette nouvelle approche consiste à transporter les espèces majoritaires de l'écoulement, tandis que les espèces minoritaires sont extraites d'une table chimique. La méthode HTTC a été implémentée dans un code DNS/LES et validée sur des flammes 1D de méthane et de kérosène, mettant en évidence une réduction extrêmement importante du temps de calcul, comparé aux solveurs classiques de chimie détaillée. HTTC a ensuite été mis en œuvre avec succès sur des flammes triples de méthane en présence de forts gradients de fraction de mélange. L'impact des méthodes choisies pour prolonger la table chimique et pour calculer les variables de contrôle, utilisées pour paramétrer la table, a été étudiée avec une attention particulière. Un très bon accord a été trouvé avec les résultats de référence, obtenus avec un solveur de chimie détaillée. / Even if significant progress is being made to improve the power of high-performance computers, the numerical simulation of reactive flows involving complex chemistry is still a challenging task. The objective of this work is the development of the Hybrid Transported-Tabulated Chemistry method (HTTC), designed for the DNS/LES simulations of flames with detailed kinetic mechanisms, with an acceptable cost. This novel approach combines the transport of the main species in the flow with the tabulation of the radical species. It has been implemented in a DNS/LES code and validated on 1D methane and kerosene flames. The cost of the simulations has been considerably decreased, compared to classic detailed chemistry solvers. Then, simulations of methane edge flames, featuring large gradients of mixture fraction, have been performed with HTTC. In particular, the impact of the methods used to extend the chemical tables and to compute the control variables have been analyzed in details. A very good agreement has been found by comparison with detailed chemistry.

Résumé : Les véhicules aériens et terrestres sont constitués de systèmes bâtis complexes. La structure principale est généralement composée de panneaux légers renforcés par des éléments rigides. Cette solution de conception est répandue parce qu’elle allie la force et un faible poids. Cependant, on sait qu’elle offre des résultats vibroacoustiques médiocres, c’est à dire que l’effet des perturbations externes qui touchent le système peut générer un niveau de bruit excessif à l’intérieur de la cabine des passagers. C’est une préoccupation majeure chez les fabricants, parce que ce niveau de bruit nuit sensiblement au confort ressenti par les clients et peut causer de la fatigue chez les conducteurs et les pilotes. Pour cette raison, les composants passifs constitués de matériaux dissipatifs assemblés en mode multicouche sont généralement intégrés à la structure. Ces assemblées bordées intègrent surtout des matériaux poroélastiques, qui sont plutôt répandus, grâce à l’agencement intéressant de bonnes propriétés d’isolation sonore et de faible poids. L’intégration en amont des traitements de contrôle du bruit au processus de conception est la clé de succès d’un produit. Pour ce faire, des outils pratiques numériques en mesure de capter le comportement dynamique des systèmes vibroacoustiques impliquant les structures, les cavités et les matériaux d’insonorisation sont requis. D’une part, la modélisation de ces systèmes couplés en utilisant des procédés à base d’éléments finis peut être, bien que précis, irréalisable pour des applications pratiques. D’autre part, les approches analytiques telles que la méthode de matrice de transfert sont souvent préférées grâce à leur facilité d’utilisation, même si elles manquent de précision en raison des hypothèses rigoureuses inhérentes au cadre analytique. Dans ce contexte, les procédures de structuration hybrides sont récemment devenues très populaires. En effet, les différentes techniques de modélisation sont généralement recherchées pour décrire les systèmes vibroacoustiques complexes arbitraires sur la plus large gamme de fréquences possible. L’objectif du projet proposé est de mettre au point un cadre hybride offrant une mé- thodologie simple pour tenir compte des traitements de contrôle du bruit dans l’analyse vibroacoustique par éléments finis. A savoir, le modèle de calcul qui en découle conserve la souplesse et la précision de la méthode des éléments finis en bénéficiant de la simplicité et de l’efficacité de la méthode de matrice de transfert pour obtenir une réduction de la charge de calcul pour la modélisation de composants acoustiques passifs. La performance de la méthode pour prédire la réponse vibroacoustique de structures planes homogènes avec des traitements acoustiques attachées est évaluée. Les résultats démontrent que la méthode hybride proposée est très prometteuse, parce qu’elle permet une réduction de l’effort de calcul tout en conservant suffisamment de précision par rapport à l’analyse complète par éléments finis. En outre, la méthode de matrice de transfert proposée de modélisation des traitements de contrôle des bruits est générale, comme on peut l’appliquer dans d’autres cadres outre l’application de l’élément fini considéré dans ce travail. // Abstract : Aerial and terrestrial vehicles consist of complex built-up systems. The main structure is typically made of light panels strengthened by stiffer components. Such design solution is widely used as it combines strength and low weight. However, it is known to give poor vibroacoustic performances, i.e. the effect of external disturbances acting on the system may generate an excessive noise level inside the passengers cabin. This is a main concern for the manufacturers, as it significantly affects the comfort experienced by the costumers and may fatigue drivers and pilots. For this reason, passive components consisting of dissipative materials assembled in a multilayer fashion are typically integrated within the structure. These lined assemblies mainly involve poroelastic materials, which are commonly used thanks to the appealing combination of good noise insulation properties and low weight. The early integration of noise control treatments in the design process is the key to a successful product. For this purpose, practical numerical tools able to capture the dynamic behavior of vibroacoustic systems involving structures, cavities and noise proofing materials are demanded. On the one hand, modeling such coupled systems using finite element based methods can be, albeit accurate, time consuming for practical applications. On the other hand, analytical approaches such as the transfer matrix method are often preferred thanks to their ease of use, although they suffer from a lack of accuracy due to the stringent assumptions inherent within the analytical framework. In this context, hybrid substructuring procedures have recently become quite popular. Indeed, different modeling techniques are typically sought to describe arbitrarily complex vibroacoustic systems over the widest possible frequency range. The aim of this thesis is to devise a hybrid framework providing a simple methodology to account for noise control treatments in vibroacoustic finite element analysis. Namely, the resulting computational model retains the flexibility and accuracy of the finite element method while taking advantage from the simplicity and efficiency of the transfer matrix method to obtain a reduction of the computational burden in the modeling of passive acoustic components. The performance of the method in predicting the vibroacoustic response of flat structures with attached homogeneous acoustic treatments is assessed. The results prove that the proposed hybrid methodology is very promising, as it allows for a reduction of the computational effort while preserving enough accuracy with respect to full finite element analysis. Furthermore, the proposed transfer matrix based methodology for noise control treatments modeling is general, as it can be used in alternative frameworks besides the finite element application considered in this work.