Dissertations / Theses: 'Théorie du Contrôle'

1

Barboux, Cécile. "Contrôle par objections d'une théorie incomplète." Montpellier 2, 1990. http://www.theses.fr/1990MON20063.

Full text

Abstract:

Cette these porte sur le controle par dialogue avec un interlocuteur d'une connaissance construite par apprentissage, consideree comme incomplete et incorrecte. La conceptualisation de ces problemes s'appuie sur la modelisation proposee par imre lakatos sur la logique de la decouverte mathematique. Le controle par objections est un approfondissement des travaux de reiter sur les systemes de maintenance de verite au controle de connaissances incompletes

APA, Harvard, Vancouver, ISO, and other styles

2

Hindawi, Mohamad-Ahed. "Transport optimal en théorie du contrôle." Nice, 2012. http://www.theses.fr/2012NICE4108.

Full text

Abstract:

Nous étudions le problème de transport optimal, en particulier l’existence, l’unicité et la régularité de l’application de transport, pour des coûts associés à un système de contrôle. Dans une première étape, nous supposons que le cout intervenant dans le problème de transport est associé à un problème de contrôle optimal de type LQ. On obtient dans ce cadre un résultat d’existence, d’unicité et de régularité pour l’application de transport. Les propriétés de régularité proviennent d’une réinterprétation de notre problème de transport optimal comme un problème de transport impliquant le coût quadratique usuel à la Brenier entre deux mesures de probabilité bien construites. Ensuite, nous associons le coût de notre problème de transport à un système de contrôle sur un groupe de Lie. On obtient l’existence, l’unicité et la régularité de l’application de transport. En particulier on traite le cas où le système est bilinéaire. La dernière étape de ce travail concerne le cas où le système de contrôle est de type affine et commandable. Dans ce cas et sous certaines hypothèses, comme l’absence des minimiseurs singuliers, on obtient le même type de résultats que précédemment
We study the mass transportation problem where the assumed cost function is associated to a control system. We are interested in the existence, uniqueness and the regularity of an optimal transport map. At first, we associate to the cost function of the transport problem an optimal control problem of type LQ. There we prove results about existence, uniqueness and regularity of the transport map. The regularity property that we had obtained uses the regularity property in Brenier case after certain construction. Then we associate to the cost function of the assumed transport problem a control system defined on a Lie group. Here we obtain the existence, uniqueness and the regularity of the transport map. In particular we treat the case where the system is bilinear. Finally we study the aforementioned problem but this time we associate to the cost function an affine-control system. Under certain hypothesis, controllability and the absence of singular minimizing controls, we obtain analogues result as in the previous case

APA, Harvard, Vancouver, ISO, and other styles

3

Lazrag, Ayadi. "Théorie de contrôle et systèmes dynamiques." Thesis, Nice, 2014. http://www.theses.fr/2014NICE4060/document.

Full text

Abstract:

Cette thèse est divisée en trois parties. Dans la première partie, nous commençons par décrire des résultats très connus en théorie du contrôle géométrique tels que le théorème de Chow-Rashevsky, la condition de rang de Kalman, l'application Entrée-Sortie et le test linéaire. De plus, nous définissons et nous étudions brièvement la contrôlabilité locale au voisinage d'un contrôle de référence au premier et au second ordre. Dans la deuxième partie, nous donnons une preuve élémentaire du lemme de Franks linéaire pour les flots géodésiques qui utilise des techniques basiques de théorie du contrôle géométrique. Dans la dernière partie, étant donnée une variété Riemanienne compacte, nous prouvons un lemme de Franks uniforme au second ordre pour les flots géodésiques et on applique le résultat à la théorie de la persistance. Dans cette partie, nous introduisons avec plus de détails les notions de contrôlabilité locale au premier et au second ordre. En effet, nous donnons un résultat de contrôlabilité au second ordre dont la preuve est longue et technique
This thesis is devided into three parts. In the first part we begin by describing some well known results in geometric control theory such as the Chow Rashevsky Theorem, the Kalman rank condition, the End-Point Mapping and the linear test. Moreover, we define and study briefly local controllability around a reference control at first and second order. In the second part we provide an elementary proof of the Franks lemma for geodesic flows using basic tools of geometric control theory. In the last part, given a compact Riemannian manifold, we prove a uniform Franks' lemma at second order for geodesic flows and apply the result in persistence theory. In this part we introduce with more details notions of local controllability at first and second order. In fact, we provide a second order controllability result whose proof is long and technical

APA, Harvard, Vancouver, ISO, and other styles

4

Pennequin, Denis. "Contrôle optimal et oscillations." Paris 1, 2000. http://www.theses.fr/2000PA010061.

Full text

Abstract:

Dans cette thèse, nous nous sommes intéressés au problème du Contrôle Optimal des oscillations et à quelques applications économiques. Tout d'abord, on a mis en forme le formalisme de Percival liant une fonction quasi-périodique (=q. P. ) à sa génératrice sur le tore, avec un lien se comportant bien au niveau différentiel. Une étude du cas à paramètre, nécessaire pour traiter des équations autonomes, permet d'obtenir un théorème d'isomorphisme entre l'espace des fonctions presque- périodiques ( =p. P. ) à paramètres et un espace de fonctions p. P. à valeurs dans un Banach. Relativement au formalisme de Percival, nous introduisons des espaces du type de Sobolev où nous retrouvons l'absence de compacité, mais où l'étude ne nécessite pas d'hypothèses diophantiennes contrairement aux considérations plus géométriques de ces problèmes. Le formalisme de Percival transforme la recherche des solutions q. P. D'une équation différentielle en la recherche de solutions p. P. D'une E. D. P. Une notion de solution faible est introduite et comparée à l'usuelle, et l'on obtient pour celle-ci un théorème d'existence. L'absence de compacité implique une obligation de développer de nouvelles techniques, y compris dans les méthodes de régularisation, et l'on présente pour cela une nouvelle technique. Le cas discret est également traité (existence et structure), après avoir comparé différentes notions de suites p. P, courantes dans la littérature. On étudie alors les problèmes quasi-périodiques ; pour des problèmes autonomes linéaires-concaves, on démontre l'équivalence des problèmes p. P. , périodiques et statiques. Dans le cadre non nécessairement autonome, on obtient des théorèmes d'existence et de conditions nécessaire étendant ceux de Da-Prato et Ichikawa. Enfin, des applications économiques sont fournies.

APA, Harvard, Vancouver, ISO, and other styles

5

Rifford, Ludovic. "Problèmes de stabilisation en théorie de contrôle." Lyon 1, 2000. http://www.theses.fr/2000LYO10076.

Full text

Abstract:

Cette thèse porte principalement sur l'étude des systèmes globalement asymptotiquement commandables. Il s'agit de systèmes commandés pour lesquels chaque état peut-être mené asymptotiquement à l'équilibre. De tels systèmes ne possèdent généralement pas de retours d'état stabilisants continus. Nous développons par conséquent des méthodes permettant de construire des retours d'état discontinus stabilisant de manière satisfaisante. Ce travail repose sur la construction de fonctions Lyapunov de commande. Celles-ci ne pouvant être prises lisses, nous sommes forcés de les considérer moins régulières, et donc d'avoir recours à des outils d'analyse non lisse.

APA, Harvard, Vancouver, ISO, and other styles

6

Feingesicht, Maxime. "Contrôle non linéaire actif d’écoulements turbulents décollés : Théorie et expérimentations." Thesis, Ecole centrale de Lille, 2017. http://www.theses.fr/2017ECLI0024/document.

Full text

Abstract:

Le contrôle des écoulements est un domaine en forte croissance visant à modifier un écoulement à l’aide d’actionneurs et d’algorithmes de contrôle. Un axe important du contrôle des écoulements est le contrôle des décollements car le décollement de la couche limite provoque des augmentations de traînée et donc des pertes énergétiques et des coûts en carburant. Cette thèse vise à développer des algorithmes de contrôles pour le recollement des écoulements à l’aide de jets pulsés. La première partie de cette thèse expose une technique d’identification de modèle basée sur des données expérimentales. Les modèles sont déduits de considérations physiques et de l’Automatique. Ils offrent une bonne correspondance aux données tout en restant simple et en contenant peu de coefficients. La seconde partie de cette thèse utilise ces modèles pour élaborer deux algorithmes de contrôle : le premier est un contrôle optimal en boucle ouverte et le second un contrôle robuste en boucle fermée. Ces algorithmes ont été implémentés sur diverses maquettes expérimentales (LML, ONERA, LAMIH) et leurs propriétés a été testée expérimentalement. Les tests ont été réalisés en utilisant un Arduino Uno pour les mesures et le calcul du contrôle, ce qui montre que la méthode développée est simple à appliquer et requiert peu de puissance de calcul
Flow control is a strongly growing field aiming at modifying fluid flows using actuators and control algorithms. An important part of flow control is the control of flow separation as boundary layer separation increases drag and therefore energy losses and fuel consumption. This thesis focuses on developing control algorithms for flow reattachment using pulsed jets actuators. The first part of this work develops a model identification technique based on experimental data. The models are derived from physical and control theory considerations. They provide a good fit to the data while remaining simple and using few coefficients. The second part of this work uses this models in order to design two different control algorithms : the first one is an optimal feedforward control while the second one is a robust feedback control. The control algorithms have been applied on several experimental setups (LML, ONERA, LAMIH) and their properties have been experimentally tested. The tests were conducted using a simple Arduino Uno for the measurements and computation of the control, showing that the developed method is easy to apply and requires very few computational resources

APA, Harvard, Vancouver, ISO, and other styles

7

Martin, Éric. "L'apprentissage du contrôle sous contrôle récursif." Paris 7, 1993. http://www.theses.fr/1993PA077080.

Full text

Abstract:

Par ce travail, nous proposons un cadre théorique pour étudier les procédures algorithmiques qui offrent une solution pratique au problème suivant : apprendre à contrôler un processus physique par la seule observation de ses entrées et de ses sorties. D'abord, nous montrons qu'«apprendre à contrôler» diffère des types d'apprentissage dont rendent compte les travaux formels, et que cela nécessite que soit élaboré un cadre théorique nouveau. Notre approche repose sur quelques hypothèses très générales, parmi lesquelles: les contrôleurs constituent un ensemble récursivement énumérable de procédures calculables, qui peuvent agir sur le système selon un nombre fini d'actions. Un programme d'apprentissage procède par étapes. A la fin de chaque étape, le programme propose un contrôleur. Ce contrôleur engendre les données de l'étape suivante, qui sont analysées, et conduisent le programme à proposer un contrôleur éventuellement différent. A ces hypothèses fondamentales, on en adjoint de plus particulières, qui touchent à la manière dont les données sont analysées, et qui placent des exigences sur la réussite de l'apprentissage. Nous démontrons des résultats, essentiellement limitatifs, qui touchent à la possibilité, pour un programme ou pour une classe de programmes d'apprentissage, d'apprendre à contrôler une classe de systèmes vérifiant telle ou telle propriété, de converger ou de progresser à l'infini, d'apprendre en une étape ou davantage. Nous précisons le rôle que jouent les observables des systèmes à contrôler dans l'apprentissage. Nous examinons si un programme peut être testé seulement sur une petite sous-classe de la classe de systèmes qu'il apprend à contrôler. . . Les outils de démonstration font principalement appel à diverses notions de réductibilité.

APA, Harvard, Vancouver, ISO, and other styles

8

Chamberland, Gilles. "Éléments de contrôle actif non-linéaire : théorie et applications." Ecully, Ecole centrale de Lyon, 2000. http://bibli.ec-lyon.fr/exl-doc/TH_T1865_gchamberland.pdf.

Full text

Abstract:

La présence de non-linéarités dans un système mécanique contrôle peut induire des phénomènes complexes, nécessitant des approches particulières. Ce travail de thèse propose une analyse, dans le cadre des commandes par retour d'état, des moyens de traitement adaptés à certaines de ces non-linéarités. Le déroulement du mémoire s'articule autour du triplet loi de commande/actionneur/structure. Dans un premier temps, nous nous attachons a mettre en place la problématique, ainsi que l'adaptation de la commande aux non-linéarités provenant aussi bien de la structure que du domaine de fonctionnement de l'actionneur. Ce dernier point va nous amener a aborder, dans un second temps, la commande régénérative et la mise au point d'un algorithme approprie, et plus généralement à une prévision de la consommation énergétique des systèmes actifs. Nous établirons ainsi tous les éléments nécessaires a la mise en place avec succès d'une telle commande. En vue de l'application de la commande régénérative, nous consacrerons ensuite une part importante de ce mémoire a la conception, modélisation, pilotage et réalisation d'un actionneur présentant toutes les fonctionnalités nécessaires. Enfin, à titre d'illustration, nous étudierons un cas de contrôle actif de structure non-linéaire en génie civil. Il s'agit d'un modèle réduit de pont a haubans ayant fait l'objet récemment d'expérimentations a grande échelle
Nonlinearities in controlled mechanical systems can induce complex phenomena, requiring specific approaches. This PhD thesis proposes, in the context of optimal control theory, an analysis of nonlinear control features. This work will focus on the three entities control law / actuator / structure. Fisrt of all, we will bring out the context, as well as the control law adaptation to nonlinear behaviours of the structure and of the actuator. This latter point will be directly lead us to regenerative control, statement of corresponding algorithm, and more generally to energy consumption prediction for active systems. We will thus possess all elements to successfully apply such a control. In order to effectively apply this control, we will afterwards devote a large part of this work to conception, model, control and realization of an actuator possessing all necessary functions. At last, we will illustrate our talk by a recent nonlinear active control example. It is a cable-stayed structure mock-up having lead to recent large-scale experiments

APA, Harvard, Vancouver, ISO, and other styles

9

Kaslik, Eva. "Domaines d'attraction et applications dans la théorie du contrôle." Paris 13, 2006. http://www.theses.fr/2006PA132007.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Besson, Patrick. "Les opérations de contrôle : contribution à la théorie et à l'ingénierie du contrôle d'organisation." Lyon 2, 1989. http://www.theses.fr/1989LYO2A002.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Sangouard, Nicolas. "Préparation de superpositions cohérentes et contrôle d'états quantiques instables." Dijon, 2004. http://www.theses.fr/2004DIJOS036.

Full text

Abstract:

La création et la préservation de superpositions d'états quantiques est un ingrédient crucial dans de nombreuses applications du contrôle quantique. On peut préparer des superpositions cohérentes par une méthode non robuste qui utilise des impulsions résonnantes d'aire spécifique (π/2-pulse). Dans le cadre de ce travail de thèse, nous proposons des techniques alternatives robustes et efficaces pour créer des superpositions d'états par passage adiabatique. L'une d'elles requiert l'utilisation de deux impulsions de contrôle et d'une impulsion additionnelle Stark. Elle permet de créer la superposition de deux états couplés par un processus à deux photons. Elle est adaptée pour des applications en optique quantique notamment dans le contexte de la génération efficace de nouvelles fréquences laser. La seconde technique offre la possibilité de générer la superposition de deux états quasi-dégénérés pendant l'interaction entre deux impulsions. Elle est utilisée pour le contrôle de la localisation et la suppression de l'effet tunnel. Nous étudions dans un second temps la préservation d'états quantiques contre les processus de perte ou de décohérence. Nous proposons un mécanisme nouveau basé sur la mesure des états de Fano. Cette méthode permet le contrôle de l'instabilité quantique par effet Zénon et anti-Zénon. Elle induit également un effet de stabilisation traduisant un taux de perte non monotone en fonction de l'intensité des champs appliqués.

APA, Harvard, Vancouver, ISO, and other styles

12

Zalinescu, Adrian. "Solutions faibles et contrôle optimal des inéquations variationnelles stochastiques." Brest, 2002. http://www.theses.fr/2002BRES2016.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Amoura, Camille. "La place et le rôle du contrôle dans la Théorie de l'Autodétermination." Thesis, Reims, 2013. http://www.theses.fr/2013REIML004/document.

Full text

Abstract:

Ce travail doctoral a pour but d'étudier la motivation autodéterminée (Deci & Ryan, 1985b, Deci & Ryan, 2000 ; Ryan & Deci, 2002) à travers la notion de « Contrôle ». Dans la Partie I, en parallèle à la revue de littérature qui présente la Théorie de l'Autodétermination (TAD), les différents sens que la notion de « Contrôle » prend en son sein sont explicités. Ce travail de définition montre que, bien que n'appartenant pas aux théories du contrôle, la TAD y est néanmoins ancrée. Dans la Partie II, les effets que le contrôle issu de l'environnement produit sur la motivation et la performance académique sont étudiés aux niveaux contextuel (Manuscrit 1) et situationnel (Manuscrit 2). Ensuite, les effets que le contrôle que les individus désirent (Manuscrit 3) et pensent avoir sur l'environnement (Manuscrit 4) produit sur la motivation et l'ajustement psychologique sont étudiés aux niveaux global et contextuel. Le Manuscrit 1 (au niveau contextuel) montre que le soutien à l'autonomie et le contrôle des enseignants ne sont pas deux styles opposés mais indépendants ; que le premier prédit positivement la motivation et la performance à travers la satisfaction des besoins psychologiques fondamentaux, tandis que le second prédit négativement ces variables à travers la frustration des besoins psychologiques fondamentaux. Le Manuscrit 2 (au niveau situationnel) confirme l'indépendance des styles relationnels et les résultats expérimentaux montrent que dans le cadre d'une procédure d'engagement, un style interpersonnel combinant un faible soutien à l'autonomie et un fort contrôle peut mener à de la motivation autodéterminée. Le Manuscrit 3 (au niveau global) montre que le Désir de Contrôle (DC; Burger & Cooper, 1979; Burger, 1992) prédit la motivation autodéterminée dans les études à travers la satisfaction du besoin de compétence. Enfin, le Manuscrit 4 (au niveau contextuel) montre que la configuration des niveaux de DC et de Perception de Contrôle (Paulhus & Christie, 1981; Paulhus, 1983; Paulhus & Van Selst, 1990) chez les participants prédit leur motivation académique et leurs niveaux de dépression. Enfin, une transposition de nos résultats est proposée dans le cadre de la prévention des risques psychosociaux (prévention du suicide chez les producteurs de lait)
The aim of this doctoral work is to study autonomous motivation (Deci & Ryan, 1985b, Deci & Ryan, 2000; Ryan & Deci, 2002) through the concept of “Control”. In Part I, in parallel with the review of the literature that introduces Self-Determination Theory (SDT), the different meanings that the concept of “Control” have within it are explained ; it shows that, although not belonging to the theories of control, the SDT is embedded in them. In Part II, the effects of the control coming from the environment on autonomous motivation and academic performance are studied at the contextual (Manuscript 1) and situational (Manuscript 2) levels. Then, the effects of the desired (Manuscript 3) and perceived control over the environment (Manuscript 4) on autonomous motivation and psychological adjustment are studied at the global and contextual levels. Manuscript 1, at the contextual level, shows that autonomy-supportive and controlling styles are not two ends of one continuum but distinct styles. Autonomy-support predicts positively autonomous motivation and performance through the satisfaction of basic psychological needs, while control predicts negatively autonomous motivation and performance through the thwarting of basic psychological needs. Manuscript 2 ( the situational level ) confirms the independence of the two interpersonal styles and experimental results show that in the context of a commitment procedure, an interpersonal style combining low autonomy-support and high control can lead to autonomous motivation. Manuscript 3 (at the global level) shows that the Desire for Control (DC; Burger & Cooper, 1979; Burger, 1992) predicts autonomous motivation through the satisfaction of the need for competence. Finally, Manuscript 4 (at the contextual level) shows that participants levels of DC and Perceived Control (Paulhus & Christie, 1981; Paulhus, 1983; Paulhus & Van Selst 1990) predicts students' autonomous motivation and depression. Finally, an implementation of our results is provided in the context of the prevention of psychosocial risks (suicide prevention among milk producers)

APA, Harvard, Vancouver, ISO, and other styles

14

Lagache, Marc-Aurèle. "Analyse de problèmes inverses et directs en théorie du contrôle." Thesis, Toulon, 2017. http://www.theses.fr/2017TOUL0008/document.

Full text

Abstract:

Le contexte général de cette thèse est l’étude de problèmes inverses et directs en théorie du contrôle. Plus précisément, les trois problèmes étudiés sont les suivants.Le premier est un problème de contrôle optimal (approche directe). Il s’agit de fournir la synthèse temps minimum du modèle cinématique d'un drone volant à altitude constante, de vitesse linéaire non nécessairement constante voulant rejoindre une trajectoire circulaire de rayon de courbure minimum.Le deuxième problème concerne une approche inverse du contrôle optimal. Il s’agit d’élaborer des méthodes théoriques de reconstruction du critère optimisé dans un problème de contrôle optimal à partir d’un ensemble de solutions à ce problème, ainsi que caractériser les "bons" ensembles de trajectoires permettant la reconstruction du critère. Le contrôle optimal inverse connait un regain d’intérêt depuis une quinzaine d’années, en particulier dans l’étude des comportements moteurs humains. En effet, selon un paradigme largement accepté en neurophysiologie, parmi tous les mouvements possibles ceux effectivement réalisés sont solutions d’un processus d’optimisation.Le troisième problème traite de stabilisation par retour de sortie. Nous analysons, à travers un exemple académique tiré du contrôle quantique, le problème de stabilisation par retour de sortie (à l’aide d’un observateur) lorsque le point où l'on souhaite stabiliser le système correspond à un contrôle qui rend le système inobservable. L’idée générale est de perturber le retour d’état stabilisant afin de garantir l’observabilité du système tout en stabilisant le système sur la cible. L’analyse de cet exemple académique nous permet dans un second temps de dégager une méthode générale pouvant s’appliquer à une classe de système beaucoup plus large
The overall context of this thesis is the study of inverse and direct problems in control theory. More specifically, the following three problems are studied.The first one is an optimal control problem (direct approach). The aim is to give a time minimum systhesis fora kinematic model of a UAV flying at constant altitude with positive (non-necessarily constant) linear velocityin order to steer it to a fixed circle of minimum turning radius.The second problem deals with an inverse approach of optimal control. The aim is to develop theoretical methods in order to reconstruct the minimized criterion in an optimal control problem from a set of solution to this problem. The aim is also to characterize the « good » sets of trajectories leading to the reconstruction of the criterion. In the last fifteen years, there has been a renewed interest in inverse optimal control, especially inhuman motor behavior. Indeed, according to a well accepted paradigm in neurophysiology, among all possible movements, those actually accomplished are solutions of an optimization process.The third problem tackles output feedback stabilization. We analyze, via a simple academic example from quantum control, the problem of dynamic output feedback stabilization, when the point where we want to stabilize corresponds to a control value that makes the system unobservable. The general idea is to perturb the stabilizing state feedback in order to ensure the observability of the system while stabilizing it to the target.The analysis of this example allows, secondly, to identify a general procedure that can be applied to a widerclass of systems

APA, Harvard, Vancouver, ISO, and other styles

15

Vo, Tan Phuoc. "Théorie du contrôle et systèmes hybrides dans un contexte cryptographique." Phd thesis, Institut National Polytechnique de Lorraine - INPL, 2009. http://tel.archives-ouvertes.fr/tel-00452699.

Full text

Abstract:

La thèse traite de l'utilisation des systèmes hybrides dans le contexte particulier des communications sécurisées et de la cryptographie. Ce travail est motivé par les faits suivants. L'essor considérable des communications qui a marqué ces dernières décennies nécessite des besoins croissants en terme de sécurité des échanges et de protection de l'information. Dans ce contexte, la cryptographie joue un rôle central puisque les informations transitent la plupart du temps au travers de canaux publics. Parmi les nombreuses techniques de chiffrement existants, le chiffrement par flot se distingue tout particulièrement lorsqu'on le débit d'une communication sécurisée est privilégié. Les chiffreurs par flot sont construits à partir de générateurs de séquences complexes décrits par des systèmes dynamiques et devant être synchronisés de part et d'autre du canal d'échanges. Les objectifs et les résultats de ce travail se déclinent en trois points. Tout d'abord, l'intérêt d'utiliser des systèmes hybrides en tant que primitives cryptographiques est motivé. Par la suite, une étude comparative est menée afin d'établir une connexion entre les algorithmes de masquage de l'information basés sur le chaos et les algorithmes de chiffrement usuels. L'étude porte exclusivement sur des considérations structurelles et repose sur des concepts de la théorie du contrôle, en particulier l'inversibilité à gauche et la platitude. On montre que la technique de masquage dite par inclusion, qui consiste à injecter l'information à protéger dans une dynamique complexe, est la plus efficace. De plus, on montre que sous la condition de platitude, un système de masquage par inclusion est structurellement équivalent à un chiffreur par flot particulier appelé auto-synchronisant. Enfin, des méthodes de cryptanalyse pour évaluer la sécurité du masquage par inclusion sont proposées pour une classe particulières de systèmes hybrides à savoir les systèmes linéaires à commutations. A nouveau, des concepts de la théorie du contrôle sont utilisés, il s'agit de l'identifiabilité paramétrique et des algorithmes d'identification. Des spécificités relatives au contexte particulier de la cryptographie sont prises en compte. En effet, contrairement à la plupart des cas rencontrés dans le domaine du contrôle où les variables des modèles dynamiques sont continues car relatives à des systèmes physiques, les variables prennent ici des valeurs discrètes. Les modèles dynamiques sont en effet décrits non plus dans le corps des réels mais dans des corps finis en vue d'une implémentation sur des machines à états finis tels ordinateur ou tout autre dispositif numérique.

APA, Harvard, Vancouver, ISO, and other styles

16

Vo, Tan Phuoc. "Théorie du contrôle et systèmes hybrides dans un contexte cryptographique." Electronic Thesis or Diss., Vandoeuvre-les-Nancy, INPL, 2009. http://www.theses.fr/2009INPL079N.

Full text

Abstract:

La thèse traite de l’utilisation des systèmes hybrides dans le contexte particulier des communications sécurisées et de la cryptographie. Ce travail est motivé par les faits suivants. L’essor considérable des communications qui a marqué ces dernières décennies nécessite des besoins croissants en terme de sécurité des échanges et de protection de l’information. Dans ce contexte, la cryptographie joue un rôle central puisque les informations transitent la plupart du temps au travers de canaux publics. Parmi les nombreuses techniques de chiffrement existants, le chiffrement par flot se distingue tout particulièrement lorsqu’on le débit d’une communication sécurisée est privilégié. Les chiffreurs par flot sont construits à partir de générateurs de séquences complexes décrits par des systèmes dynamiques et devant être synchronisés de part et d’autre du canal d’échanges. Les objectifs et les résultats de ce travail se déclinent en trois points. Tout d’abord, l’intérêt d’utiliser des systèmes hybrides en tant que primitives cryptographiques est motivé. Par la suite, une étude comparative est menée afin d’établir une connexion entre les algorithmes de masquage de l’information basés sur le chaos et les algorithmes de chiffrement usuels. L’étude porte exclusivement sur des considérations structurelles et repose sur des concepts de la théorie du contrôle, en particulier l’inversibilité à gauche et la platitude. On montre que la technique de masquage dite par inclusion, qui consiste à injecter l’information à protéger dans une dynamique complexe, est la plus efficace. De plus, on montre que sous la condition de platitude, un système de masquage par inclusion est structurellement équivalent à un chiffreur par flot particulier appelé auto-synchronisant. Enfin, des méthodes de cryptanalyse pour évaluer la sécurité du masquage par inclusion sont proposées pour une classe particulières de systèmes hybrides à savoir les systèmes linéaires à commutations. A nouveau, des concepts de la théorie du contrôle sont utilisés, il s’agit de l’identifiabilité paramétrique et des algorithmes d’identification. Des spécificités relatives au contexte particulier de la cryptographie sont prises en compte. En effet, contrairement à la plupart des cas rencontrés dans le domaine du contrôle où les variables des modèles dynamiques sont continues car relatives à des systèmes physiques, les variables prennent ici des valeurs discrètes. Les modèles dynamiques sont en effet décrits non plus dans le corps des réels mais dans des corps finis en vue d’une implémentation sur des machines à états finis tels ordinateur ou tout autre dispositif numérique
This manuscript deals with a specific engineering application involving hybrid dynamical systems : secure communications and cryptography. The work is motivated by the following facts. The considerable progress in communication technology during the last decades has led to an increasing need for security in information exchanges. In this context, cryptography plays a major role as information is mostly conveyed through public networks. Among a wide variety of cryptographic techniques, stream ciphers are of special interest for high speed encryption. They are mainly based on generators of complex sequences in the form of dynamical systems, which must be synchronized at the transmitter and receiver sides. The aim of this work is threefold. First, the interest of resorting to hybrid dynamical systems for the design of cryptographic primitives is motivated. Secondly, a connection between chaotic and conventional cryptography is brought out by comparing the respective algorithms proposed in the open literature. The investigation focuses on structural consideration. Control theoretical concepts, in particular left invertibility and flatness, are the central tools to this end. It is shown that the so-called message-embedding technique, consisting in injecting the information to be concealed into a dynamical system, is the most relevant technique. Furthermore, it is shown that, under the flatness condition, the resulting cipher acts as a self-synchronizing stream cipher. Finally, cryptanalytic methodologies for assessing the security of the message-embedded cryptosystem involving a special class of hybrid systems, namely the switched linear systems, are proposed. Again concepts borrowed from control theory, namely identifiability and identification, are considered. Specificities related to the context are taken into account. The variables describing the dynamical systems do not take values in a continuum unlike what usually happens in automatic control when physical models are considered. They rather take values in finite cardinality sets, especially finite fields, since an implementation in finite state machines, say computers or digital electronic devices, is expected

APA, Harvard, Vancouver, ISO, and other styles

17

Thomas, Jean-Jacques. "Contrôle non destructif des matériaux et des structures par analyse dynamique non linéaire." Palaiseau, Ecole polytechnique, 1995. http://www.theses.fr/1995EPXX0020.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Haddak, Akli. "Contribution à l'étude de la théorie du contrôle aux dérivées partielles." Phd thesis, Ecole Nationale des Ponts et Chaussées, 1990. http://pastel.archives-ouvertes.fr/pastel-00569135.

Full text

Abstract:

Généralisation de la théorie du contrôle classique développée pour les E.D.O. au cas des E.D.P. Reformulation des critères de la théorie du contrôle suivant 2 approches : théorie formelle des E.D.P. et algèbre différentiel. Un accent tout particulier est accordé au critère de contrôlabilité dont la généralisation aux E.D.P. constitue l'apport essentiel de cette étude. L'approche algébrique est utilisée pour conduire à un raisonnement qui permet la généralisation et la clarification de ces critères. Cependant c'est la théorie des E.D.P. qui permet d'élaborer des tests pour vérifier ces critères sur machine grâce a des logiciels de calcul formel. Nouvelle théorie du contrôle appliquée à de nombreux exemples de la physique (tourbillons de Bénard, dynamique des câbles, équations d'Euler, équations de Maxwell...) et des calculs explicites de degré de transcendance différentielle très complexes.

APA, Harvard, Vancouver, ISO, and other styles

19

Tehini, Ronald. "Vers le contrôle de l'alignement et de l'orientation : théorie et expérience." Phd thesis, Université de Bourgogne, 2010. http://tel.archives-ouvertes.fr/tel-00639366.

Full text

Abstract:

Cette thèse traite du contrôle et de la caractérisation de l'alignement et de l'orientation du point de vue théorique et expérimental. L'alignement d'une molécule linéaire consiste à obtenir une probabilité élevée de localisation de l'axe internucléaire symétrique autour de l'axe de polarisation du champ tandis que l'orientation privilégie un sens particulier le long du champ. L'orientation à l'aide d'impulsions bi couleur (2+1) non résonnantes est étudiée en détail et les conditions permettant d'obtenir une orientation efficace sont examinées. Un schéma bi couleur où la deuxième harmonique est en quasi-résonance avec un niveau vibrationnel de la molécule est également étudié. Cette technique présente l'avantage d'offrir un paramètre supplémentaire à savoir l'écart à la résonance qui peut être ajusté de manière à optimiser l'orientation moléculaire. Finalement une nouvelle technique expérimentale de détection de l'alignement moléculaire est présentée. Celle-ci permet une détection monocoup de l'alignement moléculaire sur une étendue temporelle jusqu'alors inégalée.

APA, Harvard, Vancouver, ISO, and other styles

20

Marti, Robert. "La théorie du contrôle : application à l'analyse de la politique macroéconomique." Montpellier 1, 1996. http://www.theses.fr/1996MON10007.

Full text

Abstract:

L'etude porte sur les developpements de la theorie du controle des vingt dernieres annees relatifs a l'analyse et a la decision en politique macroeconomique. Les methodes issues de la theorie du controle peuvent etre utilisees aussi bien pour fournir des informations sur les proprietes de stabilisation d'un systeme economique que pour determiner des mesures de politique economique optimales. La premiere partie de ce travail aborde les problemes de stabilisation en economie,en insistant sur les proprietes du systeme etudie. Parmi l'ensemble des concepts developpes en theorie des systemes, la notion de controlabilite d'un systeme dynamique s'annonce comme le lien fondamental entre la theorie de la politique economique et la theorie du controle. La deuxieme partie utilise le systeme economique considere pour la prise de decision effective. La regle de decision fournie par la theorie du controle est laors optimale au regard d'un critere de decision represente par une fonction objectif donnee. La fonction objectif,qui correspond ellememe a un processus de decision specifique,est etudiee. En particulier,la recherche d'informations sur la fonction objectif du politique (grandes orientations de politique economique)peut etre apprehendee par la technique du controle optimal inverse. Pour pourvoir exposer de facon analytique les methodes precedentes,le modele doit etre lineaire et la fonction objectif quadratique
The study focuses on developments of the control theory of the last twenty years in macroeconomic policy analysis. Control theory methods can be used to provide informations on properties of stabilization of an economic system as well as to determine measures of optimal economic policy. The first part of this work deal with problems of stabilization in economy by insisting on properties of the system studied. Among the set of concepts developed by systems theory,the controllability conditions of a dynamic system look as the fundamental link between the control theory and the theory of economic policy. The second part uses the economic system considered for the effective decision-making. The decision rule provided by the control theory is then optimal to the look of a criterion of choice represented by a given objective function. The objective function,that corresponds itself to a specific decision process,is studied. In particular,the research of information on the policy-maker's objective function(great economic policy orientations)can be apprehended by the inverse optimal control techniques. Linear models and quadratic objective functions must be used to formally describe the preceding methods

APA, Harvard, Vancouver, ISO, and other styles

21

Quincampoix, Marc. "Problèmes de cibles en théorie du contrôle et des jeux différentiels." Paris 9, 1991. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=1991PA090005.

Full text

Abstract:

Cette thèse traite de la modélisation et de l'analyse de l'évolution de systèmes en avenir incertain pour des problèmes de contrôles et de jeux différentiels en utilisant des techniques de l'analyse multivoque et de la théorie de la viabilité. Une étude qualitative des problèmes de cibles sera menée en introduisant les notions de domaines de victoire et de défaite. Des propriétés géométriques de ces domaines et de leurs frontières seront fournies et permettront de généraliser les concepts de barrières semi-perméables. Un algorithme calculant ces ensembles sera élaboré dans le cas où la cible est un ensemble ouvert. On étendra ces notions aux jeux différentiels à deux joueurs et à une cible. Les domaines de victoire et de défaite de ces jeux seront caractérisés par des critères ne nécessitant pas la résolution des équations de la dynamique. On généralisera enfin ces méthodes à des jeux différentiels non autonomes et on donnera des critères de jouabilité de tels jeux

APA, Harvard, Vancouver, ISO, and other styles

22

Lorin, Clément. "Théorie de la microgravité magnétique. Conception, dimensionnement et contrôle d'environnement microgravitationnel." Thesis, Vandoeuvre-les-Nancy, INPL, 2008. http://www.theses.fr/2008INPL065N/document.

Full text

Abstract:

Cette thèse traite de la compensation magnétique de pesanteur. Tout d’abord, des expériences de lévitation magnétique de fluides sont interprétées à l’aide d’un potentiel magnéto-gravitationnel SL. Puis, l’utilisation d’une méthode générale d’analyse de la force magnétique grâce aux harmoniques du champ magnétique est développée. Elle souligne l’importance et le rôle de chacun des trois premiers harmoniques du champ magnétique sur les configurations de forces résultantes inhérentes à la compensation magnétique de pesanteur. En géométrie cylindrique (invariante par translation) diverses combinaisons de forces d’origines magnétique, gravitationnelle et centrifuge offrent des perspectives nouvelles pour la lévitation magnétique. Une combinaison judicieuse des forces magnétiques et centrifuges permet de compenser exactement la pesanteur sur des matériaux diamagnétiques. En géométrie axisymétrique (invariante par rotation), le dimensionnement de stations de lévitation d’oxygène, techniquement réalisables (NbTi@4,2K), est présenté. Ces stations permettent de léviter des volumes d’oxygène supérieurs à 1 litre avec des inhomogénéités inférieures à 1%. La constitution de ces stations rend possible les variations spatiales et temporelles des configurations d’accélérations résultantes. Enfin, la compensation magnétique dynamique de gravité, à l’aide d’une station de lévitation réelle, est étudiée afin de simuler des phases d’accélération ou de décélération d’engins spatiaux
The thesis deals with magnetic gravity compensation. First of all magnetic levitation experiments are explained with the help of a magneto-gravitational potential SL. Next, a general analysis method of the magnetic force is developed which employs magnetic field harmonics. The method underlines both the significance and role of the first three magnetic field harmonics on the resulting forces inherent in magnetic gravity compensation. In cylindrical geometry – with translational invariance – various combination of magnetic, gravitational and centrifugal forces open new possibilities for the magnetic levitation. A suitable combination of both magnetic and centrifugal forces allows exactly compensating gravity on diamagnetic materials. In axisymmetric geometry – with rotational invariance – designs of feasible oxygen magnetic levitation stations are introduced (NbTi@4,2K). Levitation of oxygen volumes more than one litre with inhomogeneities less than 1% can be accomplished within these magnetic levitation facilities. The constitution of the stations makes possible both spatial and temporal variations of the resulting acceleration configurations. At last the dynamic magnetic compensation of gravity with a real coil system is studied so as to simulate both acceleration and deceleration of spaceships

APA, Harvard, Vancouver, ISO, and other styles

23

Wang, Siyuan. "Contôle homogène de quadrator : théorie et expérience." Thesis, Centrale Lille Institut, 2020. http://www.theses.fr/2020CLIL0026.

Full text

Abstract:

Au cours des dernières décennies, les problèmes liés au contrôle des quadrotors attirent plus d'attention des chercheurs par rapport aux autres véhicules volants. Cependant, la plupart des produits commerciaux utilisent encore le contrôleur PID linéaire, qui offre une performance suffisamment bonne. Le développement d'un contrôleur, qui pourrait convaincre l'industrie de l'utiliser à la place du contrôleur PID linéaire, reste toujours un défi. L’objectif de cette thèse est de montrer que le contrôleur homogène est une alternative au contrôleur PID linéaire. Pour ce faire, une nouvelle méthode est proposée : mettre à niveau de l'algorithme linéaire vers un algorithme homogène. Elle utilise les avantages du contrôleur / observateur linéaire fournis par le constructeur pour le réglage de l'algorithme homogène. Les résultats expérimentaux soutiennent les développements théoriques et confirment une amélioration significative de la qualité du contrôle du quadrotor: meilleure précision, plus de robustesse et réponse plus rapide
In the past several decades, quadrotor control problems attract more attentions of the researcher comparing withother flying vehicles. However, most of the commercial products still use linear PID controller, which provides sufficientlygood performance. Development of a controller, which would convince theindustry to use it instead of linear PID, is still a challenge. The aim of this thesis is to show that homogeneous controller is a possiblealternative to linear one. For this purpose, a new methodof upgrading linear algorithm to homogeneous one is proposed. It uses the gains of linear controller/observer provided by the manufacturer for tuning of homogeneous algorithm. The experimental results support the theoretical developments and confirm a significant improvement of quadrotor’s control quality:better precision, more robustness and faster response

APA, Harvard, Vancouver, ISO, and other styles

24

Crocquesel, Cyril. "Contrôle supervisé, confiance et dialogue." Télécom Bretagne, 2012. http://www.telecom-bretagne.eu/publications/publication.php?idpublication=12920.

Full text

Abstract:

La confiance de l'homme envers la machine est une caractéristique essentielle du contrôle supervisé. En effet, des contres performances du couple homme-machine provoquées par un mauvais niveau de confiance (insuffisant ou excessif) peuvent conduire à des dégâts matériels ou humains. Il est donc nécessaire d'évaluer la confiance de l'homme pour anticiper de telles situations et ainsi empêcher leur réalisation. C'est pourquoi, dans cette thèse, nous proposons un modèle d'évaluation de la confiance. Pour cela, nous avons défini deux modèles. Le premier est un modèle de dialogue basé sur la théorie du grounding et spécifique au contrôle supervisé. Le second est un modèle d'évaluation de la confiance qui décrit le lien entre la confiance de l'homme et l'observation de sa stratégie de dialogue à l'aide du premier modèle. Cet apport théorique est accompagné de deux expérimentations. Elles sont contextualisées dans le domaine du contrôle multi-drones et plus spécifiquement pour les opérations de surveillance et d'interception. La première expérience, à but exploratoire, met en évidence l'existence d'un lien entre confiance et dialogue. La seconde permet de tester la validation de notre modèle d'évaluation de la confiance. Cette thèse apporte donc les bases d'une approche objective de l'évaluation de la confiance à partir de l'observation du dialogue homme-machine
Trust in automation is an essential characteristic of supervised control. Indeed, counter performance of man-machine duo caused by poor trust level (overtrust or undertrust) can lead to material or human damage. It is therefore necessary to assess the trust of the man to anticipate such situations and prevent their realization. Therefore, in this thesis, we propose an evaluation model of trust. For this, we defined two models. The first is a model of dialogue based on the theory of grounding and specific for supervised control. The second is an evaluation model of trust which describes the relationship between user trust and observation of his strategy dialogue obtained trough the first model. The theoretical contribution is accompanied by two experiments. They are contextualized in the field of multi-UAV control and more specifically for patrol and interception missions. The first experiment, with exploratory purposes, highlights the existence of a link between trust and dialogue. The second checks our evaluation model of trust. This thesis therefore provides the basis for an objective assessment of trust with the observation of man-machine dialogue

APA, Harvard, Vancouver, ISO, and other styles

25

Guérin, Stéphane. "Contrôle de processus moléculaires par impulsions laser intenses : théorie adiabatique de Floquet." Dijon, 1996. http://www.theses.fr/1996DIJOS057.

Full text

Abstract:

Nous avons élaboré des outils théoriques pour interpréter et prédire le contrôle de transfert de population dans un système quantique interagissant avec une radiation multimode intense pouvant contenir des modulations d'amplitude (modélisation d'impulsions) et de fréquence (modélisation du chirping). Nous avons mis en évidence la présence théorique d'une fréquence effective gouvernant la physique du système. La théorie de Floquet, combinée avec des principes adiabatiques, est présentée avec une formulation découlant de la théorie des états habillés dans une cavité et permettant l'interprétation des échanges de photons entre la matière et un rayonnement intense. Nous avons développé des outils de simulation numérique adaptés à l'étude générale de processus d'interaction laser-molécules. Cette théorie a été appliquée au contrôle de processus moléculaires. Nous avons traité en particulier le contrôle par impulsion laser du temps de passage par effet tunnel et la dissociation complète par une impulsion laser infra-rouge, contenant un balayage en fréquence, d'une molécule diatomique dans son état électronique fondamental

APA, Harvard, Vancouver, ISO, and other styles

26

Djamai͏̈, Lamine. "Chaos : identification et commande ; application au contrôle des écoulements turbulents." Poitiers, 1999. http://www.theses.fr/1999POIT2379.

Full text

Abstract:

L'objet de la these est double. Le premier but est de construire des methodes robustes d'identification et de commande de systemes chaotiques. Le deuxieme but est d'une part realiser l'identification dans la perspective de la commande d'un premier processus reel consistant en un jet subsonique genere par une soufflerie, et d'autre part d'identifier et de commander un fluide present dans un systeme de disque contra-variant. Les resultats du point de vue connaissance aux quelle on a abouti est l'apport d'une methodologie d'approche des systemes chaotiques et turbulents, consistant successivement en une reconstruction d'etat a partir d'une mesure, identification puis validation de modeles a partir d'invariants propres aux systemes chaotiques, et generation de commandes robuste aux variations parametriques. D'un point de vue experimental l'identification du jet generer par la soufflerie a ete realisee. Pour le systeme de disque contra-variant la commande et l'identification ont ete realiser, la metrologie de la commande est en cours de realisation au c. E. A. T (centre d'etude d'aerodynamique et thermique).

APA, Harvard, Vancouver, ISO, and other styles

27

Caroff, Nathalie. "Caractéristiques de l'équation d'Hamilton-Jacobi et conditions d'optimalité en contrôle optimal non linéaire." Paris 9, 1994. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=1994PA090005.

Full text

Abstract:

La motivation commune aux travaux présentés dans cette thèse est l'étude des caractéristiques de l'équation d'Hamilton-Jacobi liée au problème de Bolza en contrôle optimal. Nous savons que la fonction valeur de ce problème est une solution de l'équation d'Hamilton Jacobi suivante: (v)/(t)+h(t, x, (v)/(x))=0, v (t,. )=(. ) Cette solution est en général non régulière. Nous étudions ici la régularité de la fonction valeur le long des caractéristiques. Nous étendons la théorie des points conjugués de Jacobi et exhibons des conditions nécessaires et suffisantes pour les minima locaux forts et faibles en utilisant la solution d'une équation de Riccati associée. De plus le gradient de la fonction valeur vérifie une loi de conservation. En s'inspirant de résultats classiques concernant les systèmes hyperboliques, nous montrons, dans le cadre du problème de Bolza en contrôle optimal, que le gradient de la fonction valeur satisfait une extension de la condition de Rankine-Hugoniot qui est bien connue en théorie des lois de conservation. L'étude des trajectoires optimales nous permet aussi de donner des conditions suffisantes pour que la fonction valeur soit régulière. Nous proposons également une étude d'une équation hyperbolique avec des coefficients discontinus

APA, Harvard, Vancouver, ISO, and other styles

28

Riedweg, Stéphane. "Logiques pour le contrôle d'automatismes discrets." Rennes 1, 2003. http://www.theses.fr/2003REN10159.

Full text

Abstract:

Cette thèse présente un formalisme logique pour la synthèse de contrôleurs des systèmes à événements discrets. Ce formalisme est obtenu par quantification des propositions atomiques dans les formules de la logique Mu-calcul. Cette approche logique permet la spécification formelle et uniforme de divers problèmes de contrôle. Différents critères de contrôle, comme la permissivité maximale, sont requis de manière simple. La synthèse de contrôleurs est obtenue par vérification des spécifications, en utilisant la théorie des automates d'arbres ainsi que la théorie des jeux de parité.

APA, Harvard, Vancouver, ISO, and other styles

29

Gaunard, Frédéric. "Problèmes d’interpolation dans les espaces de Paley-Wiener et applications en théorie du contrôle." Thesis, Bordeaux 1, 2011. http://www.theses.fr/2011BOR14371/document.

Full text

Abstract:

Nous étudions des problèmes d'interpolation dans des espaces de fonctions analytiques et notamment les espaces de Paley-Wiener.Nous démontrons que l'opérateur de restriction associé à une suite de nombres complexes supposée a priori N-Carleson dans tout demi-plan, définit un isomorphisme entre l'espace de Paley-Wiener et un certain espace de suites (construit à l'aide de différences divisées) si et seulement si la suite en question vérifie certaines conditions, notamment la condition de Muckenhoupt. Ce résultat généralise un résultat de Lyubarskii et Seip de 1997.Nous montrons également que toute suite minimale dans l'espace de Paley-Wiener et telle que l'intersection avec tout demi-plan vérifie la condition de Carleson, est une suite d'interpolation dans tout espace de Paley-Wiener "plus grand", au sens du type exponentiel. Ce dernier résultat s'étend à l'interpolation pondérée et s'applique à la Théorie du contrôle
We study interpolation problems in spaces of analytic functions and in particular in Paley-Wiener spaces.We show that the restriction operator associated to some N-Carleson sequence is an isomorphism between the Paley-Wiener space and a certain space of sequences (contructed with the help of divided differences) if and only if the sequence satisfies some conditions, in particular the Muckenhoupt condition. This result is a generalization of a theorem of Lyubarskii and Seip obtained in 1997.We also show that every minimal sequence in PW such that the intersection with every half-plane satisfies the Carleson condition is actually an interpolating sequence in every “bigger” space in the sense of the exponential type. This result can be extended to weighted interpolation and has an application in Control Theory

APA, Harvard, Vancouver, ISO, and other styles

30

Peng, Shi Ge. "L'étude des perturbations singulières en contrôle optimal déterministe." Paris 9, 1985. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=1985PA090026.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Bertrand, Pierre. "Calcul formel et perturbations en contrôle optimal déterministe." Paris 9, 1987. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=1987PA090008.

Full text

Abstract:

Approximation de commande optimale et de mouvement correspondant ainsi que du coût optimal pour un problème de commande singulièrement ou régulièrement perturbée sous des hypothèses de convexité. Les formules obtenues sont exploitées en utilisant le langage de calcul formel macsyma

APA, Harvard, Vancouver, ISO, and other styles

32

Baldé, Moussa. "Deux problèmes liés à la théorie du contrôle et à la théorie des singularités : métriques sous-riemanniennes et observabilité non linéaire." Rouen, 1999. http://www.theses.fr/1999ROUES070.

Full text

Abstract:

Cette thèse aborde avec des outils de la théorie des singularités deux problèmes de la théorie du contrôle : les métriques sous-riemanniennes et l'observabilité des systèmes non linéaires. A tout problème isopérimétrique sur une surface riemannienne on peut localement associer une métrique sous-riemannienne de contact en dimension 3. Le cas particulier des problèmes de Didon correspond à une classe de métriques sous-riemanniennes de contact singulières : les métriques sous-riemannienne de contact admettant pour symétrie le champ caractéristique. Nous donnons la classification du lieu conjugué de toutes les situations génériques (c'est-à-dire la classification des singularités génériques de l'application exponentielle) pour une famille à un paramètre de métriques sous-riemanniennes correspondant à une famille de problèmes de Didon riemanniens. En ce qui concerne l'observabilité non linéaire, nous montrons que dans l'ensemble des systèmes non linéaires, lisses ou analytiques, affines en le contrôle, avec une entrée et au moins deux sorties supposées indépendantes de l'entrée, l'observabilité est une propriété générique. En d'autres termes, cela signifie que l'application entrée-sortie n'admet pas de singularités génériques.

APA, Harvard, Vancouver, ISO, and other styles

33

Collins, Anne. "Apprentissage et contrôle cognitif : une théorie computationnelle de la fonction exécutive préfontale humaine." Phd thesis, Université Pierre et Marie Curie - Paris VI, 2010. http://tel.archives-ouvertes.fr/tel-00814840.

Full text

Abstract:

Le contrôle cognitif est la capacité à réagir à des stimuli de manière adaptée au contexte présent ou aux indices passés, en tenant compte de nos buts internes. Le contrôle cognitif et l'apprentissage entretiennent des liens profonds et réciproques. D'un côté, le contrôle cognitif requiert que nous ayons appris un répertoire de comportements ainsi que leur valeur dans différentes conditions, afin de les utiliser à bon escient. D'un autre côté, l'apprentissage d'un répertoire de comportements nécessite du contrôle cognitif, notamment pour réguler l'équilibre entre exploration et exploitation, mais également pour généraliser, décider d'un switch, induire une structure dans un problème, etc.. . . Le contrôle cognitif et l'apprentissage sont donc indissociablement liés dans la flexibilité qui carac- térise la fonction exécutive préfrontale humaine. Cependant, ce lien est actuellement mal compris et peu de travaux de psychologie ou neurosciences cognitives intègrent ces deux aspects. De même, les modèles computationnels d'apprentissage ou de décision existants ne rendent pas compte de leur interaction. Dans ce travail de thèse, nous proposons une théorie mathématique reposant sur des mécanismes d'apprentissage par renforcement et d'inférence bayésienne, qui intègre l'apprentissage de répertoires de comportements (task-sets) dans un milieu incertain et le contrôle cognitif (task-switching) en présence ou en l'absence d'information contextuelle. Cette théorie permet de faire des prédictions spécifiques que nous avons testées dans le cadre de deux expériences comportementales. Celles-ci ont permis de valider les prédictions de la théorie et d'invalider d'autres modèles existants. De plus, la théorie proposée permet d'avancer un facteur explicatif des différences qualitatives de stratégies d'exploration observées entre différents individus. La théorie proposée caractérise de façon intrinsèque des notions essentielles telles que le comporte- ment par défaut, le switch et l'exploration. Elle permet de faire émerger naturellement un mécanisme de contrôle du compromis exploitation - exploration, ainsi que son facteur de pondération. Enfin, les résultats empiriques valident les prédictions et confirment les hypothèses du modèle. Celui-ci pourra être utilisé pour comprendre les computations effectuées par le cerveau dans des études d'imagerie fonctionnelle, avec le cortex préfrontal, les ganglions de la base et des neuromodulateurs (dopamine et norépinephrine) comme centres d'intérêt principaux.

APA, Harvard, Vancouver, ISO, and other styles

34

Côté, Daniel. "Conception par composantes de contrôleurs d'usines modulaires utilisant la théorie du contrôle supervisé." Thèse, Université de Sherbrooke, 2011. http://savoirs.usherbrooke.ca/handle/11143/5148.

Full text

Abstract:

La complexité croissante des processus industriels et de leurs systèmes de contrôle rend de plus en plus attrayant l'usage des méthodes formelles pour leur conception. Plusieurs méthodes ont été mises au point tant pour la synthèse que pour la vérification, utilisant divers formalismes pour la modélisation de problèmes de contrôle et le raisonnement. Lorsqu'un processus peut être modélisé sous forme d'un système à événements discrets, la théorie du contrôle supervisé, originalement formulée par Ramadge et Wonham, offre une base formelle intéressante pour la spécification de problèmes de contrôle car elle permet, par l'application de procédures de synthèse, d'obtenir automatiquement un contrôleur pour le processus.La théorie souffre cependant d'un problème d'explosion combinatoire puisqu'elle utilise des automates d'états finis comme formalisme de modélisation. Plusieurs investigations se sont concentrées sur les moyens de mitiger ce problème en prenant avantage, soit de la structure des systèmes modélisés, soit des propriétés de leur spécification. Il en résulte plusieurs formes de la théorie dont, entre autres, les variantes modulaire, répartie et hiérarchique. D'autre part, certains efforts de recherche se sont concentrés sur le problème de l'implémentation des contrôleurs obtenus par les procédures de synthèse de la théorie. Il existe donc à ce jour plusieurs implémentations de ces procédures couvrant toutes les variantes de la théorie. Mais il ne semble pas y avoir encore d'environnement couvrant le processus de conception au complet. Le problème est encore plus aigu si l'on considère que la phase de modélisation est en général mal définie, voire même ignorée, dans ces implémentations.La présente thèse se propose de dégager les principes permettant de concevoir un environnement couvrant l'ensemble du processus d'ingénierie de contrôleurs dans le cadre de la théorie du contrôle supervisé, intégrant un outillage adéquat pour les trois phases du processus : modélisation, synthèse et génération de code.

APA, Harvard, Vancouver, ISO, and other styles

35

Rochet, Jean-Charles. "Le contrôle des équations aux dérivées partielles issues de la théorie des incitations." Paris 9, 1986. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=1986PA090103.

Full text

Abstract:

Ce travail a eu pour objectif de donner une formulation mathématique correcte et générale des problèmes d'allocation de ressources rares dans un contexte d'information incomplète. En particulier, nous montrons que la concrétisabilité d'un mécanisme est equivalente, sous certaines hypothèses, a une équation aux derivées partielles d'un certain type. La seconde étape est alors de caractériser l'ensemble des solutions convexes de cette équation par une formulation explicite que l'on obtient par application d'un principe économique, le principe de taxation. On se pose ensuite le problème de choix dans l'ensemble de ces mécanismes concretisables. On a alors affaire a un modèle "principal-agent" dont la formulation mathématique est un problème de controle optimal des solutions convexes d'une équation aux derivées partielles. Nous donnons un resultat abstrait d'existence et d'unicité de la solution, ainsi qu'une formulation variationnelle des conditions d'optimalité. La formulation forte reste une pression ouverte. Ces résultats sont ensuite appliqués à plusieurs modèles économiques. Enfin, nous étudions ce cas d'une incertitude bilatérale et le système hyperbolique non linéaire associé.

APA, Harvard, Vancouver, ISO, and other styles

36

Riquet, Alain-Jérôme. "Méthodes de Krylov par blocs pour les équations matricielles en théorie du contrôle." Littoral, 2002. http://www.theses.fr/2002DUNK0076.

Full text

Abstract:

Dans cette thèse, nous explorons certaines méthodes pour résoudre des problèmes numériques de grande taille. Ces techniques sont basées sur des processus de projection sur des sous-espaces. Nous étudions différentes méthodes de projection sur les sous-espaces de Krylov par blocs pour certaines équations matricielles de grande taille. Dans le premier chapître, nous propososns des méthodes des sous-espaces de Krylov par blocs pour résoudre les équations matricielles de Sylvester. Les méthodes proposées sont basées sur les algorithmes d'Arnoldi par blocs, du GMRES par blocs et de Lanczos par blocs. Nous donnons certains résultats théoriques et des expériences numériques pour comparer les performances des différentes méthodes. Dans le second chapître, nous proposons une nouvelle méthode des sous-espaces de Krylov pour résoudre les équations matricielles de Lyapunov de grande taille. Les méthodes proposées sont basées sur le processus Global-Arnoldi. Nous donnons une nouvelle expression de la solution et nous montrons comment extraire des solutions approximatives de rang réduit pour les équations matricielles de Lyapunov. Nous détaillons aussi certains résultats théoriques. Nous montrons comment les techniques des sous-espaces de Krylov considérées précédemment pauvent être appliquées aux équations de Lyapunov discrètes. Nous donnons l'algorithme de Stein Global-Arnoldi utilisant un redémarrage. Dans le troisième chapître, nous donnons une nouvelle méthode des sous-espaces de Krylov par blocs qui permet d'obtenir une approximation d'un système d'ordre réduit. Les propriétés théoriques de cette méthode sont examinées en détail. Nous considérons une méthode de redémarrage implicite qui peut être utilisée pour tenter d'améliorer la convergence. Nous donnons des résultats expérimentaux. Dans le quatrième chapître, nous décrivons un algorithme basé sur la procédure de Lanczos par blocs pour calculer certaines valeurs propres. Nous présentons des comparaisons théoriques entre les procédures d'Arnoldi par blocs et Lanczos par blocs pour obtenir les valeurs propres de matrices de grande dimension. Nous proposons la méthode de Chebyshev-Lanczos par blocs pour résoudre les problèmes non symétriques de valeur propres. Le comportement de cet algorithme est illustré par des exemples numériques
In this thesis, we explore some methods for solving large numerical problems. These techniques are based on projection processes onto subspaces. We study different projection methods on block krylov subspaces for some large matrix equations. In the first chapter, we propose block Krylov subspace methods for solving Sylvester matrix equations. The proposed methods are based on block Arnoldi, block GMRES and nonsymmetric block Lanczos algorithms. We give some theorical results and numerical experiments to compare the performance of the different methods. In a second chapter, we propose a new Krylov subspace method for solving large Lyapunov matrix equations. The proposed methods are based on the Global-Arnoldi process. We give a new expression of the solution and show how to extract low rank approximate solutions to the Lyapunov matrix equation. We detail also some theorical results. We show how the Krylov subspaces techniques considered above can be applied to the discrete-time Lyapunov equation. We give the Stein-Arnoldi algorithm is a restarted mode. In the third chapter, we give a new block Krylov subspace method to a longe dynamical system by a reduced-order one. The theorical properties of this method are investigated, and a new expression of the Frobenius norm of the approximate residu is derived. We consider an implicity restarted method that can be used to accelerate the convergence speed. We also give experimental results. In the fourth chapter, we describe an algorithm based on the block Lanczos procedure for computing some eigenvalues. We present comparaisons between block Arnoldi and Lanczos procedures for computing eigenvalues of large matrices. We propose the block Chebyshev-Lanczos method for solving nonsymmetric eigenvalues problems. The behavior of this algorithm is illustrated by numerical examples

APA, Harvard, Vancouver, ISO, and other styles

37

Bordier, Claire. "Contrôle actif acoustique de sources inaccessibles." Ecole supérieure de mécanique de Marseille, 2003. http://www.theses.fr/2003AIX22105.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Bomble, Laëtitia. "Contrôle de la dynamique de systèmes complexes : Application à l'information quantique et classique." Paris 11, 2010. http://www.theses.fr/2010PA112087.

Full text

Abstract:

Cette thèse porte sur la recherche et l’étude de nouveaux moyens de coder et manipuler de l’information sur des systèmes quantiques. On peut, sur ceux-ci, continuer d’utiliser la logique usuelle (classique) afin de gagner en taille et en rapidité, ou développer une nouvelle logique (quantique) utilisant les propriétés quantiques de ces systèmes afin de faire des opérations irréalisables en logique classique. Les supports de l’information retenus ici sont des états propres de molécules. Pour pouvoir y manipuler l’information, il faut en contrôler la dynamique, ici par l’emploi d’un champ laser mis en forme pour faire sur la molécule une transformation précise (impulsions TT ou STIRAP optimisées par algorithmes génétiques, ou calculées par contrôle optimal). L’objectif de ce travail était de rechercher des systèmes quantiques candidats parmi les molécules pour le calcul classique et quantique, et d’y simuler des portes logiques, avec des encodages de l’information et des méthodes de contrôle variées. Pour le calcul classique, l’implémentation d’un additionneur au moyen de processus STIRAP sur le dioxyde de soufre a été simulée, proposant ainsi une mise en œuvre pour l’implémentation d’une porte classique sur un système moléculaire quantique. Pour le calcul quantique, des circuits ont été implémentés par computation vibrationnelle sur le chlorure de bromoacétyl nitreux, l’acide nitreux et le thiosphogène contrôlés par contrôle optimal, confirmant le potentiel présenté par les molécules polyatomiques pour le calcul quantique. L’utilisation d’un réseau de molécules diatomiques ultra-froides piégées couplée par interaction dipolaire, comme support logique a également été étudiée
This thesis is dedicated to the study and research of new ways of implementing and manipulating information on quantum systems. On such systems, the usual (classical) logic can be used, improving size and duration, or a new logic (quantum) using quantum properties of this systems can be developed allowing new logic operations. The systems used are here eigen states of molecules. In the order of mapped information in such systems, we need to be able to manipulate their dynamics, here we use a laser field designed to make a determined transformation on the molecule (pi-pulse or STIRAP pulses designed by genetic algorithms or pulses generated by optimal control). The goal of this thesis was to search quantum systems among the molecules to be used as candidates for classical and quantum computation and to modelize on them logic gates with various implementations and ways of control. On the classical computation aspect, a simulation of a full adder by a STIRAP process on sulfur dioxide has been made and so a realization of a classical gate on a quantum system has been proposed. On the quantum computation aspect, some circuits has been implemented by vibrational computing on bromoacetyl chloride on nitrous acid and on thiophosgene controlled by optimal control. The utilization on a network of ultra-cold trapped diatomic molecules coupled by dipolar interaction has also been studied

APA, Harvard, Vancouver, ISO, and other styles

39

Harrivel, Dikanaina. "Théorie des champs : approche multisymplectique de la quantification, théorie perturbative et application." Phd thesis, Université d'Angers, 2005. http://tel.archives-ouvertes.fr/tel-00011761.

Full text

Abstract:

Le sujet principal de cette thèse est l'étude de l'équation de Klein-Gordon couplée avec un terme d'interaction et sa quantification du point de vue multisymplectique.

Nous nous interessons tout d'abord à l'équation linéaire et nous proposons une description multisymplectique de la quantification canonique par le biais d'une representation des symétries, de la quantification par deformation et enfin nous introduisons la notion de quatification par déformation multisymplectique.

Ensuite nous traitons le champ en interaction. Nous construisons dans un premier temps des observables sous la forme de séries sur les arbres plans puis nous montrons comment elles peuvent être reliées aux séries de Butcher. Enfin nous voyons comment appliquer nos résultats à la théorie du contrôle.

APA, Harvard, Vancouver, ISO, and other styles

40

Bouchard-Denize, Bruno. "Contrôle stochastique appliqué à la finance." Paris 9, 2000. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=2000PA090079.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Ervedoza, Sylvain. "Problèmes de contrôle et de stabilisation." Versailles-St Quentin en Yvelines, 2008. http://www.theses.fr/2008VERS0039.

Full text

Abstract:

Dans cette thèse, nous étudions des problèmes de contrôlabilité et de stabilisation par rapport à un paramètre. Notre étude s'applique notamment dans le cadre des équations conservatives discrétisées, où le petit paramètre correspond à la taille du maillage. Dans ce cas, un comportement singulier des problèmes de contrôlabilité a été observé, y compris dans le cas très simple de l'équation des ondes unidimensionelle. Nous nous proposons donc de mettre en évidence ces phénomènes, dont la description précise nous permet de proposer des remèdes à leurs comportements singuliers. En particulier, nous construisons des méthodes numériques efficaces de calcul des contrôles exacts pour les équations continues. Par ailleurs, des problèmes similaires apparaissent lorsque l'on discrétise des systèmes amortis exponentiellement stables. En effet, dans ce cas, il peut arriver que les solutions des équations discrétisées ne soient pas uniformément exponentiellement décroissantes. Nous proposons donc des méthodes numériques qui introduisent un terme de viscosité le plus faible possible pour corriger ce comportement et rétablir, uniformément en les paramètres de discrétisation, des propriétés de stabilisation uniformes. Notre approche est essentiellement basée sur des techniques spectrales. Nous utilisons de façon décisive les critères spectraux d'admissibilité et d'observabilité pour les systèmes conservatifs, qui nous permettent notamment de découpler les problèmes de discrétisation en espace et en temps, et d'obtenir ainsi des résultats très généraux
In this thesis, we propose a study of several problems of control and stabilization depending on a parameter. Our study applies in particular to discrete conservative systems, where the parameter coincides with the mesh size. In this case, a singular behavior of the controllability issues has been observed, even in the very simple case of the 1d wave equation. Thus, we propose to present precisely these singular phenomena, which allows us to design remedies to avoid these singular behaviors. In particular, we design efficient numerical methods to compute good approximations of the exact controls of the continuous equations. Moreover, similar problems appear when discretizing exponentially stable damped systems. Indeed, in this case, it may happen that the solutions of the discrete equations do not decay exponentially uniformly with respect to the discretization parameters. We thus propose numerical methods in which a numerical viscosity term has been added in the system, for which we can prove uniform stabilization properties. Our approach is mainly based on spectral techniques. We use in a crucial way spectral criteria for admissibility and observability for conservative systems, which allows in particular to decouple the problems related to the discretization in space and in time, and to obtain very general results

APA, Harvard, Vancouver, ISO, and other styles

42

Magnan, Eric. "Contrôle hypotalamique de la secrétion de GH chez le bélier." Aix-Marseille 3, 1993. http://www.theses.fr/1993AIX30085.

Full text

Abstract:

Bien que la regulation de la secretion de gh soit influencee par de nombreux facteurs aussi bien physiologiques (stress, alimentation, pulsatilite. . . ) que pharmacologiques, la voie finale de ce controle est exercee par l'hypothalamus, principalement par l'interaction de deux hormones hypothalamiques la gh-rh dont l'action est stimulante et la srih qui est inhibitrice. Dans le but de mieux comprendre ces interactions ainsi que le role respectif de ces deux neuropeptides dans le controle de la secretion somatotrope, nous avons utilise deux approches experimentales differentes et complementaires: l'une directe, permettant de mesurer la liberation de gh-rh et de srih dans le sang porte-hypophysaire du mouton dans des conditions basales, ou stimulee par un stress ou par des agents pharmacologiques, et l'autre indirecte, consistant a etudier les effets de l'immunoneutralisation gh-rh et la srih endogenes sur la secretion de gh, basale et stimulee. Les resultats obtenus chez le mouton a partir de ces deux methodes montrent que la gh-rh est le facteur principal du controle de la secretion pulsatile de gh et joue un role essentiel dans la stimulation de la fonction somatotrope induite par le stress ainsi que par les differents agents pharmacologiques testes. En revanche, le role physiologique de la srih est plus difficile a demontrer chez le mouton. En effet, son role dans la pulsatilite de la secretion de la gh semble minime au contraire du rat, et elle ne semble pas impliquee dans l'induction de la periode refractaire induite par la gh-rh, mais elle participe a la prevention de la desensibilisation des cellules somatotropes

APA, Harvard, Vancouver, ISO, and other styles

43

Frisou, Jean. "Le contrôle du comportement de fidélité : premiers jalons pour une théorie dynamique et éclectique." Pau, 2004. http://www.theses.fr/2004PAUU2001.

Full text

Abstract:

Le comportement de fidélité des clients est à la fois un thème majeur de la recherche en marketing et un objectif stratégique des entreprises. Cette thèse a pour but de contribuer à une meilleure connaissance des processus qui contrôlent le comportement de fidélité. Par contrôle nous entendons tous les processus qui ont pour effet de développer ou de faire régresser sur le long terme ce comportement. Alors que les théories marketing s'enferment dans des vues partielles du contrôle et négligent la dimension temporelle du phénomène, nous suggérons un cadre théorique rénové, centré sur la dynamique du contrôle du comportement de fidélité, et fondé sur une démarche éclectique. Pour bâtir ce cadre trois axes de réflexion ont été développés : 1) Comment les théories marketing abordent elles la question du contrôle ? 2) Qu'apportent les théories psychologiques du contrôle de l'action à la compréhension du comportement de fidélité ? 3) Comment rendre compte de façon cohérente de la dynamique de ce phénomène, et des sources multiples de contrôle qu'on lui prête ? Nos investigations confortent notre thèse. Il n'existe pas un processus unique contrôlant sur le long terme l'évolution du comportement de fidélité, mais deux processus distincts agissant en parallèle. L'apprentissage opérant et l'apprentissage cognitif contrôlent plus de 50 % de la tendance latente au comportement de fidélité
The loyalty behavior of customers, is both a major topic in marketing research and a strategic objective of the firms. The purpose of this thesis is to contribute to a better knowledge of the controling processes of loyalty behavior. By control we mean all the processes that lead to the development or the decline of this behavior in the long run. While the marketing theories impose a partial view of loyalty behavior and neglect the temporal dimension of the phenomenon, we suggest a new theoretical framework, focusing on the dynamic control of loyalty behavior and founded on an eclectic approach. Three axes of thinking have been developed. 1) How do the marketing theories tackle the question of control ? 2) What is the contribution of the psychological theories of control to the understanding of loyalty behavior ? 3) How can we describe, with consistency, the dynamic of this phenomenon, and the many sources of control that are attributed to it. Our investigations consolidate our thesis. There is not only one process that controls the evolution of loyalty behavior, but two separate processes acting simultaneously. The operant learning and the cognitive learning control more than 50 % of the latent tendancy to loyalty behavior

APA, Harvard, Vancouver, ISO, and other styles

44

Zoubairi, Hakima. "Homogénéisation et contrôle optimal pour des problèmes de Stokes et pour un problème de torsion élastique." Metz, 2001. http://tel.ccsd.cnrs.fr/documents/archives0/00/00/12/90/index_fr.html.

Full text

Abstract:

Cette thèse est consacrée à l'étude du contrôle optimal et de l'homogénéisation de quelques problèmes liés à l'équation de Stokes ainsi qu'au problème de torsion élastique. Pour chaque problème étudié, nous imposons un contrôle à l'équation d'état. Ce contrôle appartient à un ensemble appelé « ensemble de contrôles admissibles». On se donne une fonction coût qui dépend à la fois de l'état mais aussi du contrôle. Le contrôle optimal (unique) est la fonction dans l'ensemble de contrôles admissibles qui minimise la fonction coût pour tous les contrôles dans cet ensemble. On étudie alors le comportement limite de celui-ci. S'il admet une limite, on la caractérise si possible, comme étant le contrôle optimal associé au problème limite homogénéisé. Dans la première partie, on se propose d'étudier un problème de contrôle optimal dans un mélange de deux fluides. Ces deux fluides sont répartis périodiquement l'un par rapport à l'autre dans un domaine bi ou tridimensionnel. L'écoulement des deux fluides obéit aux équations de Stokes. Dans la deuxième partie, on s'intéresse encore à un mélange de deux fluides visqueux incompressibles séparés par une interface qui oscille rapidement. Ce problème est régit par les équations de Stockes. Dans la troisième partie, on étudie le contrôle optimal pour les équations de Stockes dans les domaines perforés. On suppose que les perforations sont de taille plus petite qu'une période donnée. Dans la dernière partie, on est amené à étudier le contrôle optimal d'un problème de torsion élastique. Dans chacune de ces parties, on caractérise la limite du contrôle optimal comme étant le contrôle optimal du problème limite
This thesis is devoted to the study of optimal control and homogeneization for some problems associated to the Stokes equation and also for an elastic torsion problem. For each of the problems, a control act on the state equation. This control belongs to a set of admissible controls. We consider a cost function wich depends on the state and on the control. The control optimal (unique) is the function in the set of admissible controls which minimizes the cost function. Then we study its behaviour. If it admits a limit, we characterize it as an optimal control associated to the homogenized problem. In the first part, we study an optimal control problem in a mixture of two fluids. Those fluids are distributed periodically in a bi or three-dimensionnal domain. Each fluid obeys the Stokes equations. In the second part, we study also a mixture of two fluids but separated by an rapidly oscillating interface. These fluids obeys the Stoke equations. In the third part, we study an optimal control problem for the Stokes equations in perforated domains. We suppose that the size of the perforations is smaller than a given period. In the last part, we study the optimal control of an elastic torsion problem. For each of these parts, we characterize the limit of the optimal control as the optimal control of the limit problem

APA, Harvard, Vancouver, ISO, and other styles

45

Verfaille, Vincent. "Effets audionumériques adaptatifs : théorie, mise en œuvre et usage en création musicale numérique." Phd thesis, Université de la Méditerranée - Aix-Marseille II, 2003. http://tel.archives-ouvertes.fr/tel-00004448.

Full text

Abstract:

Ce travail de thèse porte sur la théorie, la mise en œuvre et les applications musicales des effets audionumériques adaptatifs. Dans la première partie, nous plaçons le sujet dans le contexte des transformations sonores. Un grand nombre de techniques de traitement du signal sonore numérique se complètent et fournissent un ensemble d'algorithmes permettant de transformer le son. Ces transformations sont appliquées selon les dimensions perceptives du son musical, à savoir la dynamique, la durée, la hauteur, la spatialisation et le timbre. Pour quelques effets, les contrôles évoluent de manière automatique ou périodique, et ce contrôle est intégré à l'algorithme. Le contrôle offert à l'utilisateur porte sur les valeurs de certains paramètres de l'algorithme. Il se réalise à l'aide de contrôleurs réels, tels des potentiomètres, des interrupteurs, ou à l'aide de contrôleurs virtuels, telles les interfaces graphiques sur écran d'ordinateur. En synthèse sonore, l'un des sujets majeurs d'étude à l'heure actuelle est le mapping : il s'agit de savoir comment mettre en correspondance les paramètres d'un contrôleur gestuel et les paramètres d'un algorithme de synthèse. Notre étude se situe à l'intersection entre les effets audionumériques, le contrôle adaptatif et gestuel, et la description de contenu sonore. Dans la seconde partie, nous présentons les effets audionumériques adaptatifs tels que nous les avons formalisés et développés. Ce sont des effets dont le contrôle est automatisé en fonction de descripteurs sonores. Nous avons étudié puis utilisé de nombreux algorithmes de traitement, certains en temps-réel et d'autres hors temps-réel. Nous les avons améliorés afin de permettre l'utilisation de valeurs de contrôle variables. Une réflexion a été menée pour choisir une classification des effets qui ait du sens pour le musicien ; elle a logiquement abouti à la taxonomie perceptive. Parallèlement, nous avons étudié les descripteurs sonores et les moyens de contrôle d'un effet, par le son et par le geste. Nous avons rassemblé de nombreux descripteurs sonores, utilisés en psychoacoustique, en analyse-synthèse, pour la segmentation et la classification d'extraits sonores, et pour la transcription automatique de partition. Nous proposons un contrôle généralisé pour les effets adaptatifs, hiérarchisé en deux niveaux. Le premier niveau de contrôle est le niveau d'adaptation : le contrôle de l'effet est effectué par des descripteurs du son, à l'aide de fonctions de mapping. Nous indiquons des fonctions de conformation (fonctions de transfert non linéaires) permettant de transformer la courbe d'évolution temporelle d'un descripteur, des fonctions de combinaisons des descripteurs ainsi que des fonctions de conformations spécifiques des paramètres de contrôle. Le second niveau de contrôle est celui du contrôle gestuel : le geste agit sur les fonctions de mapping, soit sur la combinaison, soit sur la conformation spécifique des contrôles. De cette étude, il ressort non seulement une généralisation du contrôle des effets audionumériques, mais aussi la réalisation d'outils pour la composition, et leur utilisation en situation musicale. De nombreuses expériences et illustrations sonores ont été réalisées, parmi lesquelles une spatialisation adaptative contrôlée par une danseuse, et un équalisateur stéréophonique adaptatif. Les expériences confirment l'intérêt d'un tel contrôle adaptatif et gestuel, notamment pour modifier l'expressivité d'une phrase musicale, ou pour créer des sons inouïs.

APA, Harvard, Vancouver, ISO, and other styles

46

Tabareau, Nicolas. "Modalités de ressources et contrôle en logique tensorielle." Paris 7, 2008. http://www.theses.fr/2008PA077149.

Full text

Abstract:

Cette thèse présente la logique tensorielle, une version primitive de la logique linéaire où la négation involutive est remplacée par une négation tensorielle. Pour illustrer ce point de vue, nous reformulons les espaces cohérents et les espaces de finitude comme deux modèles de logique linéaire obtenus à partir d'un même modèle de logique tensorielle dont on fait varier la négation. La sémantique de la logique tensorielle est pour nous avant tout catégorique, construite autour des notions de catégorie de dialogue et de modalité de ressource. Nous en donnons un modèle inspiré des jeux de Conway où tous les connecteurs, en particulier les modalités de ressource, sont interprétées de manière non dégénérée. Afin de construire ces modalités de ressource de façon plus automatique, nous développons un cadre pour le calcul des algèbres libres d'une T-théorie enrichie. Cette construction, basée sur la notion d'équipement en distributeurs, repose sur deux propriétés : l'une de nature combinatoire, l'opéradicité ; l'autre de nature algébrique, la complétude algébrique. Nous présentons ensuite un modèle de jeux équipé d'une trace et d'une notion de multiparenthésage. Le contrôle obtenu par le multiparenthésage est alors vu comme une gestion des ressources. Nous utilisons ce modèle pour interpréter une langage avec références d'ordre supérieur. Nous nous tournons enfin vers des sémantiques de plus bas niveau. Dans un premier temps, nous étudions la structure multicatégorique induite par une catégorie de dialogue. Cela nous amène à définir les multicatégories de contrôle. Dans un second temps, nous formalisons en Coq une propriété de sûreté par le typage d'un compilateur vers un langage assembleur. Cette formalisation repose sur la définition d'une sémantique relationnelle des états de la mémoire dont la structure est inspirée des catégories de dialogue
This thesis presents tensorial logic, a primitive version of linear logic where involutive negation is replaced by tensorial negation. As an illustration, we reformulate coherent spaces and finiteness spaces as two different models of linear logic obtained from the same model of tensorial logic by changing the negation. Tensorial logic semantics is, from our point of view, categorical and built on the notions of dialogue category and resource modalities. We provide a mild extension of Conway games that models tensorial logic and where all connectors, and in particular resource modalities, are interpreted in non-degenerate fashion. In order to construct resource modalities more automatically, a framework for Computing the free algebras of an enriched T-theory is developed. This construction, based on the notion of proarrow equipment, relies on two properties: a combinatorial one, operadicity; and an algebraic one, algebraic completeness. Next, a game model equipped with a trace operator and a notion of multibracketing is presented. The control obtained from multibracketing is seen as a resource policy. This model is used to interpret a language with higher order references. Finally, we consider lower level semantics. We begin with studying the multicategorical structure induced by a dialogue category; this leads us to define control multicategories. We then formalize a semantic type safety for a compiler (assembly code) in Coq. This formalization depends upon the definition of a relational semantics for memory states whose structure is inspired by dialogue categories

APA, Harvard, Vancouver, ISO, and other styles

47

Caboche, Émilie. "Contrôle des Solitons de Cavité : étude expérimentale et théorique." Nice, 2009. http://www.theses.fr/2009NICE4102.

Full text

Abstract:

Dans cette thèse, nous revenons sur les notions de structure spatiale étendue et de structure localisée (SL). Ainsi nous décrivons ces phénomènes à travers différents domaines de la physique, de la morphogenèse végétale aux systèmes granulaires. Nous prêtons une attention toute particulière à leur existence en optique. La fin du premier chapitre aborde une approche théorique s’appuyant sur la théorie des bifurcations : il traite un modèle simplifié de l’équation de Swift-Hohenberg, équation minimale permettant l’observation de structures spatiales. Dans le second chapitre, nous décrivons l’intérêt de développer les SL dans les semi-conducteurs : elles sont alors appelées Solitons de Cavité (SC). Nous décrivons ensuite en détails le modèle couramment utilisé pour décrire numériquement ces systèmes en dessous de leur seuil laser. Nous rappelons brièvement les résultats obtenus dans le cas au-dessus du seuil. La seconde partie du chapitre est consacrée à la description expérimentale de la génération de Solitons de Cavité (SC) dans les VCSELs utilisés au-dessus de leur seuil. Le troisième chapitre est employé à l’analyse de la génération d’un flux périodique de SCs issu de la compétition entre les défauts du milieu et un gradient externe. Ce phénomène observé dans l’expérience est analysé grâce au modèle numérique décrit dans le chapitre 2. L’existence de deux temps caractéristiques est mise en évidence : le temps de formation et le temps de décrochage. Combinés, ils mènent à l’apparition de différents régimes de fonctionnement. Une analyse numérique de la collision entre un défaut et un SC conclut cette étude
This thesis is devoted to the description of pattern formation and localized structures in semi-conductors devices. The first part is a review of the appearance of these kinds of structures in other fields as morphogenesis or vibrated granular media. At the end of the first chapter a simplified model (discretized Swift-Hohenberg equation) is proposed in order to understand one of the theoretical approaches allowing to explain pattern an LS formation : the bifurcation theory. In the following chapter we point out the interest of generating LS in semiconductor devices : theses structures are named Cavity Solitons (CS). The ability to produce them in devices tuned above threshold is demonstrated. The third chapter describes experimentally and numerically the interaction between defects in the device (internal gradients) and an external gradient used to move CS. A CS flow is produced : its frequency depends on two characteristic times : the switch-on time and the unpinning time. In order to better understand these regimes we studied numerically both the switching on a defect and the effects of collision between a CS and a defect side. The predominance of one or the other of these two times leads to different behaviours important for applications. Some technological applications are described

APA, Harvard, Vancouver, ISO, and other styles

48

Dang, Ngoc-Minh. "Contrôle stochastique appliqué à la ﬁnance." Paris 9, 2011. http://basepub.dauphine.fr/xmlui/handle/123456789/7237.

Full text

Abstract:

Cette thèse traite des problèmes de trading optimal avec une approche de contrôle stochastique et se compose de quatre parties. On commence par une étude de l’impact du volume sur le prix. On introduit un modèle structurel en temps discret dont le changement de prix est dû aux impacts de tous les volumes, affaiblis par un facteur de decay. Dans un cadre continu, on obtient une condition nécessaire sur les stratégies minimisant un critère de type moyenne-variance, et on la résout numériquement. On propose ensuite un modèle générique permettant d’optimiser l’utilisation d’algorithmes de trading. En nous basant sur des techniques de contrôle impulsionnel, on modélise l’exécution d’un ordre par une séquence (τi,δi,Ei)i, où la i-ième slice est exécutée dans [τi,τi+δi] avec le paramètre Ei. On caractérise la fonction valeur comme solution de viscosité d’un système d’EDP. On fournit un schéma numérique et on prouve dont la convergence. L’approche est illustrée par un exemple numérique correspondant à un cas réel. On s’intéresse après à la notion d’évaluation d’option sur liquidation de book dans un modèle à facteur d’impact, pour lequel les notions habituelles d’évaluation par mesure risque neutre ne font plus sens. On commence par traiter un cadre abstrait qui généralise les travaux de Bouchard-Elie-Touzi (2008), puis on l’applique à l’évaluation de garanties de type VWAP. On établit finalement un résultat d’équivalence entre problèmes de cibles stochastiques et problèmes de contrôle optimal sous forme standard. On montre comment retrouver l’équation d’HJB à partir des équations obtenues par l’approche de cibles stochastiques
This PhD thesis considers the optimal trading problem from the stochastic control approach and consists of four parts. In the first part, we begin with the study of the impacts generated by volumes on the price process. We introduce a structural model in which price movements are due to not only the last trade’s volume but also to those of earlier trades, weakened by a decay factor. Considering a similar continuous version, we provide a condition ensuring the optimality of a strategy for the minimization of the execution cost in a mean-variance framework, and solve it numerically. In the second part, we propose a general model to optimize the way trading algorithms are used. Using an impulse control approach, we model the execution of a large order by a sequence (τi,δi,Ei)i, which is defined so that the i-th slice is executed in [τi,τi+δi] with parameter Ei. We characterize the value function as a viscosity solution of a system of PDE. We provide a numerical scheme and prove its convergence. Numerical illustrations are given for a real case. We deal with the problem of pricing an option on the book liquidation in presence of impact where the classical pricing by neutral risk measure fails. We begin with an abstract model generalized from the work of Bouchard- Eile-Touzi (2008), and then apply to compute the price of a VWAP guaranteed contract. We establish in the last part an equivalence result between stochastic target problems and standard optimal control. We derive the classical HJB equation from the PDE obtained in the stochastic target framework

APA, Harvard, Vancouver, ISO, and other styles

49

Collet, Manuel. "Contrôle actif des structures rayonnantes." Ecully, Ecole centrale de Lyon, 1996. http://www.theses.fr/1996ECDL0029.

Full text

Abstract:

Nous traitons dans ce document, du probleme du controle actif des structures rayonnantes. Nous presentons tout d'abord, diverses methodes de controle applicables en dynamique des structures. Nous nous attacherons en particulier, a l'etude et a la presentation des methodes de controle moderne, et notamment des strategies de controle optimal. Plusieurs variantes sont presentees. Elles recouvrent l'ensemble des differentes options statistiques et frequentielles, utilisables lors de la minimisation de critere quadratique. Agrementees d'un exemple numerique, nous etudions plus particulierement, leurs differentes caracteristiques et leurs domaines d'applications specifiques en mecanique des vibrations. A travers une application numerique plus vaste, nous abordons, ensuite, le probleme de la mise en uvre complete d'une strategie de controle actif. Cette etude portant sur la suspension active d'une antenne de sous-marin, nous permet d'introduire les notions fondamentales de performance, de stabilite et de robustesse. Afin d'apprehender numeriquement ces trois caracteristiques, nous introduisons un ensemble de methodes visant a permettre l'application correcte en dynamique des structures, des differentes strategies de controle purement automaticiennes. La gestion rigoureusement des problemes d'observabilite et de controlabilite est alors aborde, afin de permettre aux systemes envisages, de gerer les difficultes specifiques liees aux problemes de mecanique des milieux continus possedant une infinite de degres de liberte. Ainsi, nous presenterons differents estimateurs d'etat, quelques methodes de synthese de controleurs robustes, mais surtout, nous aborderons deux points cruciaux que sont: l'optimisation des reseaux de transducteurs et l'introduction d'algorithmes adaptatifs d'identification. Ces deux notions permettent, selon nous, de trouver quelques solutions, d'une part, aux problemes de conditionnement selectif des matrices d'observabilite et de controlabilite, et, d'aut re part, aux problemes de robustesse. Nous serons alors, a meme, de traiter les problemes de stabilite des comportements mecaniques residuels (spill-over) ainsi que ceux lies aux modifications de comportements inherentes a la vie des structures. Sur la base de ces principes, nous presentons l'etude numerique et experimentale du controle optimise d'une plaque mince composite par l'intermediaire de transducteurs piezoelectriques semi-repartis. Nous etablirons les relations constitutives du couplage piezoelectrique afin d'obtenir les criteres d'optimisation adequats. Ayant obtenu, theoriquement, les positionnements et les formes optimaux de transducteurs minimisant les risques de spill-over, nous avons mis en uvre experimentalement le systeme de controle. Les resultats obtenus ont alors demontre l'efficacite de la procedure et confirme les principes fondamentaux ayant servi a la conception de l'algorithme de controle actif, base sur l'optimisation globale du systeme: modele, loi de commande, reseau de transducteurs. Afin de demontrer notre souci de realiser un controleur robuste, nous presentons en fin de document, une idee nouvelle concernant l'identification adaptative d'un filtre modal. Ayant prealablement utilise cet outil, lors du controle de la plaque, nous savons qu'il represente le point critique de la procedure utilisee. En assurer le bon fonctionnement garantit la stabilite de la strategie. Ainsi, nous proposons une approche originale, basee sur l'utilisation de filtres adaptatifs lms, visant a retrouver en ligne les bons parametres modaux de filtrage. L'etude presentee traite donc, de l'ensemble des problemes rencontres lors de l'elaboration d'une strategie de controle sur un systeme mecanique. Elle propose une methodologie permettant de minimiser les risques d'instabilite et de definir les points critiques caracterisant la robustesse du systeme. Nous pensons ainsi, garantir l'efficacite de la procedure elaboree, quelles que soient les sollicitions exterieures appliquees a la structure.

APA, Harvard, Vancouver, ISO, and other styles

50

Younes, Abdelrazak. "Théorie séquentielle appliquée au contrôle de l'intégrité du GNSS et à l'hybridation GNSS/INS." Toulouse, INPT, 2000. http://www.theses.fr/2000INPT044H.

Full text

Abstract:

Un récepteur GPS (Système de Positionnement Global par satellite) permet à son utilisateur de connaître sa position et sa vitesse à tout moment et à tout endroit du globe. Malheureusement, le GPS ne peut satisfaire à lui seul les exigences de l'OACI (Organisation de l'Aviation Civile Internationale) pour devenir un moyen unique de navigation. Il doit être amélioré pour cela. Une des principales limitations du GPS est son intégrité. Celle-ci peut être améliorée grâce à une augmentation du GPS ou par son hybridation avec un autre système de navigation. Au niveau du récepteur GPS, un module RAIM (Receiver Autonomous Integrity Monitoring) est proposé pour effectuer le contrôle autonome de l'intégrité du système. Ce module se sert de la redondance inhérente aux mesures GPS pour s'assurer qu'aucune panne n'affecte la solution GPS de navigation. En cas de panne, le RAIM doit aussi pouvoir rapidement détecter cette panne et exclure le satellite qui est en cause. Il existe deux sortes de RAIMs : le RAIM Snapshot n'utilise que les mesures GPS instantanées alors que le RAIM Séquentiel se sert de toutes les mesures passées et présentes pour décider de l'intégrité du système. La géométrie des satellites utilisée pour la solution de navigation peut nuire à la détection et/ou l'isolation d'une panne. Dans ces cas de figure, des tests sur mesures réelles et des simulations montrent que le RAIM Séquentiel est beaucoup plus performant que le RAIM Snapshot. De cette capacité à fonctionner sous des conditions adverses, la disponibilité du GPS lorsqu'il est contrôlé par un RAIM Séquentiel est naturellement améliorée. Beaucoup d'avions civils intègrent un Système de Navigation Inertielle (INS). Grâce à leur grande complémentarité, l'hybridation des systèmes GPS et INS peut devenir un moyen unique de navigation pour certaines phases de vol. Dans ce système, il faut s'assurer que la solution GPS utilisée pour recaler la solution INS soit intègre. C'est ce que permet le RAIM Séquentiel grâce à ses qualités théoriques (vérifiées par simulations). Un schéma d'hybridation exploitant ces qualités est présenté.

APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic 'Théorie du Contrôle'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles