Spelling suggestions: "subject:"théorie duu contrôle"" "subject:"théorie dud contrôle""
11 |
Contrôlabilité de systèmes de réaction-diffusion non linéaires / Controllability of nonlinear reaction-diffusion sytemsLe Balc'h, Kévin 26 June 2019 (has links)
Cette thèse est consacrée au contrôle de quelques équations aux dérivées partielles non linéaires. On s’intéresse notamment à des systèmes paraboliques de réaction-diffusion non linéaires issus de la cinétique chimique. L’objectif principal est de démontrer des résultats de contrôlabilité locale ou globale, en temps petit, ou en temps grand.Dans une première partie, on démontre un résultat de contrôlabilité locale à des états stationnaires positifs en temps petit, pour un système de réaction-diffusion non linéaire.Dans une deuxième partie, on résout une question de contrôlabilité globale à zéro en temps petit pour un système 2 × 2 de réaction-diffusion non linéaire avec un couplage impair.La troisième partie est consacrée au célèbre problème ouvert d’Enrique Fernández-Cara et d’Enrique Zuazua des années 2000 concernant la contrôlabilité globale à zéro de l’équation de la chaleur faiblement non linéaire. On démontre un résultat de contrôlabilité globale à états positifs en temps petit et un résultat de contrôlabilité globale à zéro en temps long.La dernière partie, rédigée en collaboration avec Karine Beauchard et Armand Koenig, est une incursion vers l’hyperbolique. On étudie des systèmes linéaires à coefficients constants, couplant une dynamique transport avec une dynamique parabolique. On identifie leur temps minimal de contrôle et l’influence de leur structure algébrique sur leurs propriétés de contrôle. / This thesis is devoted to the control of nonlinear partial differential equations. We are mostly interested in nonlinear parabolic reaction-diffusion systems in reaction kinetics. Our main goal is to prove local or global controllability results in small time or in large time.In a first part, we prove a local controllability result to nonnegative stationary states in small time, for a nonlinear reaction-diffusion system.In a second part, we solve a question concerning the global null-controllability in small time for a 2 × 2 nonlinear reaction-diffusion system with an odd coupling term.The third part focuses on the famous open problem due to Enrique Fernndez-Cara and Enrique Zuazua in 2000, concerning the global null-controllability of the weak semi-linear heat equation. We show that the equation is globally nonnegative controllable in small time and globally null-controllable in large time.The last part, which is a joint work with Karine Beauchard and Armand Koenig, enters the hyperbolic world. We study linear parabolic-transport systems with constant coeffcients. We identify their minimal time of control and the influence of their algebraic structure on the controllability properties.
|
12 |
Géométrie sous-riemannienne en dimension infinie et applications à l'analyse mathématique des formes / Infinite dimensional sub-Riemannian geometry and applications to shape analysisArguillere, Sylvain 10 July 2014 (has links)
Cette thèse est dédiée à l’étude de la géométrie sous-riemannienne en dimension infinie, et à ses applications à l’analyse des déformations par difféomorphismes. La première partie du manuscrit est un résumé détaillé des travaux effectués. La seconde compile les articles rédigés pendant ces trois dernières années. On étend d’abord à la dimension infinie le cadre de la géométrie sous-riemannienne classique, en établissant notamment des conditions assurant l’existence d’un flot géodésique. Puis, on applique ces résultats aux structures sous-riemanniennes fortes et invariantes à droite sur le groupe des difféomorphismes d’une variété. On définit ensuite rigoureusement les espaces de formes, notion jusqu’alors assez vague dans la littérature. Il s’agit de variétés de Banach sur lesquelles un groupe de difféomorphismes a une action satisfaisant certaines propriétés. On construit alors diverses structures sous-riemanniennes sur ces espaces de formes grâce à cette action. Enfin, on ajoute des contraintes aux déformations possibles et on formule les problèmes d’analyse de formes dans un cadre relevant de la théorie du contrôle optimal en dimension infinie. On démontre un principe du maximum de type Pontryagin adapté à ce contexte, permettant d’établir les équations géodésiques contraintes. Des algorithmes pour la recherche de déformations optimales sont ensuite développés et appuyés par des simulations numériques dans le chapitre 7. Ils unifient et étendent des méthodes précédemment établies pour l’analyse de formes dans le domaine de l’image. / This manuscript is dedicated to the study of infinite dimensional sub-Riemannian geometry and its applications to shape analysis using dieomorphic deformations. The first part is a detailed summary of our work, while the second part combines the articles we wrote during the last three years. We first extend the framework of sub- Riemannian geometry to infinite dimensions, establishing conditions that ensure the existence of a Hamiltonian geodesic flow. We then apply these results to strong right- invariant sub-Riemannian structures on the group of diffeomorphisms of a manifold. We then define rigorously the abstract concept shape spaces. A shape space is a Banach manifold on which the group of diffeomorphisms of a manifold acts in a way that satisfy certain properties. We then define several sub-Riemannian structures on these shape spaces using this action, and study these. Finally, we add constraints to the possible deformations, and formulate shape analysis problems in an infinite dimensional control theoritic framework. We prove a Pontryagin maximum principle adapted to this context, establishing the constrained geodesic equations. Algorithms for fin- ding optimal deformations are then developped, supported by numerical simulations. These algorithms extend and unify previously established methods in shape analysis.
|
13 |
Etude spectrale d'opérateurs de Sturm-Liouville et applications à la contrôlabilité de problèmes paraboliques discrets et continus / Study of spectral properties of Sturm Liouville operators and applications in null controllability of discretized and continuous parabolic problemsAllonsius, Damien 26 September 2018 (has links)
Dans cette thèse, nous étudions la contrôlabilité à zéro de quelques systèmes paraboliques continus et semi-discrétisés. Nous considérons tout d'abord des systèmes en cascade d'équations paraboliques de la forme ∂t −(∂xγ∂x +q). La variable spatiale évolue dans un intervalle réel borné et ce système est semi-discrétisé en espace par un schéma aux différences finies. En appliquant la méthode des moments, nous démontrons des résultats de contrôlabilité à zéro et de φ(h) contrôlabilité à zéro, suivant les hypothèses formulées sur le maillage et les fonctions γ et q. Puis nous étendons ces résultats lorsque la variable d'espace évolue dans un domaine cylindrique, la zone de contrôle se situant dans une partie d'une section au bord du cylindre. Ce domaine cylindrique se décompose en un produit de deux espaces. Sur le premier, de dimension 1, nous appliquons les résultats décrits précédemment. Sur le second, nous appliquons la méthode de Lebeau-Robbiano. Cette approche permet à la fois de montrer que le problème discrétisé est φ(h) contrôlable à zéro et de retrouver un résultat de contrôlabilité à zéro sur le système continu. Dans une autre partie, nous nous intéressons au temps minimal de contrôle à zéro de l'équation de Grushin posée sur un domaine rectangulaire dont le domaine de contrôle est une bande verticale. L'étude se ramène à une infinité dénombrable, indexée par le paramètre de Fourier $n$, de problèmes de contrôle à zéro d'équations paraboliques, traitée, ici encore, à l'aide de la méthode des moments. / In this thesis, we study the null controllability of some continous and semi discretized parabolic systems. We first consider cascade systems of parabolic equations of the form ∂t −(∂xγ∂x +q). The space variable belongs to a real and bounded interval and this system is semi-discretized in space by a finite differences scheme. Applying the so called moments method, we prove null controllability and φ(h) null controllability results, depending on the hypotheses on the mesh and on functions γ and q. Then, we extend this results when the space variable belongs to a cylindrical domain which control zone is in a section at the border of the cylinder. This cylindrical domain is decomposed into a product of two spaces. On the first, of dimension 1, we apply the results described previously. On the second, we use the Lebeau-Robbiano's procedure. In this framework, we prove φ(h) null controllability results on the discretized domain as well as null controllability results on the continous problem. In another section, we investigate the computation of minimal time of null controllability of Grushin's equation defined on a rectangular domain which control region is a vertical strip. This problem of control amounts to study a countably infinite family, indexed by the Fourier parameter $n$, of null control problems of parabolic equations, tackled, once again, with the moments method.
|
14 |
Conception de Mecanismes Inter-couches dans les Systemes MIMO Multi-cellulairesLakshminarayana, Subhash 06 December 2012 (has links) (PDF)
Les prévisions relatives trafic de données au sein des systèmes de communications sans-fil suggèrent une croissance exponentielle, principalement alimentée par l'essor de transferts vidéo mobiles. Etant donné la nature soudaine et fluctuante des demandes de transfert vidéo, il faut dès à présent réfléchir à de nouveaux algorithmes d'allocation de ressources performants. En effet, les algorithmes en couche physique traditionnels, qui réalisent de l'allocation de ressources sous l'hypothèse classique que les transmetteurs sont toujours saturés avec des bits d'information, risquent à l'avenir de s'avérer inefficients. Pour cette raison, les algorithmes de demain se doivent d'être dynamiques, dans le sens où ils seront capables de prendre en compte la nature stochastique des fluctuations du trafic de données et qu'ils intégreront des informations issus de processus de couches supérieures.L'idée centrale de cette thèse est de développer des algorithmes, travaillant avec des informations issues de la couche PHY et de la couche NET, dans un scénario Multi-cells et MIMO (Multiple Inputs, Multiple Outputs).Plus particulièrement, nous considérons un réseau de stations de base (BS) équipés avec plusieurs antennes, chargés de servir plusieurs terminaux mobiles équipés d'une seule antenne (UT) dans leurs cellules respectives. Ce qui nous différencie des travaux précédents, c'est que nous tenons compte de l'aléa avec lequel des demandes de transferts peuvent arriver et que, pour cette raison, nous modélisons la formation de queue de données au niveau des stations de base. Dans cette disposition, nous développons plusieurs algorithmes multicouches, réalisant de l'allocation de ressources décentralisée, et ce, dans une optique d'efficacité énergétique. En particulier, il s'agit ici de réaliser des algorithmes réalisant du beamforming de façon décentralisée et capables de contrôler des fluctuations de trafic, des algorithmes optimisant l'efficacité énergétique sous une contrainte de qualité de service moyenne, des algorithmes de planification décentralisés dans des scénarios multi-cellulaires. Dans cette perspective, nous choisissons de recourir non seulement à des outils d'optimisation de la théorie de Lyapunov, mais également à la théorie des matrices aléatoires et à la théorie du contrôle stochastique.
|
15 |
Towards dependability and performance benchmarking for cloud computing services / Vers la fiabilité et la performance des services de Cloud ComputingSangroya, Amit 24 April 2014 (has links)
Le Cloud Computing est en plein essor, grace a ses divers avantages, telsl'elasticite, le cout, ou encore son importante exibilite dans le developpementd'applications. Il demeure cependant des problemes en suspens, lies auxperformances, a la disponibilite, la fiabilite, ou encore la securite. De nombreusesetudes se focalisent sur la fiabilite et les performance dans les servicesdu Cloud, qui sont les points critiques pour le client. On retrouve parmicelles-ci plusieurs themes emergents, allant de l'ordonnancement de tachesau placement de donnees et leur replication, en passant par la tolerance auxfautes adaptative ou a la demande, et l'elaboration de nouveaux modeles defautes.Les outils actuels evaluant la fiabilite des services du Cloud se basent surdes parametres simplifies. Ils ne permettent pas d'analyser les performancesou de comparer l'efficacite des solutions proposees. Cette these aborde precisement ce probleme en proposant un modele d'environnement complet detest destine a evaluer la fiabilite et les performances des services de CloudComputing. La creation d'outils de tests destines a l'evaluation de la fiabiliteet des performances des services du Cloud pose de nombreux defis, en raisonde la grande quantite et de la complexite des donnees traitees par ce genrede services. Les trois principaux modeles de Cloud Computing sont respectivement:Infrastructure en tant que Service (IaaS), Plate-forme en tant queService (PaaS) et Logiciel en tant que Service (SaaS).Dans le cadre de cettethese, nous nous concentrons sur le modele PaaS. Il permet aux systemesd'exploitation ou aux intergiciels d'etre accessibles via une connexion internet.Nous introduisons une architecture de test generique, qui sera utiliseepar la suite lors de la creation d'outils de tests, destines a l'evaluation de lafiabilite et de la performance. / Cloud computing models are attractive because of various benefits such asscalability, cost and exibility to develop new software applications. However,availability, reliability, performance and security challenges are still not fullyaddressed. Dependability is an important issue for the customers of cloudcomputing who want to have guarantees in terms of reliability and availability.Many studies investigated the dependability and performance of cloud services,ranging from job scheduling to data placement and replication, adaptiveand on-demand fault-tolerance to new fault-tolerance models. However, thead-hoc and overly simplified settings used to evaluate most cloud service fault toleranceand performance improvement solutions pose significant challengesto the analysis and comparison of the effectiveness of these solutions.This thesis precisely addresses this problem and presents a benchmarkingapproach for evaluating the dependability and performance of cloud services.Designing of dependability and performance benchmarks for a cloud serviceis a particular challenge because of high complexity and the large amount ofdata processed by such service. Infrastructure as a Service (IaaS), Platform asa Service (PaaS) and Software as a Service (SaaS) are the three well definedmodels of cloud computing. In this thesis, we will focus on the PaaS modelof cloud computing. PaaS model enables operating systems and middlewareservices to be delivered from a managed source over a network. We introduce ageneric benchmarking architecture which is further used to build dependabilityand performance benchmarks for PaaS model of cloud services.
|
16 |
Conditions d'optimalité pour des problèmes en contrôle optimal et applications / Optimality conditions for optimal control problems and applicationsKhalil, Nathalie 17 November 2017 (has links)
Le projet de cette thèse est double. Le premier concerne l’extension des résultats précédents sur les conditions nécessaires d’optimalité pour des problèmes avec contraintes d’état, dans le cadre du contrôle optimal ainsi que dans le cadre de calcul des variations. Le deuxième objectif consiste à travailler sur deux nouveaux aspects de recherche : dériver des résultats de viabilité pour une classe de systèmes de contrôle avec des contraintes d’état dans lesquels les conditions dites ‘standard inward pointing conditions’ sont violées; et établir les conditions nécessaires d’optimalité pour des problèmes de minimisation de coût moyen éventuellement perturbés par des paramètres inconnus.Dans la première partie, nous examinons les conditions nécessaires d’optimalité qui jouent un rôle important dans la recherche de candidats pour être des solutions optimales parmi toutes les solutions admissibles. Cependant, dans les problèmes d’optimisation dynamique avec contraintes d’état, certaines situations pathologiques pourraient survenir. Par exemple, il se peut que le multiplicateur associé à la fonction objective (à minimiser) disparaisse. Dans ce cas, la fonction objective à minimiser n’intervient pas dans les conditions nécessaires de premier ordre: il s’agit du cas dit anormal. Un phénomène pire, appelé le cas dégénéré montre que, dans certaines circonstances, l’ensemble des trajectoires admissibles coïncide avec l’ensemble des candidats minimiseurs. Par conséquent, les conditions nécessaires ne donnent aucune information sur les minimiseurs possibles.Pour surmonter ces difficultés, de nouvelles hypothèses supplémentaires doivent être imposées, appelées les qualifications de la contrainte. Nous étudions ces deux problèmes (normalité et non dégénérescence) pour des problèmes de contrôle optimal impliquant des contraintes dynamiques exprimées en termes d’inclusion différentielle, lorsque le minimiseur a son point de départ dans une région où la contrainte d’état est non lisse. Nous prouvons que sous une information supplémentaire impliquant principalement le cône tangent de Clarke, les conditions nécessaires sous la forme dite ‘Extended Euler-Lagrange condition’ sont satisfaites en forme normale et non dégénérée pour deux classes de problèmes de contrôle optimal avec contrainte d’état. Le résultat sur la normalité est également appliqué pour le problème de calcul des variations avec contrainte d’état.Dans la deuxième partie de la thèse, nous considérons d’abord une classe de systèmes de contrôle avec contrainte d’état pour lesquels les qualifications de la contrainte standard du ‘premier ordre’ ne sont pas satisfaites, mais une qualification de la contrainte d’ordre supérieure (ordre 2) est satisfaite.Nous proposons une nouvelle construction des trajectoires admissibles (dit un résultat de viabilité) et nous étudions des exemples (tels que l’intégrateur non holonomique de Brockett) fournissant en plus un résultat d’estimation non linéaire. L’autre sujet de la deuxième partie de la thèse concerne l’étude d’une classe de problèmes de contrôle optimal dans lesquels des incertitudes apparaissent dans les données en termes de paramètres inconnus. En tenant compte d’un critère de performance sous la forme de coût moyen, une question cruciale est clairement de pouvoir caractériser les contrôles optimaux indépendamment de l’action du paramètre inconnu: cela permet de trouver une sorte de ‘meilleur compromis’ parmi toutes les réalisations possibles du système de contrôle tant que le paramètre varie. Pour ce type de problèmes, nous obtenons des conditions nécessaires d’optimalité sous la forme du Principe du Maximum (éventuellement pour le cas non lisse). / The project of this thesis is twofold. The first concerns the extension of previous results on necessary optimality conditions for state constrained problems in optimal control and in calculus of variations. The second aim consists in working along two new research lines: derive viability results for a class of control systems with state constraints in which ‘standard inward pointing conditions’ are violated; and establish necessary optimality conditions for average cost minimization problems possibly perturbed by unknown parameters.In the first part, we examine necessary optimality conditions which play an important role in finding candidates to be optimal solutions among all admissible solutions. However, in dynamic optimization problems with state constraints, some pathological situations might arise. For instance, it might occur that the multiplier associated with the objective function (to minimize) vanishes. In this case, the objective function to minimize does not intervene in first order necessary conditions: this is referred to as the abnormal case. A worse phenomenon, called the degenerate case shows that in some circumstances the set of admissible trajectories coincides with the set of candidates to be minimizers. Therefore the necessary conditions give no information on the possible minimizers.To overcome these difficulties, new additional hypotheses have to be imposed, known as constraint qualifications. We investigate these two issues (normality and non-degeneracy) for optimal control problems involving state constraints and dynamics expressed as a differential inclusion, when the minimizer has its left end-point in a region where the state constraint set in nonsmooth. We prove that under an additional information involving mainly the Clarke tangent cone, necessary conditions in the form of the Extended Euler-Lagrange condition are derived in the normal and non-degenerate form for two different classes of state constrained optimal control problems. Application of the normality result is shown also for the calculus of variations problem subject to a state constraint.In the second part of the thesis, we consider first a class of state constrained control systems for which standard ‘first order’ constraint qualifications are not satisfied, but a higher (second) order constraint qualification is satisfied. We propose a new construction for feasible trajectories (a viability result) and we investigate examples (such as the Brockett nonholonomic integrator) providing in addition a non-linear stimate result. The other topic of the second part of the thesis concerns the study of a class of optimal control problems in which uncertainties appear in the data in terms of unknown parameters. Taking into consideration an average cost criterion, a crucial issue is clearly to be able to characterize optimal controls independently of the unknown parameter action: this allows to find a sort of ‘best compromise’ among all the possible realizations of the control system as the parameter varies. For this type of problems, we derive necessary optimality conditions in the form of Maximum Principle (possibly nonsmooth).
|
17 |
Contrôle en mécanique des fluides et couches limites / Control in fluid mechanics and boundary layersMarbach, Frédéric 27 September 2016 (has links)
Cette thèse est consacrée à l'étude du contrôle de quelques équations aux dérivées partielles non linéaires issues de la mécanique des fluides. On s'intéresse notamment à l'équation de Burgers et à l'équation de Navier-Stokes. L'objectif principal est de démontrer des résultats de contrôle globaux en temps petit y compris en présence de couches limites. On montre que cela est possible en introduisant une nouvelle méthode dite "de la dissipation bien préparée". Cette méthode consiste à procéder en deux phases : une phase très courte non visqueuse suivi d'une phase plus longue d'auto-dissipation de la couche limite. Aussi bien pour Burgers que pour Navier-Stokes avec des conditions au bord de glissement avec frottement, on démontre que cette dissipation est suffisante si elle a été bien préparée. De plus, on étudie une question de contrôlabilité locale pour l'équation de Burgers lorsqu'un seul contrôle scalaire est utilisé. On démontre en améliorant une technique de noyau quadratique que le système n'est pas localement contrôlable en temps petit. / This thesis is devoted to the study of the controllability of non linear partial differential equations in fluid mechanics. We are mostly interested in Burgers equation and Navier-Stokes equation. Our main goal is to prove small-time global results, even in the presence of boundary layers. We prove that it is possible to obtain such results by introducing a new method named: ``well prepared dissipation''. This method proceeds in two phases: first, a quick phase using the inviscid behavior of the system, then a longer phase during which the boundary layer dissipates all by itself. Both for Burgers and for Navier-Stokes with Navier slip-with-friction boundary conditions, we prove that this dissipation is sufficient if it has been well prepared. Moreover, we study a question of local null controllability for the Burgers equation with a single scalar control. We prove by enhancing a second order kernel approach that the system is not small time locally null controllable.
|
18 |
Théorie de contrôle et systèmes dynamiques / Control theory and dynamical systemsLazrag, Ayadi 25 September 2014 (has links)
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.
|
19 |
Synthèse de contrôle par supervision pour des systèmes HVDC à base de convertisseurs modulaires multiniveaux / Supervisory control synthesis for MMC-based HVDC systemsRomero Rodríguez, Miguel 09 November 2018 (has links)
Ces dernières années, les technologies à courant continu haute tension (en anglais, HVDC) basées sur les convertisseurs modulaires multiniveaux (MMC) sont adoptées comme solution pour l'intégration efficace des énergies renouvelables dans les réseaux électriques. Cependant, ces technologies présentent de nouveaux défis dans la façon dont les systèmes de transmission de puissance sont contrôlés et exploités, car des stratégies de contrôle plus rapides et plus complexes seront nécessaires dans un domaine qui repose aujourd'hui fortement sur la décision humaine. Dans ce contexte, la modélisation des systèmes à événements discrets (SED) et la théorie du contrôle par supervision (TCS) sont des outils puissants pour la synthèse de superviseurs qui assurent que le système à contrôler respecte un ensemble de spécifications comportementales, imposées par le concepteur, dans ses limites physiques. Ce travail propose une méthode pour le développement complet, de la conception à la mise en œuvre, du contrôle par supervision d'un système Multi-Terminal DC (MTDC). Une analyse du système considéré a été effectuée afin d'identifier les principaux composants et modes de fonctionnement du réseau. La solution proposée repose sur la modélisation par événements discrets du comportement en temps continu des composants du système. A partir de là, les concepts de la TCS sont appliqués de manière à obtenir une architecture de contrôle hiérarchique prenant en compte la priorité de certaines actions de contrôle à traiter au niveau local. De plus, les contrôleurs discrets obtenus présentent une structure de commutation de mode afin de réaliser une gestion de mode pendant le fonctionnement du réseau MTDC. Enfin, une méthode pour la mise en œuvre des contrôleurs obtenus dans un logiciel de simulation de système électrique répandu est proposée. L'ensemble dutravail a été validé par la simulation d'une étude de cas impliquant la gestion des modes d'un système MTDC bipolaire à trois terminaux. / The growth of renewable energy production is changing the future of power transmission systems. In recent years, High-Voltage Direct Current (HVDC) technologies based on Modular Multilevel Converters (MMC) are embraced by industry and academia as a solution for the efficient integration of renewable energies into electrical grids. However, this type of technology introduces new challenges in the way power transmission systems are controlled and operated, as faster and more complex control strategies will be needed in a domain which nowadays relies heavily on human decision. In this context, Discrete Event Systems (DES) modeling and Supervisory Control Theory (SCT) are powerful tools for the synthesis of supervisors ensuring that the system to be controlled respects a set of behavioral specifications, imposed by the designer, within its physical limitations. This work proposes a method for the full development, from conception to implementation, of the supervisory control of a multi-terminal DC (MTDC) system. A functional analysis on the considered system has been done so as to identify the main components and operational modes of the grid. Then, the proposed solution is based on the discrete-event modeling of the continuous-time behavior of the components in the system. From there, SCT concepts are applied so as to obtain a hierarchical control architecture taking into account the priority of some control actions that should be treated at the local level. Furthermore, the obtained discrete controllers present a mode-switching structure in order to realize mode management during the operation of the MTDC grid. Finally, a method for the implementation of the obtained controllers in widespread power system simulation software is proposed. The whole work has been validated through the simulation of a case study, involving the mode management of a 3-terminal bipolar MTDC system.
|
20 |
Cross Layer Design in MIMO Multi-cell Systems / Conception de Mecanismes Inter-couches dans les Systemes MIMO Multi-cellulairesLakshminarayana, Subhash 06 December 2012 (has links)
Les prévisions relatives trafic de données au sein des systèmes de communications sans-fil suggèrent une croissance exponentielle, principalement alimentée par l’essor de transferts vidéo mobiles. Etant donné la nature soudaine et fluctuante des demandes de transfert vidéo, il faut dès à présent réfléchir à de nouveaux algorithmes d’allocation de ressources performants. En effet, les algorithmes en couche physique traditionnels, qui réalisent de l’allocation de ressources sous l’hypothèse classique que les transmetteurs sont toujours saturés avec des bits d’information, risquent à l’avenir de s’avérer inefficients. Pour cette raison, les algorithmes de demain se doivent d’être dynamiques, dans le sens où ils seront capables de prendre en compte la nature stochastique des fluctuations du trafic de données et qu’ils intégreront des informations issus de processus de couches supérieures.L’idée centrale de cette thèse est de développer des algorithmes, travaillant avec des informations issues de la couche PHY et de la couche NET, dans un scénario Multi-cells et MIMO (Multiple Inputs, Multiple Outputs).Plus particulièrement, nous considérons un réseau de stations de base (BS) équipés avec plusieurs antennes, chargés de servir plusieurs terminaux mobiles équipés d’une seule antenne (UT) dans leurs cellules respectives. Ce qui nous différencie des travaux précédents, c’est que nous tenons compte de l’aléa avec lequel des demandes de transferts peuvent arriver et que, pour cette raison, nous modélisons la formation de queue de données au niveau des stations de base. Dans cette disposition, nous développons plusieurs algorithmes multicouches, réalisant de l’allocation de ressources décentralisée, et ce, dans une optique d’efficacité énergétique. En particulier, il s’agit ici de réaliser des algorithmes réalisant du beamforming de façon décentralisée et capables de contrôler des fluctuations de trafic, des algorithmes optimisant l’efficacité énergétique sous une contrainte de qualité de service moyenne, des algorithmes de planification décentralisés dans des scénarios multi-cellulaires. Dans cette perspective, nous choisissons de recourir non seulement à des outils d’optimisation de la théorie de Lyapunov, mais également à la théorie des matrices aléatoires et à la théorie du contrôle stochastique. / Future wireless communication systems are expected to see an explosion in the wireless traffic which is mainly fueled by mobile video traffic. Due to the time varying and bursty nature of video traffic, wireless systems will see a widerrange of fluctuations in their traffic patterns. Therefore, traditional physical layer based algorithms which perform resource allocation under the assumption that the transmitters are always saturated with information bits, might no longer be efficient. It is, thus, important to design dynamic resource allocation algorithms which can incorporate higher layer processes and account for the stochastic nature of the wireless traffic.The central idea of this thesis is to develop cross-layer design algorithmsbetween the physical and the network layer in a multiple input multiple output (MIMO) multi-cell setup. Specifically, we consider base stations (BSs) equipped with multiple antennas serving multiple single antenna user terminals (UTs) in their respective cells. In contrast to the previous works, we consider the randomness in the arrival of information bits and hence account for the queuing at the BSs. With this setup, we develop various cross-layer based resource allocation algorithms. We incorporate two important design considerations namely decentralized design and energy efficiency. In particular, we focus on developing decentralized beamforming and traffic flow controller design, energy efficient design under time average QoS constraints and decentralized scheduling strategy in a multi-cell scenario. To this end, we use tools from Lyapunov optimization, random matrix theory and stochastic control theory.
|
Page generated in 0.0935 seconds