Neste projeto apresentamos algumas direções de pesquisa desenvolvidas no estudo da geometria/topologia da singularidade, no ambiente real e complexo, para funções e aplicações polinomiais. Para isso, utilizaremos as ferramentas da teoria de estratificação, técnicas de decomposição Open book, condições de regularidade no sentido Malgrange, t-regularidade, \'rho\'E-regularidade e trivialidade topológica no infinito / On this project we present some research lines developed in the study of the geometry/ topology of singularity, on the real and complex settings, for functions and polynomial mappings. For this, we use tools from stratification theory, techniques of Open Book decomposition, Malgrange regularity condition, t-regularity condition, \'rho\'E-regularity and topological triviality at infinity

This thesis covers pretty much everything about the 4’th movement of “I Ching” by Per Nørgård (“IV. Towards Completion. Fire over Water”). I have delved deep into an analysis, that helped me develop my own interpretation and understanding of the piece.  While I was doing my research, I discovered fascinating links between music and mathematics, that showed me how much we don’t know and that there are interesting subjects left for us to find. My exploration did not stop there just yet, I also found out about the “I Ching”, an ancient Chinese book, that covers a broad topic, which can be summed up in two words: Yin & Yang. This, combined with a bit of mathematics contributed to the creation of a unique vocabulary that Per Nørgård pioneered, called: “infinity series”. My thesis aim is to promote Per Nørgård’s music, that has not yet been discovered by enough percussionists.

Ce travail propose de nouvelles structures de contrôle pour la téléopération bilatérale à travers des réseaux de communication non dédiés. L'enjeu est donc de concevoir et calculer des structures de commande garantissant la stabilisation et un bon degré de performance en termes de synchronisation (suivi des positions et vitesse) et de transparence (ressenti des forces) sous les retards variables et asymétriques.Nous faisons tout d'abord un tour d'horizon des recherches récentes dans le domaine des systèmes de téléopération et de leurs caractéristiques. Puis, nous considérons des modèles linéaires à plusieurs retards variables pour lesquels nous proposons une approche d'analyse de stabilité par fonctionnelles de Lyapunov-Krasovskii et contrôle robuste H [infinity symbol . Ensuite, trois structures de téléopération seront proposées en temps continu, la comparaison de ces architectures montre que, pour un retard de réseau maximum donné ou calculé, toutes garantissent un suivi de position et vitesse. Les deux dernières, qui utilisent les forces mesurées ou estimées de l'opérateur humain et de l'environnement, garantissent de plus un suivi en force. Au final, la troisième structure (avec proxy) présente la meilleure performance, même si elle demande un peu plus de calcul. Puis, afin d'analyser et d'améliorer les performances de la troisième structure pour des modèles encore plus réalistes, une étude est menée en temps discret, mais aussi sur un modèle non linéaire ou non stationnaire sous perturbations bornées en norme. L'implantation sur la plate-forme est décrite dans un quatrième et dernier chapitre, et puis l'analyse des résultats expérimentaux est alors menée

Currently, renewable energy sources are the main driver for future electricity generation. This trend is growing faster in the developed countries in order to reduce the green house effect and also in response to the limited supply of oil, gas and coal which are currently the major sources for electric generation. For example, the main renewable energy sources are from wind energy and solar energy but these energies are only available to those countries that are exposed to these resources. In this thesis an alternative energy source is investigated where it can be generated from the moving objects or in form of kinetic energy. The idea is to convert the kinetic energy during landing aircraft into electrical energy which it can also be stored and transferred to the existing electrical network. To convert this kinetic energy to electrical energy, the linear generator (LG) and uncontrolled rectifier have been used for energy conversion. The LG have been modelled in 3-phase model or in dq model and combined with the diode rectifier that is used to generate the dc signal outputs. Due to the uncontrolled rectifier the electrical outputs will have decaying amplitude along the landing time. This condition also happen to the LG outputs such as the force and the power output. In order to control these outputs the cascaded buck-boost converter has been used. This converter is responsible to control the output current at the rectifier and also the LG output power during landing to more controllable power output. Here, the H∞ current control strategy has been used as it offers a very good performance for current tracking and to increase the robustness of the controller. During landing, huge power is produced at the beginning and when the landing time is increased, the generated input power from LG is reduced to zero. Due to this, the energy storage that consists of ultracapacitor, bidirectional converter and boost converter are used in order to store and to release the energy depends on the input power source and load grid power. The voltage proportional-integral (PI) control strategy has been used for both the converters. The last part is to transfer the energy from the source and at the ultracapacitor to the load by using the inverter as the processing device. The power controller and current controller are used at the inverter in order to control the power ?ow between the inverter and the grid. This is when the reference power is determined by the load power in order to generate the reference currents by using the voltage oriented controller (VOC), while the H∞ current controller is used to regulate the inverter currents in order to inject the suitable amount of current that refer to the load power. Finally, a complete energy recovery system for landing aircraft with the grid connection have been put together to make the whole system to be as a new renewable energy source for the future electricity generation.

The thesis deals with the struggle for the Eternal and the Infinite in the works of Kierkegaard and Patočka. It starts with their respective concepts of existence. Based on them, positive and negative aspects of the relation of existence and transcendence are described. The main guiding principle of the description is the movement of the infinite resignation and the movement of the faith in Fear and Trembling, which is compared with the de-objectifying and all-founding force of the Idea in Negative platonism. It turns out that in the relation between existence and transcendence, one can discern the two basic meanings of the transcendent reality. These meanings, together with the positive and negative aspects of the relation of existence to transcendence, form the dialectic of positive and negative, in which the struggle for the Eternal nad the Infinite is set, as well as the struggle for an authentic human existence.

Ce travail de thèse porte, en premier lieu et principalement, sur le diagnostic à base de modèle d’une classe de SLC (Systèmes Linéaires à Commutations). Une problématique récurrente dans ce type de problème concerne la prise en considération de façon explicite les deux aspects, continu et discret, constituant un SLC. Dans ce cadre, nous avons proposé une méthodologie de détection et de localisation de défauts qui combine les outils initialement dédiés au diagnostic des systèmes continus et d’autres spécifiques aux SED (Systèmes à Evénement Discrets). L’approche proposée est conçue autour de trois modules : deux types de générateurs de résidus (issus de l’Automatique continue) et un estimateur en-ligne de l’état discret, appelé diagnostiqueur (issu de l’Automatique événementielle). Notre diagnostiqueur utilise les deux types de résidus, provenant de la partie continue, afin d’identifier le mode de fonctionnement du SLC et d’isoler les défauts de capteurs. Les résidus utilisés pour la localisation des défauts de capteurs sont générés à travers un générateur développé autour d’un schéma DOS (Dedicated Observer Scheme) à base d’observateurs hybrides,à la fois robustes vis-à-vis des entrées inconnues et sensibles aux défauts de capteurs. En second lieu, sur la base des résultats obtenus à l’aide de l’approche de diagnostic développée, nous avons proposé une approche préliminaire de synthèse de lois de commande tolérantes aux défauts de capteurs stabilisante via un retour d’état. Cette approche permet de préserver les performances nominales du système (situation non défaillante)en présence d’un défaut de capteurs. L’idée consiste à reconfigurer le retour d’état en remplaçant le vecteur d’état estimé à partir d’une sortie en défaut par un autre estimé à partir d’une sortie saine. La redondance des estimations est assurée dans cette approche par un banc d’observateurs hybrides robustes qui fournit plusieurs estimations correctes des vecteurs d’état et de sorties. / This thesis focuses, in first and foremost, on the model-based diagnosis of a class of SLC (Switched Linear Systems). The basic idea is to consider the continuous and discrete aspects, forming an SLC, explicitly.In this context, we proposed a methodology for detecting and locating faults that combines the tools originally dedicated to the continuous systems and the DES (discrete event systems) diagnosis. The proposed approach is designed around three modules: two types of residual generators (from the continuous Automatic) and anon-line estimator of the discrete state, called diagnoser (from the event Automatic). Our diagnoser uses the residual generators issue from the continuous part to identify the SLC mode and isolate sensor faults.Residues used for fault location sensors are generated through a generator developed around a scheme DOS(Dedicated Observer Scheme) based on hybrid observers. These observers are robust vis-à-vis the unknown input and sensitive to sensor faults. Secondly, based on the obtained results using the previous diagnosis approach, we proposed a preliminary approach for fault-tolerant state-feedback control law synthesis. This approach preserves the nominal performance of the system (as non-defaulting) in the presence of defective sensors. The idea is to reconfigure the state feedback by replacing the state vector estimated from defected output by another estimated from non-defected one. Redundancy estimates is provided in this approach by a bank of robust hybrid observer that provides several accurate estimates of state vectors and outputs.

On dit qu'une variété est feuilletée lorsqu'il existe une partition de celle-ci en sous-variétés immergées. La théorie des feuilletages a des applications très profondes dans divers champs des Mathématiques et de la Physique, et il semble d'autant plus intéressant de pouvoir analyser le feuilletage à partir de ce qui semble être une donnée plus fondamentale : sa distribution de champs de vecteurs associée. C'est ainsi que nous avons observé que si le feuilletage est résolu par un fibré gradué, on peut relever le crochet de Lie des champs de vecteurs en une structure de Lie infini-algébroide sur ce fibré. D'autre part, cette structure est universelle dans le sens où toute autre résolution du feuilletage sera isomorphe à celle-ci dans un sens L_infini, mais seulement à homotopie près. Lorsqu'on se limite à l'étude au dessus d'un point, on observe que la cohomologie associée à la résolution devient potentiellement non triviale. La structure de Lie infini-algébroide universelle se réduit alors à une algèbre de Lie graduée sur cette cohomologie. Cette structure algébrique peut être transportée (non canoniquement) tout le long de la feuille, transformant la cohomologie au dessus d'une feuille en algébroide de Lie gradué. Cela nous permet de retrouver des résultats déjà connus par ailleurs et de déduire des avancées prometteuses / A smooth manifold is said to be foliated when it is partitioned into immersed submanifolds. Foliation Theory has profound applications in various fields of Mathematics and Physics, and it seems much more interesting to analyze the foliation from what seems to be a more fundamental point of view: its associated distribution of vector fields. Thus we have noticed that if the foliation is resolved by a graded fiber bundle, one can lift the Lie bracket of vector fields into a Lie infinity-algebroid structure on this fiber bundle. Moreover, this structure is universal in the sense that any other resolution of the foliation is isomorphic to it in the L_infinity setup, but only up to homotopy. When one restricts the analysis over a point, we observe that the cohomology associated to the resolution may become non trivial. The universal Lie infinity-algebroid structure hence reduces to a graded Lie algebra structure on this cohomology. This algebraic structure can be carried (non canonically) along the leaf, providing the cohomology over a leaf with a graded Lie algebroid structure. This enables us to retrieve former well-known results, as well as promising advances

Ce travail montre l'unité de l'œuvre de Pascal dans ce qui concerne la « comparabilité des incomparables » : la comparaison, langagière ou mathématique, qui se fait entre des choses qui ne pourraient pas en principe être rapprochées. Il s'agit de faire une approche historique et linguistique pour poser des questions philosophiques par rapport à la comparaison, notamment sur le rôle de principe que l'infini y joue selon Pascal. Nous identifions la comparaison des incomparables sous trois formes.La première partie de ce travail est consacrée à formuler une forme rhétorique d'analogie que nous nommons l'« analogie de disproportion » (nous inspirant de Secretan 1998). Si l'analogie est généralement dite faire une comparaison entre deux rapports, chacun desquels existe entre des choses homogènes, l'analogie de disproportion permet en revanche de montrer une ressemblance entre des rapports d'hétérogénéité, entre des disproportions ou entre des distances infinies: deux choses sont aussi différentes entre elles que deux autres. Pascal étant un auteur qui souligne surtout les disproportions, nous montrons qu'il compare ces disproportions, notamment pour délimiter à l'homme ce qu'il ne peut pas connaître parfaitement.La deuxième partie analyse la pratique mathématique de Pascal « en poids, nombre et mesure » : il s'agit de montrer que dans la méthode des indivisibles des Lettres de A. Dettonville, dans le Traité du triangle arithmétique et dans la comparaison du courbe et du droit, toujours l'infini (ou plutôt l'indéfini) intervient comme un facteur qui permet la comparabilité de ce qui semblait être incomparable. La troisième partie fait une discussion proprement philosophique sur l'infiniment petit et l'infiniment grand, prenant en compte la pratique mathématique de Pascal analysée dans la deuxième partie. Il est question de discuter sur la nature des « indivisibles », des « différences » et des « distances infinies ». Nous proposons que l'« infini » dans la pratique mathématique de Pascal relève plutôt de l'« indéfini », reliant cela à une distinction entre le sens absolu et le sens relatif des mots. Une exception dans la pratique mathématique de Pascal est la géométrie projective, où il faut accepter des éléments à distance infinie. La « rencontre » des deux infinis, finalement, permet de montrer la réciprocité de l'infini de grandeur et de l'infini de petitesse. Une discussion est faite à ce propos, reliant la proportion inverse entre les deux infinis à la grandeur et la petitesse de l'homme et au caractère paradoxal de certaines vérités selon Pascal, lesquelles sont résolues dans la personne du Christ. On conclut que Pascal propose non pas une connaissance directe de l'infini, mais plutôt une approche à la relation que l'homme, être fini, possède avec l'infini / This thesis shows the unity of Pascal's work in what concerns the "comparability of incomparables'': the comparison, either in mathematics our natural language, between things which could not in principle be brought together. The approach is both a historical and a linguistic one, and it aims to recovery some important questions regarding the philosophical nature of comparisons, more specifically, the role of the infinite in Pascal's thought. The comparison of incomparables may be identified in three different formsIn the first part, we formulate a rhetorical form of analogy that we call an "analogy of disproportion'' (inspired by Secretan 1998). If the analogy is generally said to make a comparison between two relations, each of which exists between homogeneous things, the analogy of disproportion, on the other hand, shows a resemblance between relations of heterogeneity, between disproportions or between infinite distances: two things may be as different from each other as any two other things. Even if disproportions are a central theme to Pascal, he did not shy away of comparing such disproportions -- in particular to delimit what man cannot know perfectly.The second part analyzes the mathematical practice of Pascal "in weight, number and measure'': it is necessary to show that in the method of indivisibles of the Lettres de A. Dettonville, in the Traité du Triangle Arithmétique and in the comparison of the curved and the straight lines, always the infinite (or rather the indefinite) intervenes as a factor that allows the comparability of what would seem to be incomparable. The third part makes a philosophical discussion on the infinitely small and the infinitely large, taking into account Pascal's mathematical practice, which was analyzed in the second part. We discuss the nature of "indivisibles'', "differences'' and "infinite distances''. We suggest that the "infinite'' in Pascal's mathematical practice is rather an "indefinite'', linking it to a distinction between the absolute and the relative meaning of words. An exception in Pascal's mathematical practice is his projective geometry, where it is necessary to accept elements at an infinite distance. The "encounter'' of the two infinites makes it possible to show the reciprocity of the infinity of greatness and the infinity of smallness. Finally, we analyze the inverse proportionality between the two infinites with regard to the greatness and the wretchedness of man and to the paradoxical nature of certain truths according to Pascal, which are concealed in the person of the Christ. The conclusion is that Pascal arrives not at a direct knowledge of the infinite, but to an approach to the relation that man, a finite being, has with the infinite

<p>Asymptotically flat spaces are widely studied because it is one natural way of describing an isolated system in general relativity. In this thesis we study what happens to the Lanczos potential at spacelike infinity in such spacetimes. By transformations of the Weyl-Lanczos equation, we derive expressions for the limiting equations on both the timelike unit hyperboloid, and the timelike unit cylinder. Finally the Newman-Penrose formalism is used to get a component version of the equations.</p>

Asymptotically flat spaces are widely studied because it is one natural way of describing an isolated system in general relativity. In this thesis we study what happens to the Lanczos potential at spacelike infinity in such spacetimes. By transformations of the Weyl-Lanczos equation, we derive expressions for the limiting equations on both the timelike unit hyperboloid, and the timelike unit cylinder. Finally the Newman-Penrose formalism is used to get a component version of the equations.