Spelling suggestions: "subject:"infini"" "subject:"unfini""
71 |
Mallarmé : les plis et déplis du hasard à la recherche de l’infini : poésie, philosophie et politique / Mallarmé : folding and unfolding chance in search of infinite : Poetry, philosophy and politicsDrigo Agostinho, Larissa 23 January 2015 (has links)
Pour saisir l’importance et le champ d’action du hasard dans la poésie mallarméenne, nous allons procéder selon une démarche triple, recomposer l’histoire politique, poétique et philosophique qui a rendu possible l’apparition et l’instauration du hasard comme événement, à la fois révolutionnaire, créateur et conceptuel. À partir de Baudelaire, la poésie chante les révolutions échouées, mais pour maintenir vivant le désir d’un monde différent. Le hasard dans ce contexte est d’abord l’irruption imprévisible, fulgurante et éphémère d’un désir qui ne trouve pas un espace propre à l’intérieur de la vie sociale, Pour maintenir vivant et vivace le rêve d’un monde différent, la poésie doit : fournir la preuve que son action, tout en étant restreinte, compte ; faire durer un hasard voué à l’évanouissement, en constituant un espace où il puisse demeurer, se multiplier et ainsi retrouver la consistance qui le fera durer. Faire durer le hasard à l’origine de toute nouveauté, c’est la tâche que Mallarmé attribue à sa poésie. Sur le plan philosophique, cette démarche requiert une critique radicale de la raison et de la représentation. Dans ce contexte, Mallarmé a non seulement annoncé le hasard, mais il a cherché à découvrir la logique de ce qui échappe à la raison en composant une oeuvre capable de rendre réel, visible et intelligible, la puissance imprévisible et inépuisable que le hasard enserre. / The purpose of this work is to comprehend the importance and scope of chance in the poetry of Mallarmé. In order to do that, we will proceed according to a three-pronged approach; recompose the political, poetic and philosophical context that made possible the emergence and establishment of chance as an event both revolutionary, creative and conceptual. Since Baudelaire, poetry sings the failed revolutions, but willing to preserve the desire for a different world. Chance in this context is the unpredictable bursts, lightning and transient of a desire that can not find its place within the social life, to keep alive and vivid the dream of a different world, poetry must: provide evidence that its action, even restricted, counts; make last chance doomed to fade, constituting a space where it can remain, multiply itself and thus find the consistency to remain. Prolonging a contingency that creates novelty is the task that Mallarmé attributes to his poetry. Philosophically, this approach requires a radical critique of reason and representation. In this context, Mallarmé has not only announced chance, but he sought to discover the logic of what escapes from reason composing a work capable of making real, visible and intelligible, the unpredictable and inexhaustible power that chance grips.
|
72 |
Réécriture d’arbres de piles et traces de systèmes à compteurs / Ground stack tree rewriting and traces of counter systemsPenelle, Vincent 20 November 2015 (has links)
Dans cette thèse, nous nous attachons à étudier des classes de graphes infinis et leurs propriétés, Notamment celles de vérification de modèles, d'accessibilité et de langages reconnus.Nous définissons une notion d'arbres de piles ainsi qu'une notion liée de réécriture suffixe, permettant d'étendre à la fois les automates à piles d'ordre supérieur et la réécriture suffixe d'arbres de manière minimale. Nous définissons également une notion de reconnaissabilité sur les ensembles d'opérations à l'aide d'automates qui induit une notion de reconnaissabilité sur les ensembles d'arbres de piles et une notion de normalisation des ensembles reconnaissables d'opérations analogues à celles existant sur les automates à pile d'ordre supérieur. Nous montrons que les graphes définis par ces systèmes de réécriture suffixe d'arbres de piles possèdent une FO-théorie décidable, en montrant que ces graphes peuvent être obtenu par une interprétation à ensembles finis depuis un graphe de la hiérarchie à piles.Nous nous intéressons également au problème d'algébricité des langages de traces des systèmes à compteurs et au problème lié de la stratifiabilité d'un ensemble semi-linéaire. Nous montrons que dans le cas des polyèdres d'entiers, le problème de stratifiabilité est décidable et possède une complexité coNP-complète. Ce résultat nous permet ensuite de montrer que le problème d'algébricité des traces de systèmes à compteurs plats est décidable et coNP-complet. Nous donnons également une nouvelle preuve de la décidabilité des langages de traces des systèmes d'addition de vecteurs, préalablement étudié par Schwer / In this thesis, we study classes of infinite graphs and their properties,especially the model-checking problem, the accessibility problem and therecognised languages.We define a notion of stack trees, and a related notionof ground rewriting, which is an extension of both higher-order pushdownautomata and ground tree rewriting systems. We also define a notion ofrecognisability on the sets of ground rewriting operations through operationautomata. This notion induces a notion of recognisability over sets of stacktrees and a normalisation of recognisable sets of operations, similar to theknown notions over higher-order pushdown automata. We show that the graphsdefined by these ground stack tree rewriting systems have a decidableFO-theory, by exhibiting a finite set interpretation from a graph defined bya higher-order automaton to a graph defined by a ground stack tree rewritingsystem.We also consider the context-freeness problem for counter systems, andthe related problem of stratifiability of semi-linear sets. We prove thedecidability of the stratifiability problem for integral polyhedra and that itis coNP-complete. We use this result to show that the context-freeness problemfor flat counter systems is as well coNP-complete. Finally, we give a new proofof the decidability of the context-freeness problem for vector additionsystems, previously studied by Schwer
|
73 |
Dynamique topologique sur les surfaces : gros groupe modulaire & classes de Brouwer / Topological dynamics on surfaces : big mapping class group and Brouwer classesBavard, Juliette 09 December 2015 (has links)
On étudie le groupe modulaire G du plan privé d'un ensemble de Cantor et les classes de Brouwer du groupe modulaire du plan privé de Z. Ces objets apparaîssent naturellement en dynamique topologique sur les surfaces. Dans le premier chapitre, on s'intéresse au groupe G et à son action sur le graphe des rayons, qui est un analogue déni par Danny Calegari du complexe des courbes pour le plan privé d'un ensemble de Cantor. En particulier, on montre que ce graphe est de diamètre infini et hyperbolique. On utilise ensuite l'action de G sur ce graphe hyperbolique pour exhiber un quasi-morphisme non trivial explicite sur G et pour montrer que le deuxième groupe de cohomologie bornée de G est dedimension infinie. Enfin, on donne un exemple d'un élément hyperbolique de G dont la longueur stable des commutateurs est nulle. Dans le second chapitre, on développe de nouveaux outils pour la théorie de Brouwer homotopique. En particulier, on décrit un ensemble canonique de droites de réduction, l'ensemble des murs, qui sépare le plan en zones de translation maximales et en zones irréductibles. On se restreint ensuite au cas des classes de Brouwer relativement à quatre orbites, et on les décrit explicitement en ajoutant au diagramme de Handel et à l'ensemble des murs un emmêlement, qui est essentiellement une classe d'isotopie de courbes sur le cylindre privé de deux points. / We study the mapping class group G of the complement of a Cantor set in the plane and the Brouwer mapping classes of the mapping class group of the complement of Z in the plane. These objects arise naturally in topological dynamics on surfaces. In the first chapter, we study the group G and its action on the ray graph, which is the analog dened by Danny Calegari of the complex of curves for the complement of a Cantor set in the plane. In particular, we show that this graph has infinite diameter and is hyperbolic. We use the action of G on this graph to find an explicit non trivial quasimorphism on G and to show that this group has infinite dimensional second bounded cohomology. We give an example of a hyperbolic element of G with vanishing stable commutator length. In the second chapter, we give new tools for homotopy Brouwer theory. In particular, we describe a canonical reducing set, the set of "walls", which splits the plane into maximal translation areas and irreducible areas. We then focus on Brouwer mapping classes relatively to four orbits and describe them explicitly by adding to Handel's diagram and to the set of walls a "tangle", which is essentially an isotopy class of simple closed curves in the cylinder minus two points.
|
74 |
Contrôle optimal en temps discret et en horizon infini / Optimal control in discrete-time framework and in infinite horizonNgo, Thoi-Nhan 21 November 2016 (has links)
Cette thèse contient des contributions originales à la théorie du Contrôle Optimal en temps discret et en horizon infini du point de vue de Pontryagin. Il y a 5 chapitres dans cette thèse. Dans le chapitre 1, nous rappelons des résultats préliminaires sur les espaces de suites à valeur dans et des résultats de Calcul Différentiel. Dans le chapitre 2, nous étudions le problème de Contrôle Optimal, en temps discret et en horizon infini avec la contrainte asymptotique et avec le système autonome. En utilisant la structure d'espace affine de Banach de l'ensemble des suites convergentes vers 0, et la structure d'espace vectoriel de Banach de l'ensemble des suites bornées, nous traduisons ce problème en un problème d'optimisation statique dam des espaces de Banach. Après avoir établi des résultats originaux sur les opérateurs de Nemytskii sur les espaces de suites et après avoir adapté à notre problème un théorème d'existence de multiplicateurs, nous établissons un nouveau principe de Pontryagin faible pour notre problème. Dans le chapitre 3, nous établissons un principe de Pontryagin fort pour les problèmes considérés au chapitre 2 en utilisant un résultat de Ioffe-Tihomirov. Le chapitre 4 est consacré aux problèmes de Contrôle Optimal, en temps discret et en horizon infini, généraux avec plusieurs critères différents. La méthode utilisée est celle de la réduction à l'horizon fini, initiée par J. Blot et H. Chebbi en 2000. Les problèmes considérés sont gouvernés par des équations aux différences ou des inéquations aux différences. Un nouveau principe de Pontryagin faible est établi en utilisant un résultat récent de J. Blot sur les multiplicateurs à la Fritz John. Le chapitre 5 est consacré aux problèmes multicritères de Contrôle Optimal en temps discret et en horizon infini. De nouveaux principes de Pontryagin faibles et forts sont établis, là-aussi en utilisant des résultats récents d'optimisation, sous des hypothèses plus faibles que celles des résultats existants. / This thesis contains original contributions to the optimal control theory in the discrete-time framework and in infinite horizon following the viewpoint of Pontryagin. There are 5 chapters in this thesis. In Chapter 1, we recall preliminary results on sequence spaces and on differential calculus in normed linear space. In Chapter 2, we study a single-objective optimal control problem in discrete-time framework and in infinite horizon with an asymptotic constraint and with autonomous system. We use an approach of functional analytic for this problem after translating it into the form of an optimization problem in Banach (sequence) spaces. Then a weak Pontyagin principle is established for this problem by using a classical multiplier rule in Banach spaces. In Chapter 3, we establish a strong Pontryagin principle for the problems considered in Chapter 2 using a result of Ioffe and Tihomirov. Chapter 4 is devoted to the problems of Optimal Control, in discrete time framework and in infinite horizon, which are more general with several different criteria. The used method is the reduction to finite-horizon initiated by J. Blot and H. Chebbi in 2000. The considered problems are governed by difference equations or difference inequations. A new weak Pontryagin principle is established using a recent result of J. Blot on the Fritz John multipliers. Chapter 5 deals with the multicriteria optimal control problems in discrete time framework and infinite horizon. New weak and strong Pontryagin principles are established, again using recent optimization results, under lighter assumptions than existing ones.
|
75 |
About E-infinity-structures in L-algebras / Sur les E-infini-structures dans les L-algèbresSánchez, Jesús 06 December 2016 (has links)
Dans cette thèse nous rappelons la notion de L-algèbre, qui a pour objet d'être un modèle algébrique des types d'homotopie. L'objectif principal de cette thèse est la description d'une structure de E-infini-coalgèbre sur l'élément principal d'une L-algèbre. Ceci peut être vu comme une généralisation de la structure de E-infini-coalgèbre sur le complexe des chaînes d'un ensemble simplicial, telle que décrite par Smith dans Iterating the cobar construction, 1994. Nous construisons une E-infini-opérade, notée K, utilisée pour construire la E-infini-coalgèbre sur l'élément principal d'une L-algèbre. Cette structure de E-infini-coalgèbre montre que la L-algèbre canoniquement associée à un ensemble simplicial contient au moins autant d'information homotopique que la E-infini-coalgèbre couramment associée à un ensemble simplicial / In this thesis we recall the notion of L-algebra. L-algebras are intended as algebraic models for homotopy types. L-algebras were introduced by Alain Prouté in several talks since the eighties. The principal objective of this thesis is the description of an E-infinity-coalgebra structure on the main element of an L-algebra. This can be seen as a generalization of the E-infinity-coalgebra structure on the chain complex associated to a simplicial set given by Smith in Iterating the cobar construction, 1994. We construct an E-inifity-operad, denoted K, used to construct the E-inifity-coalgebra on the main element of a L-algebra. This E-inifity-coalgebra structure shows that the canonical L-algebra associated to a simplicial set contains at least as much homotopy information as the E-inifity-coalgebras usually associated to simplicial sets.
|
76 |
Kac-Moody Algebras in M-theory / Kac-Moody algebras in M-theoryDe Buyl, Sophie 16 June 2006 (has links)
Ma thèse s'inscrit dans le cadre de l'unification des interactions fondamentales, dans lequel la théorie quantique de la gravitation devrait trouver une formulation cohérente. La piste la plus prometteuse dans cette voie semble être celle de la théorie M dont le groupe de symétrie a été conjecturé être le groupe de Kac-Moody. Diverses indications reliant cette théorie à des algèbres de Kac-Moody de type g++ proviennent de l’étude des théories de la gravitation couplée à des p-formes et des dilatons. En particulier, la dynamique du champs de gravitation à l’approche d’une singularité de type espace est contrôlée par le groupe de Weyl de ces algèbres (et interprétée comme le mouvement d’une particule libre sans masse sur un billard). <p><p>Nous avons étudié la limite BKL dans le contexte des cosmologies homogènes en terme de billard einsteiniens. Notre analyse confirme la restauration du comportement chaotique du champ gravitationnel lorsque la métrique est non – diagonale, en toutes les dimensions D d’espace-temps telles que 4<D<11. Des sous - algèbres infini - dimensionnelles des algèbres g++ apparaissent naturellement dans ce cadre. <p><p>En utilisant les propriétés des billards, nous avons déterminé la dimension maximale ainsi que le contenu en champs des théories de la gravitation qui, en D=3, se réduisent à la gravité couplée à une réalisation non linéaire du quotient G/K où G est un groupe de Lie simple non maximalement déployé et K son sous-groupe compact maximal. <p><p>Les billards peuvent être de volume fini ou infini. Dans ce dernier cas, la dynamique asymptotique du champ de gravitation (et des dilatons) est chaotique. Si le billard est identifiable à la chambre fondamentale de Weyl d’une algèbre de Kac-Moody, le critère pour que la dynamique asymptotique soit chaotique est que l’algèbre de Kac-Moody soit hyperbolique. Nous avons identifié toutes les algèbres hyperboliques résultant d’une théorie de la gravitation couplée à des p-formes et des dilatons. Pour chacune de ces algèbres, nous avons écrit un Lagrangien en dimension maximale. <p><p>On obtient des actions explicitement invariantes sous les groupes de Kac-Moody G++ (ou G+++) en copiant les modèles sigma décrivant un mouvement géodésique sur une variété homogène de type G++/K(G++) où K(G++) est le sous-groupe compact maximal de G++. Le lien entre cette construction et les théories de la gravitation couplée à des p-formes et dilatons n'est pas encore établi mais certaines connexions ont été mises en évidence. <p><p>- Nous avons inclus les fermions dans les actions invariantes sous G++. De plus, nous nous sommes intéressés à vérifier la compatibilité des fermions avec les symétries cachées en D=3. Nous avons étudié le comportement des fermions la limite BKL dans le langage des billards. <p><p>- Dans le cadre des théories invariantes sous G+++, les réflexions de Weyl peuvent s’interpréter comme des dualités entre théorie des cordes. Ces dualités peuvent changer la signature de l’espace-temps en des signatures exotiques ;nous avons obtenu toutes les signatures provenant ainsi d’une signature Lorentzienne. <p> / Doctorat en sciences, Spécialisation physique / info:eu-repo/semantics/nonPublished
|
77 |
Rêves de L'Infini... : réflexions sur l'installation immersive interactiveGenest, Valérie 20 April 2018 (has links)
Ce texte d’accompagnement du projet explique dans le détail les notions relatives à ma recherche-création en arts visuels. Les principaux points traités sont en lien avec l’installation immersive interactive travaillée par l’entremise de la fibre optique, la lumière et la microprogrammation. Il s’agit d’une œuvre multidisciplinaire et hybride qui allie la sculpture et l’art numérique dans un ensemble médiatique interactif rappelant à la fois le microcosme et le macrocosme dans son esthétique visuelle générale.
|
78 |
Observation et commande des systèmes singuliers non linéaires / Observers and controllers design for nonlinear descriptor systemsZerrougui, Mohamed 14 November 2011 (has links)
Les travaux présentés dans cette thèse ont été effectués au Centre de Recherche en Automatique de Nancy (CRAN). Ils portent sur l'observation et la commande des systèmes singuliers non linéaires. Dans un premier temps nous nous sommes intéressés à la synthèse d'observateur et au filtrage H infini des systèmes singuliers bilinéaires. Dans un deuxième temps, nous avons étudié la synthèse d'observateur pour les systèmes singuliers non linéaires Lipschitziens. La dernière partie de ce travail concerne la stabilisation et la commande basée observateurs des systèmes singuliers non linéaires. L'objectif de ce travail a été de proposer des résultats facilement implémentables et de couvrir une large classe de systèmes non linéaires. La contribution principale de ce mémoire a été de proposer des observateurs H infini pour les systèmes singuliers non linéaires, en utilisant le non biais de l'erreur d'estimation. Les paramètres de ces observateurs sont obtenus par la résolution des inégalités matricielles linéaires (LMIs). Le deuxième apport concerne la synthèse de commande stabilisante et l'utilisation d'un des observateurs proposés dans cette thèse pour la synthèse d'une commande basée observateur pour les systèmes singuliers non linéaires. Cette dernière est réalisée grâce à la réécriture des fonctions non linéaires sous des formes adéquates à l'application de la commande des systèmes / This thesis work is realized in the Research Center in Automatic Control of Nancy (CRAN). It concerns the observation and control of nonlinear singular systems. Firstly, we were interested in the observer design and H infinity filtering for singular bilinear systems. In a second step, we studied the observers design for Lipschitz nonlinear singular systems. The last part of this work relates to the stabilization and observer based controller for a classe of singular nonlinear systems. The objective is to develop a simple and straightforward results which covers a large class of nonlinear systems. The main contribution of this thesis is in the H infinity observers design for nonlinear singular systems. It is based on the parametrization of the solution of the constrained generalized Sylvester equation. The second contribution relates to the design of stabilizing control and using the proposed observer to design an obsever based controller for nonlinear singular systems. Solutions of these problems are obtained by using Linear Matrix Inequalities (LMI) Formulation
|
79 |
L\'infini en poids, nombre et mesure : la comparaison des incomparables dans l\'oeuvre de Blaise Pascal / O infinito em peso, número e medida: a comparação dos incomparáveis na obra de Blaise PascalCortese, João Figueiredo Nobre 30 October 2017 (has links)
Ce travail montre l\'unité de l\'oeuvre 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. / Este trabalho mostra a unidade da obra de Pascal no que diz respeito à comparabilidade dos incomparáveis : a comparação, linguística ou matemática, que é feita entre coisas que não poderiam, em princípio, ser aproximadas. Trata-se de fazer uma abordagem histórica e linguística para colocar questões filosóficas sobre a comparação, em particular sobre o papel fundamental que o infinito desempenha de acordo com Pascal. Identificamos a comparação de incomparáveis sob três formas. A primeira parte deste trabalho é dedicada à formulação de uma forma de analogia retórica que chamamos de analogia de desproporção (inspirada por Secretan 1998). Se geralmente se diz que a analogia faz uma comparação entre duas relações, cada uma das quais existe entre coisas homogêneas, a analogia da desproporção torna possível, por outro lado, mostrar uma semelhança entre relações de heterogeneidade, entre desproporções ou entre distâncias infinitas : duas coisas são tão diferentes entre si quanto duas outras. Pascal sendo um autor que enfatiza as desproporções acima de tudo, mostramos que ele compara as desproporções, em especial para delimitar o que o homem não conhece perfeitamente. A segunda parte analisa a prática matemática de Pascal em peso, número e medida : trata-se de mostrar que no método dos indivisíveis das Cartas de A. Dettonville, no Tratado do triângulo aritmético e na comparação das linhas curvas e retas, sempre o infinito (ou melhor, o indefinido) intervém como um fator que permite a comparabilidade do que parecia incomparável. A terceira parte faz uma discussão filosófica sobre o infinitamente pequeno e o infinitamente grande, levando em consideração a prática matemática de Pascal analisada na segunda parte. Discutimos a natureza dos indivisíveis, diferenças e distâncias infinitas. Propomos que o infinito na prática matemática de Pascal é melhor compreendido como um indefinido, ligando-o a uma distinção entre o significado absoluto e o significado relativo das palavras. Uma exceção na prática matemática de Pascal é a geometria projetiva, onde devemos aceitar elementos a distância infinita. O encontro dos dois infinitos, finalmente, permite mostrar a reciprocidade do infinito de grandeza e do infinito de pequenez. Uma discussão é feita sobre este assunto, ligando a proporção inversa entre os dois infinitos à grandeza e à pequenez do homem, e ao caráter paradoxal de certas verdades de acordo com Pascal, as quais são resolvidas na pessoa de Jesus Cristo. Concluímos que Pascal traz do infinito não um conhecimento direto, mas uma abordagem da relação que o homem, ser finito, tem com o infinito.
|
80 |
Méthodes de commande avancées appliquées aux viseurs. / Line of sight stabilization using advanced control techniquesHirwa, Serge 29 October 2013 (has links)
La stabilisation inertielle de ligne de visée est essentiellement un problème de rejet de perturbations : il faut rendre la ligne de visée de la caméra embarquée dans le viseur insensible aux mouvements du porteur. Les méthodes de commande robuste du type H-infini sont bien adaptées à la résolution de ce type de problème, et plus particulièrement l’approche Loop-Shaping qui repose sur des concepts de réglage de l’automatique fréquentielle classique. Cependant, les correcteurs obtenus via cette approche sont généralement d’ordre élevé et donc difficilement implémentables sur le calculateur embarqué du viseur.Dans cette thèse, nous avons proposé des méthodologies de synthèse de correcteurs robustes d’ordre réduit et/ou de structure fixée. Pour cela, nos travaux ont été axés sur :- L’optimisation pour la synthèse H-infini à ordre et/ou structure fixée. Tout d’abord nous avons exploré les possibilités offertes par l’optimisation sous contraintes LMI (Linear Matrix Inequalities). Celles-ci se sont avérées limitées, bien que de nombreux algorithmes aient été proposés dans ce cadre depuis le début des années 90. Ensuite, nous avons opté pour l’optimisation non lisse. En effet des outils numériques récemment développés rendent accessible cette approche, et leur efficacité s’est avéré indéniable.- L’adaptation au cadre particulier du critère H-infini Loop-Shaping.La structure particulière de ce critère de synthèse a été exploitée afin de mieux prendre en compte les pondérations, et d’améliorer la réduction d’ordre du correcteur final. Enfin, une approche basée uniquement sur le réglage graphique d’un gabarit de gain fréquentiel en boucle ouverte est proposée. Ces différentes méthodologies sont illustrées, tout au long de la thèse, sur un viseur dont le modèle a été identifié à partir de mesures expérimentales. / Inertial line of sight stabilization is a disturbance rejection problem: the goal is to hold steady in the inertial space, the line of sight of a camera, which is carried on a mobile vehicle. H-infinity robust control techniques are well suited for this type of problem, in particular the Loop-Shaping approach which relies on classical frequency domain concepts. However, this approach results in high order controllers which are hardly implementable on the real time embedded electronic unit of the sight system.In this thesis, fixed order and fixed structure controller design methodologies are proposed. This development follows two main axis: - Fixed order H-infinity Optimization. First, fixed order controllers have been investigated through the LMI (Linear Matrix Inequalities) optimization framework. However the numerical efficiency of this approach is still limited, despite the large amount of research in this area since the 90’s. Then, we used recently developed and more efficient tools that recast the fixed order H-infinity synthesis problem as a nonsmooth optimization problem.- Adaptation to the H-infinity Loop-Shaping frameworkWe adapted the 4 block H-infinity criterion in order to include the weighting filters in the fixed order controller optimization, which enhance the final controller order reduction. Then, we proposed a fixed order controller design approach, based only on graphically tuning a target open loop frequency gain.
|
Page generated in 0.0611 seconds