Les véhicules modernes sont de plus en plus informatisés pour satisfaire les exigences de sureté les plus strictes et pour fournir de meilleures expériences de conduite. Par conséquent, le nombre d'unités de contrôle électronique (ECU) dans les véhicules modernes a augmenté de façon continue au cours des dernières années. En outre, les applications à calcul complexe offrent une demande de calcul plus élevée sur les ECU et ont des contraintes de temps-réel dures et souples, d'où le besoin d’une approche unifiée traitant les deux types de contraintes. Les architectures multi-cœur permettent d'intégrer plusieurs niveaux de criticité de sureté sur la même plate-forme. De telles applications ont été conçues à l'aide d'approches statiques; cependant, les approches dites statiques ne sont plus réalisables dans des environnements très dynamiques en raison de la complexité croissante et les contraintes de coûts strictes, d’où la nécessite des solutions plus souples. Cela signifie que, pour faire face aux environnements dynamiques, un système automobile doit être adaptatif; c'est-à-dire qu'il doit pouvoir adapter sa structure et / ou son comportement à l'exécution en réponse à des changements fréquents dans son environnement. Ces nouvelles exigences ne peuvent être confrontées aux approches actuelles des systèmes et logiciels automobiles. Ainsi, une nouvelle conception de l'architecture électrique / électronique (E / E) d'un véhicule doit être développé. Récemment, l'industrie automobile a convenu de changer la plate-forme AUTOSAR actuelle en "AUTOSAR Adaptive Platform". Cette plate-forme est développée par le consortium AUTOSAR en tant que couche supplémentaire de la plate-forme classique. Il s'agit d'une étude de faisabilité continue basée sur le système d'exploitation POSIX qui utilise une communication orientée service pour intégrer les applications dans le système à tout moment. L'idée principale de cette thèse est de développer de nouveaux concepts d'architecture basés sur l'adaptation pour répondre aux besoins d'une nouvelle architecture E / E pour les véhicules entièrement électriques (VEF) concernant la sureté, la fiabilité et la rentabilité, et les intégrer à AUTOSAR. Nous définissons l'architecture ASLA (Adaptive System Level in AUTOSAR), qui est un cadre qui fournit une solution adaptative pour AUTOSAR. ASLA intègre des fonctions de reconfiguration au niveau des tâches telles que l'addition, la suppression et la migration des tâches dans AUTOSAR. La principale différence entre ASLA et la plate-forme Adaptive AUTOSAR est que ASLA permet d'attribuer des fonctions à criticité mixtes sur le même ECU ainsi que des adaptations bornées temps-réel, tant dis que Adaptive AUTOSAR sépare les fonctions temps réel critiques (fonctionnant sur la plate-forme classique) des fonctions temps réel non critiques (fonctionnant sur la plate-forme adaptative). Pour évaluer la validité de notre architecture proposée, nous fournissons une implémentation prototype de notre architecture ASLA et nous évaluons sa performance à travers des expériences. / Modern vehicles have become increasingly computerized to satisfy the more strict safety requirements and to provide better driving experiences. Therefore, the number of electronic control units (ECUs) in modern vehicles has continuously increased in the last few decades. In addition, advanced applications put higher computational demand on ECUs and have both hard and soft timing constraints, hence a unified approach handling both constraints is required. Moreover, economic pressures and multi-core architectures are driving the integration of several levels of safety-criticality onto the same platform. Such applications have been traditionally designed using static approaches; however, static approaches are no longer feasible in highly dynamic environments due to increasing complexity and tight cost constraints, and more flexible solutions are required. This means that, to cope with dynamic environments, an automotive system must be adaptive; that is, it must be able to adapt its structure and/or behaviour at runtime in response to frequent changes in its environment. These new requirements cannot be faced by the current state-of-the-art approaches of automotive software systems. Instead, a new design of the overall Electric/Electronic (E/E) architecture of a vehicle needs to be developed. Recently, the automotive industry agreed upon changing the current AUTOSAR platform to the “AUTOSAR Adaptive Platform”. This platform is being developed by the AUTOSAR consortium as an additional product to the current AUTOSAR classic platform. This is an ongoing feasibility study based on the POSIX operating system and uses service-oriented communication to integrate applications into the system at any desired time. The main idea of this thesis is to develop novel architecture concepts based on adaptation to address the needs of a new E/E architecture for Fully Electric Vehicles (FEVs) regarding safety, reliability and cost-efficiency, and integrate these in AUTOSAR. We define the ASLA (Adaptive System Level in AUTOSAR) architecture, which is a framework that provides an adaptive solution for AUTOSAR. ASLA incorporates tasks-level reconfiguration features such as addition, deletion and migration of tasks in AUTOSAR. The main difference between ASLA and the Adaptive AUTOSAR platform is that ASLA enables the allocation of mixed critical functions on the same ECU as well as time-bound adaptations while adaptive AUTOSAR separates critical, hard real-time functions (running on the classic platform) from non-critical/soft-real-time functions (running on the adaptive platform). To assess the validity of our proposed architecture, we provide an early prototype implementation of ASLA and evaluate its performance through experiments.

La presente recherche doctorale en analyse numerique (et calcul scientifique) aborde le probleme du controle de la dissipation d'entropie numerique associee a une discretisation donnee. Cette problematique constitue un veritable challenge numerique non encore completement resolu a ce jour.<br /><br />Le travail se decompose en deux parties principales dont les caracteristiques sont reellement differentes.<br /><br />La premiere partie concerne l'approximation numerique des solutions (instationnaires en 1D et stationnaires en 2D) du systeme des equations de Navier-Stokes a plusieurs pressions independantes. Ce systeme est hyperbolique et possede des champs vraiment non lineaires sous des hypotheses classiques, mais s'ecrit naturellement sous forme non conservative.<br /><br />La deuxieme partie est dediee a l'approximation numerique des solutions instationnaires en 1D de quelques systemes de lois de conservation de type soit hyperbolique mais dont les champs possedent un defaut de vraiment non linearite, ou soit mixte hyperbolique-elliptique.<br /><br />Dans toutes ces situations motivees par des applications physiques concretes, le controle de la dissipation d'entropie joue un role déterminant dans la caracterisation des solutions recherchees. Les schemas numeriques proposes dans ce manuscrit sont obtenus par une analyse fine des bilans d'entropie associes.

Cette thèse a pour but l'étude de la propriété de platitude sur des modèles bond graphs (BGs) non linéaires et de contribuer à la résolution des problèmes rencontrés en pratique qui sont liés principalement à l'identification des sorties plates et le calcul de la paramétrisation différentielle. <br />Pour atteindre cet objectif, de nouveaux concepts et outils graphiques ont été introduits. En particulier, grâce à l'introduction de la notion de modèle BG tangent ou variationnel à l'aide de l'utilisation des différentielles de Kähler, il est possible de calculer les sorties plates d'un modèle BG non linéaire par intégration des bases du module qui lui est associé.<br />Par ailleurs, en définissant la notion d'anneau BG non commutatif, une nouvelle règle de gain connue sous le nom de "règle de Riegle" est introduite en BG. En montrant alors qu'un modèle BG variationnel est un cas particulier d'anneau BG non commutatif, l'obtention graphique de la paramétrisation différentielle en utilisant la règle de Riegle et la notion de bicausalité est rendue possible.<br />Enfin, pour aller plus loin dans l'introduction de l'outil d'algèbre et de modules différentiels aux BGs, le cas des modèles BGs non linéaires régis par des équations différentielles polynômiales a été abordé. Dans ce contexte, le BG permet de faire une analyse directe des propriétés principales du système telles que le choix des variables d'entrée, les dynamiques correspondant à un choix d'entrée, le calcul des degrés de transcendance (non différentiel) différentiel, etc. à partir de son modèle BG associé. Il est également montré que la règle graphique de Riegle peut être étendue à cette classe de modèles BGs.

Dans le but de clarifier les aspects dynamiques des modèles galactiques triaxiaux, le potentiel logarithmique est étudié a travers la méthode d'analyse en fréquence. Les caractéristiques dynamiques principales du système sont présentées en utilisant le formalisme hamiltonien approprié. Afin de comparer cette nouvelle approche avec des études précédentes, la méthode est appliquée a la version axisymétrique du potentiel. La précision de la méthode est démontrée a travers des techniques de perturbation et des transformations numériques en variables action-angle. En outre, la construction des applications fréquence pour plusieurs valeurs du paramètre de perturbation permet de fournir une vision globale de la dynamique du potentiel plan. Les zones chaotiques, les résonances importantes ainsi que les orbites périodiques sont détectées. La méthode est appliquée ensuite a la version tridimensionnelle du potentiel logarithmique. Les approximations quasi-périodiques fournies par la méthode permettent de clarifier la dynamique des types d'orbites principales et leur connexion avec des perturbations du hamiltonien général. Tous les détails fins de la dynamique, qui sont associés a l'addition du troisième degré de liberté, sont représentés dans les applications fréquence complètes, des images instantanées du réseau d'Arnold (''Arnol'd web'') du système. Ainsi, nous pouvons visualiser l'étendu des zones chaotiques et l'influence des lignes résonantes dans l'espace physique du système. Cette approche révèle plusieurs caractéristiques dynamiques inconnues des potentiels galactiques triaxiaux et indique que le chaos doit être une caractéristique importante des configurations triaxiales. Nous discutons finalement l'influence de ces résultats sur la construction des modèles galactiques auto-consistants.

Les convertisseurs de puissance multicellulaires trouvent une place privilégiée dans le contrôle des systèmes de très forte puissance. Dans ce travail de thèse une nouvelle classe de convertisseurs de puissance est étudiée les Convertisseurs Multicellulaires Parallèles (CMP). La topologie de ces convertisseurs repose sur une association de n cellules de commutationinterconnectées par l'intermédiaire d'inductances indépendantes, appelées aussiinductances de liaison. Le CMP permet d'atteindre un courant de sortie égal à n fois le courant d'entrée du convertisseur, l'inconvénient majeur de ce type de convertisseur est le déséquilibrage des courants de branches . Dans le but de réduire et d'économiser le nombre de capteurs, nous avons proposé dans la première partie de la thèse une analyse d'observabilité spécifique à une classe de système dynamique hybride appelée Z(TN)-Observability et synthétisé un observateur hybride en utilisant l'algorithme super twisting. La deuxièmepartie du travail a été consacrée à la synthèse d'une loi de commande pour la régulation des courants de branches. En effet, le régulateur proposé est un régulateur hybride en basant sur la modélisation par réseaux de pétri de l'algorithme de contrôle. Enfin, Les deux parties théoriques sont suivies par une réalisation pratique d'un CMP à trois cellules de commutation pour valider les deux approches proposées. Les résultats expérimentaux nous ont montré les performances de l'observateur et le régulateur de courant et de tension de sortie. / This study deals with observability problems and control of the parallel multicell chopper. In the area of strong currents with high switching frequencies, new structures based on the combination of components have been developed. This type of chopper is a DC/DC static power converter which has an output current equals to n (n is the number of cells) times the source current. After recalling the dynamical equations of the converter, its hybrid dynamical behaviour and properties are highlighted. This particular hybrid system induces new and difficult observability problems, such problem can be tackled by a new observability concept [the Z(TN)-observability]. However, for a large number of switching cells in parallel, the complexity of the system makes it impossible to predict the transient behaviour of the converter and therefore all predimensioning. The main disadvantage of this type of converter is the imbalance branches of current with increasing number of cells. Therefore modelling and control with Petri net is proposed to solve the problems of imbalanced of currents and the voltage output regulation with variation of the load. The authors approaches are attested by several numerical simulations and experimental results considering noisy measurements and load variations.

L'examen des systèmes financiers publics des États de l'UEMOA a permis de constater que ces systèmes ont évolué dans le contexte contemporain de la nouvelle gouvernance financière publique. Le souci de la transparence, de la sincérité, de la responsabilité et de l'efficacité, principes cardinaux de la nouvelle gouvernance financière publique, a permis aux États de l'UEMOA sous l'égide de la Commission communautaire de renouveler les bases normatives et institutionnelles de leurs systèmes financiers publics. Les nouvelles normes introduisent une gestion financière publique axée sur les résultats avec une plus grande responsabilisation des acteurs. Elles confortent la suprématie budgétaire du Ministre des finances tout en investissant la direction du budget d'un rôle d'avant-gardiste programmatique en matière budgétaire et le contrôle financier d'une fonction d'évaluation de la dépense publique. Elles ont mis en perspective l'action du Parlement et des juridictions des comptes des États qui doivent mettre la veille à l'efficacité de la dépense publique au cœur de leurs actions. La mise en œuvre des nouvelles normes financières publiques change l'architecture et la méthode d'élaboration du budget qui passe d'une approche de moyen à une approche de résultat. Un ensemble de technicité et de rigueur entour désormais l'élaboration du budget dont les documents de programmation et les mécanismes de conception requièrent plus d'exigences. Les mécanismes et outils de pilotage de la gestion financière des États ont également changé. L'introduction de la responsabilité managériale a rendu nécessaire la mise en œuvre des outils de pilotage empruntés au secteur privé. Mais l'analyse des réalités sociologiques et des capacités internes des États révèle que la corruption, la non application délibérée des textes et l'insuffisance qualitative et quantitative des ressources humaines, matérielles et informationnelles constituent un blocage au bon fonctionnement des systèmes financiers publics. De même, au lieu d'être du "sur mesure" les nouvelles normes paraissent encore être du ''prêt à porter'' et ne tiennent pas toujours compte des réalités sociologiques des États. C'est pourquoi, la présente thèse propose de passer de l'imitation à l'innovation institutionnelle. Elle fait de la consolidation endogène des systèmes financiers publics une condition de réussite qui passe, entre autres, par l'instauration dans les États de la bisannualité budgétaire ; des profils des députés, du comité ordonnateur dans les ministères, de la responsabilisation solidaire du comptable et de l'ordonnateur et de l'instauration d'une responsabilité morale à travers l'implication de la chefferie traditionnelle et des confessions religieuses à la discipline financière. / The review of public financial systems of WAEMU (West African Economic and Monetary Union) States has shown that these systems evolved in the contemporary context of the new public financial governance. The concern for transparency, sincerity, responsibility and efficiency, the cardinal principles of the new public financial governance, allowed WAEMU States under the aegis of the Community Commission to renew the normative and institutional basis of their public financial systems. The new standards introduce a public financial management results-oriented with greater stakeholders accountability. They reinforce the budgetary supremacy of the Minister of Finance while investing the budget department of a pioneering programmatic role in budgetary matters and financial control of an evaluation function of public spending. They put into perspective the work of Parliament and the courts of accounts of States that should ensure the efficiency of public spending at the heart of their actions.The implementation of new public financial standards changes the architecture and the budgeting method that moves from a means approach to a results approach. A set of technicality and rigor now surrounds budgeting with programming documents and design mechanisms need more requirements. The mechanisms and management tools for the financial management of the States have also changed. The introduction of managerial responsibility necessitated the implementation of management tools borrowed from the private sector. But the analysis of sociological realities and internal capacities of the States reveals that corruption, not deliberate application of the texts and the qualitative and quantitative shortage of human, material and information resources are blocking the functioning of public financial systems. Similarly, instead of the "tailor" the new standards still seem to be the '' ready to wear '' and do not always reflect the sociological realities of the States. Therefore, this thesis proposes to move from imitation to institutional innovation. She makes endogenous consolidation of public financial systems a condition for success that goes by, among others, the establishment in the States of fiscal biannuality ; MPs profiles, the authorizing committee in the ministries, solidarity accountability of the accountant and of the authorizing, and establishing a moral responsibility through involvement of traditional chiefs and religious denominations discipline financial.

Beaucoup de systèmes qui ont un certain degré de désordre ont des similaritésdans leur structure: le paysage énergétique est aléatoire et il a plusieursminima locaux de l’énergie. Quand on ajoute une petite perturbation externeau système à basse temprature, il est raisonnable d’attendre que la dynamiqueconduira le système d’un minimum à l’autre, et ça donne lieu à une réponsealéatoire et saccadé. Les sautes discontinus que l’on observe sont appelésavalanches, et l’intérêt de ce travail est le calcul de leur distribution. Undes résultats est en effet le développement d’un cadre pour calculer cettedistribution dans des systèmes en dimension infinie qui peuvent être décritsavec le replica symmetry breaking. Nous appliquons les résultats à l’un desmodèles les plus simples des verres structuraux, c’est à dire les empilementsdenses de sphères molles avec répulsion harmonique, avec une déformation(shear strain) du volume comme perturbation. Nous soutenons que, quandla déformation est suffisamment petite, une portion de la distribution desavalanches devient une loi de puissance, dont l’exposant peut être directementlié au paramètre d’ordre de la brisure de symétrie de replica. Cet exposant estégalement lié à la distribution des forces de contact (au moins entre certainessphères), dont le comportement asymptotique on sais que ne dpends pasfortement de la dimension spatiale; pour cette raison nous comparons lesprdictions de champ moyen en dimension infinie avec des simulation du mêmesystème en dimension trois et, remarquablement, on trouve un bon accord.Dans le reste de la thèse nous discutons aussi les similarités avec des travauxprécédents et quelques consquences que la distribution des avalanches donnesur les propriétés élastiques de la matière granulaire dense. / Many systems that are somehow characterized by a degree of disorder sharea similar structure: the energy landscape has many sample-dependent localenergy minima. When a small external perturbation is applied to the systemat low temperature, it is reasonable to expect that the dynamics will leadthe system from a minimum to another, thus displaying a random and jerkyresponse. The discontinuous jumps that one observes are called avalanches,and the focus of this work is the computation of their distribution. Oneof the results is indeed the development of a framework that allows thecomputation of this distribution in infinite-dimensional systems that canbe described within a replica symmetry breaking ansatz. We apply theresults to one of the simplest models of structural glasses, namely densepackings of (harmonic) soft spheres, either at jamming or at larger densities,subject to a shear transformation that induces jumps both in the totalenergy and in the shear stress of the system. We argue that, when theshear strain is small enough, the avalanche distribution develops a power-lawbehavior, whose exponent can be directly related to the functional orderparameter of the replica symmetry breaking solution. This exponent is alsorelated to the distribution of contact forces (or at least of the contact forcesbetween some of the spheres), whose asymptotic behavior is known not todepend strongly on the spatial dimension; for this reason, we compare theinfinite-dimensional prediction with three dimensional simulations of thesame systems and, remarkably, we find a good agreement. In the rest of thethesis we compare our results with previous works, and we also discuss someof the consequences that the avalanche distribution lead to, concerning thestatistical elastic properties of dense granular media.

Ce travail porte sur la programmation et la verification des systemes reactifs. Il consiste dans une premiere partie en la definition d'un langage mixte imperatif/declaratif, nomme ArgoLus, fonde sur les langages synchrones Argos et Lustre. Argos est un langage imperatif a base d'automates paralleles et hierarchises. Lustre est un langage declaratif fonde sur le modele flots de donnees. Le langage ArgoLus permet de melanger au niveau source ces deux langages. La definition des traductions structurelles d'ArgoLus en Argos ou en Lustre offre deux solutions interessantes pour mettre en oeuvre ce langage, tout en profitant des environnements deja existants. Dans un deuxieme temps la semantique d'Argos en termes de graphes temporises a ete definie. Initialement, celle-ci est definie en termes de systemes de transitions etiquetees. L'inconvenient de ce modele est lie au phenomene d'explosion du nombre d'etats qui limite les possibilites de verification formelle. Une des causes de cette explosion est la presence dans les programmes de compteurs d'occurrences d'evenement. Les graphes temporises sont des automates etendus avec des compteurs de temps, dont la taille est independante des valeurs limites des compteurs du programme. Par consequent, ils sont moins sensibles au phenomene d'explosion du nombre d'etats, d'ou une amelioration des possibilites de verification formelle. De plus, il est possible grace a ce modele d'exprimer des proprietes quantitatives faisant reference au temps. Enfin, un troisieme aspect de ce travail porte sur l'utilisation pour les systemes reactifs d'outils de verification formelle, non concus exactement pour ce type de systemes.

La these concerne l'etude du controle dans un systeme integre de vision par ordinateur. La structure d'un tel systeme permet l'ajout et le retrait dynamique de traitements et de representations selon les types de scenes envisagees. Nous decomposons le probleme du controle en quatre sous-problemes definissant l'objectif a satisfaire (decision), les criteres de selection qui en decoulent (adaptation), l'action a executer en appliquant ces criteres de selection (commande) et les observations necessaires pour la resolution des sous-problemes precedents (observation). Afin d'offrir une architecture d'integration ouverte et flexible, nous utilisons une approche Multi-agents, repercutant ainsi les problemes de controle selon deux dimensions : controle individuel (interne a un agent) et controle social (gestion des interactions et de la resolution des agents). La structure de controle de chaque agent est organisee selon trois couches dediees respectivement a la resolution des problemes de decision, d'adaptation et de commande. Le controle social restreind les interactions possibles et les resolutions entreprises par chacun des agents. Des protocoles definissent l'enchainement des interactions. Ces deux notions s'inscrivent dans un modele de societe dans lequel sont aussi explicitees les trois couches resolvant les sous-problemes de controle. L'architecture proposee permet d'etudier le controle necessaire pour l'expression de modes de fonctionnement deliberatifs et reactifs au sein de chacun des agents et, d'autre part, d'integrer dynamiquement les modes de reconstruction et de reconnaissance au travers de la gestion des interactions. L'interet de cette approche est illustree au travers de realisations issues du systeme Vision As Process (VAP) developpe dans le cadre du projet Europeen BRA3038.

Les Progiciels de Gestion Intégrés (PGI) sont aujourd'hui la clef de voûte du Système d'Information de gestion de la majorité des entreprises. Ils sont considérés comme des vecteurs du changement organisationnel et censés contribuer à améliorer l'intégration organisationnelle. Il existe cependant une grande incertitude sur le bon déroulement des projets.<br /><br />En effet, les différentes remises en cause (des tâches, des métiers, du pouvoir ou de la finalité de l'entreprise) sont potentiellement sources de conflit, reflet des divergences d'intérêt et de représentation des différents acteurs concernés. Dans ces conditions, chaque décision peut être l'objet d'une négociation entre les parties prenantes, alimentant ainsi l'incertitude sur le résultat du processus de mise en place. <br /><br />L'analyse en profondeur d'un cas de mise en place d'un PGI a toutefois permis de vérifier que cette technologie permet de réaliser l'objectif d'intégration, au prix d'une réduction très forte des marges de manœuvre des acteurs. La thèse met en évidence, dans les circonstances spécifiques observées, la stratégie employée par la direction du projet et les facteurs déterminants du succès. Ainsi le PGI, associé au BPR (Business Process Reengineering), joue-t-il le rôle d'un outil de gestion aux mains des dirigeants afin de réaliser un changement organisationnel. Cette vision téléologique du changement met en avant le potentiel du PGI pour intégrer et standardiser l'organisation.