271 |
Classes de récurrence par chaînes non hyperboliques des difféomorphismes C¹ / Non-hyperbolic chain recurrence classes of C¹ diffeomorphismsWang, Xiaodong 24 May 2016 (has links)
La dynamique d'un difféomorphisme d'une variété compacte est essentiellement concentrée sur l'ensemble récurrent par chaînes, qui est partitionné en classes de récurrence par chaînes, disjointes et indécomposables. Le travail de Bonatti et Crovisier [BC] montre que, pour les difféomorphismes C¹-génériques, une classe de récurrence par chaînes ou bien est une classe homocline, ou bien ne contient pas de point périodique. Une classe de récurrence par chaînes sans point périodique est appelée classe apériodique.Il est clair qu'une classe homocline hyperbolique ni contient d'orbite périodique faible ni supporte de mesure non hyperbolique.Cette thèse tente de donner une caractérisation des classes homoclines non hyperboliques en montrant qu'elles contiennent des orbites périodiques faibles ou des mesures ergodiques non hyperboliques. Cette thèse décrit également les décompositions dominées sur les classes apériodiques.Le premier résultat de cette thèse montre que, pour les difféomorphismes C¹-génériques, si les orbites périodiques contenues dans une classe homocline H(p) ont tous leurs exposants de Lyapunov bornés loin de zéro, alors H(p) doit être (uniformément) hyperbolique. Ceci est dans l'esprit des travaux sur la conjecture de stabilité, mais il y a une différence importante lorsque la classe homocline H(p) n'est pas isolée. Par conséquent, nous devons garantir que des orbites périodiques "faibles'', crées par perturbations au voisinage de la classe homocline, sont contenues dans la classe. En ce sens, le problème est de nature "intrinsèque'', et l'argument classique de la conjecture de stabilité est impraticable.Le deuxième résultat de cette thèse prouve une conjecture de Díaz et Gorodetski [DG]: pour les difféomorphismes C¹-génériques, si une classe homocline n'est pas hyperbolique, alors elle porte une mesure ergodique non hyperbolique. C'est un travail en collaboration avec C. Cheng, S. Crovisier, S. Gan et D. Yang. Dans la démonstration, nous devons appliquer une technique introduité dans [DG], et qui améliore la méthode de [GIKN], pour obtenir une mesure ergodique comme limite d'une suite de mesures périodiques.Le troisième résultat de cette thèse énonce que, génériquement, une décomposition dominée non-triviale sur une classe apériodique stable au sens de Lyapunov est en fait une décomposition partiellement hyperbolique. Plus précisément, pour les difféomorphismes C¹-génériques, si une classe apériodique stable au sens de Lyapunov a une décomposition dominée non-triviale Eoplus F, alors, l'un des deux fibrés est hyperbolique: soit E contracté, soit F dilaté.Dans les démonstrations des résultats principaux, nous construisons des perturbations qui ne sont pas obtenues directement à partir des lemmes de connexion classiques. En fait, il faut appliquer le lemme de connexion un grand nombre (et même un nombre infini) de fois. Nous expliquons les méthodes de connexions multiples dans le Chapitre 3. / The dynamics of a diffeomorphism of a compact manifold concentrates essentially on the chain recurrent set, which splits into disjoint indecomposable chain recurrence classes. By the work of Bonatti and Crovisier [BC], for C¹-generic diffeomorphisms, a chain recurrence class either is a homoclinic class or contains no periodic point. A chain recurrence class without a periodic point is called an aperiodic class.Obviously, a hyperbolic homoclinic class can neither contain weak periodic orbit or support non-hyperbolic ergodic measure.This thesis attempts to give a characterization of non-hyperbolic homoclinic classes via weak periodic orbits inside or non-hyperbolic ergodic measures supported on it. Also, this thesis gives a description of the dominated splitting on Lyapunov stable aperiodic classes.The first result of this thesis shows that for C¹-generic diffeomorphisms, if the periodic orbits contained in a homoclinic class H(p) have all their Lyapunov exponents bounded away from 0, then H(p) must be (uniformly) hyperbolic. This is in spirit of the works of the stability conjecture, but with a significant difference that the homoclinic class H(p) is not known isolated in advance. Hence the "weak'' periodic orbits created by perturbations near the homoclinic class have to be guaranteed strictly inside the homoclinic class. In this sense the problem is of an "intrinsic" nature, and the classical argument of the stability conjecture does not pass through.The second result of this thesis proves a conjecture by Díaz and Gorodetski [DG]: for C¹-generic diffeomorphisms, if a homoclinic class is not hyperbolic, then there is a non-hyperbolic ergodic measure supported on it. This is a joint work with C. Cheng, S. Crovisier, S. Gan and D. Yang. In the proof, we have to use a technic introduced in [DG], which developed the method of [GIKN], to get an ergodic measure by taking the limit of a sequence of periodic measures.The third result of this thesis states that, generically, a non-trivial dominated splitting over a Lyapunov stable aperiodic class is in fact a partially hyperbolic splitting. To be precise, for C¹-generic diffeomorphisms, if a Lyapunov stable aperiodic class admits a non-trivial dominated splitting Eoplus F, then one of the two bundles is hyperbolic: either E is contracted or F is expanded.In the proofs of the main results, we construct several perturbations which are not simple applications of the connecting lemmas. In fact, one has to apply the connecting lemma several (even infinitely many) times. We will give the detailed explanations of the multi-connecting processes in Chapter 3.
|
272 |
Understanding cell dynamics in cancer from control and mathematical biology standpoints : particular insights into the modeling and analysis aspects in hematopoietic systems and leukemia / Modélisation et analyse de stabilité des dynamiques de populations cellulaires cancéreuses : applications au cas de l'hématopoïèse et de la leucémie aiguë myéloblastiqueDjema, Walid 21 November 2017 (has links)
Cette thèse porte sur la modélisation et l’analyse de stabilité de certains mécanismes biologiques complexes en rapport avec le cancer. Un intérêt particulier est porté au cas de l’hématopoïèse et de la leucémie aiguë myéloblastique (LAM). Les modèles utilisés et/ou introduits dans cette thèse se décrivent par des équations aux dérivées partielles structurées en âge, qui se réduisent à des systèmes à retards de plusieurs types (retards ponctuels ou distribués, à support fini ou infini). Ces modèles à retards sont parfois couplés à des équations aux différences, et possiblement avec des paramètres variant dans le temps. Un des principaux challenges dans ce travail consiste à développer des méthodes temporelles, qui se basent sur la construction de fonctionnelles de Lyapunov-Krasovskii strictes, pour les systèmes non-linéaires à retards étudiés. Les principales notions abordées dans ces travaux incluent : l’analyse de stabilité/stabilisation et de robustesse, l’emploi de techniques de modélisation des populations cellulaires saines et malades, l’étude de différentes classes de systèmes dynamiques, (possiblement à temps variant ou à commutation), et également l’introduction de quelques outils issus de l’intelligence artificielle (planification et recherche de solution) dans un contexte de modèles biologiques. Ainsi, les méthodes de modélisation et d’analyse employées dans ce travail ont permis d’une part d’étendre les résultats de stabilité de cette classe de systèmes biologiques, et d’autre part de mieux comprendre certains mécanismes biologiques liés au cancer et sa thérapie. Plus précisément, certains concepts récemment établis en biologie et en médecine sont mis en évidence dans ce travail pour la première fois dans cette classe de systèmes, telles que : la dédifférenciation des cellules (plasticité), ou encore la dormance des cellules cancéreuses dans des modèles tenant compte de la cohabitation entre cellules saines et mutées. Les résultats obtenus sont interprétés dans le cas de l’hématopoïèse et de la LAM, mais ce travail s’applique également à d’autres types de tissus où le cycle cellulaire se produit de façon similaire. / Medical research is looking for new combined targeted therapies against cancer. Our research project -which involves intensive collaboration with hematologists from Saint-Antoine Hospital in Paris- is imbued within a similar spirit and fits the expectations of a better understanding of the behavior of blood cell dynamics. In fact, hematopoiesis provides a paradigm for studying all the mammalian stem cells, as well as all the mechanisms involved in the cell cycle. We address multiple issues related to the modeling and analysis of the cell cycle, with particular insights into the hematopoietic systems. Stability features of the models are highlighted, since systems trajectories reflect the most prominent healthy or unhealthy behaviors of the biological process under study. We indeed perform stability analysis of systems describing healthy and unhealthy situations, with a particular interest in the case of acute myeloblastic leukemia (AML). Thus, we pursue the objectives of understanding the interactions between the various parameters and functions involved in the mechanisms of interest. For that purpose, an advanced stability analysis of the cell fate evolution in treated or untreated leukemia is performed in several modeling frameworks, and our study suggests new anti-leukemic combined chemotherapy. Throughout the thesis, we cover many biological evidences that are currently undergoing intensive biological research, such as: cell plasticity, mutations accumulation, cohabitation between ordinary and mutated cells, control or eradication of cancer cells, cancer dormancy, etc.Among the contributions of Part I of the thesis, we can mention the extension of both modeling and analysis aspects in order to take into account a proliferating phase in which most of the cells may divide, or die, while few of them may be arrested during their cycle for unlimited time. We also introduce for the first time cell-plasticity features to the class of systems that we are focusing on.Next, in Part II, stability analyses of some differential-difference cell population models are performed through several time-domain techniques, including tools of Comparative and Positive Systems approaches. Then, a new age-structured model describing the coexistence between cancer and ordinary stem cells is introduced. This model is transformed into a nonlinear time-delay system that describes the dynamics of healthy cells, coupled to a nonlinear differential-difference system governing the dynamics of unhealthy cells. The main features of the coupled system are highlighted and an advanced stability analysis of several coexisting steady states is performed through a Lyapunov-like approach for descriptor-type systems. We pursue an analysis that provides a theoretical treatment framework following different medical orientations, among which: i) the case where therapy aims to eradicate cancer cells while preserving healthy ones, and ii) a less demanding, more realistic, scenario that consists in maintaining healthy and unhealthy cells in a controlled stable dormancy steady-state. Mainly, sufficient conditions for the regional exponential stability, estimate of the decay rate of the solutions, and subsets of the basins of attraction of the steady states of interest are provided. Biological interpretations and therapeutic strategies in light of emerging AML-drugs are discussed according to our findings.Finally, in Part III, an original formulation of what can be interpreted as a stabilization issue of population cell dynamics through artificial intelligence planning tools is provided. In that framework, an optimal solution is discovered via planning and scheduling algorithms. For unhealthy hematopoiesis, we address the treatment issue through multiple drug infusions. In that case, we determine the best therapeutic strategy that restores normal blood count as in an ordinary hematopoietic system.
|
273 |
Feedback exponential stabilization of open quantum systems undergoing continuous-time measurements / Stabilisation exponentielle par rétroaction de systèmes quantiques ouverts soumis à des mesures en temps continuLiang, Weichao 30 October 2019 (has links)
Dans cette thèse, nous nous intéressons à la stabilisation par rétroaction des systèmes quantiques ouverts soumis à des mesures imparfaites en temps continu. Tout d'abord, nous introduisons la théorie du filtrage quantique pour décrire l'évolution temporelle de l'opérateur de densité conditionnelle représentant un état quantique en interaction avec un environnement. Ceci est décrit par une équation différentielle stochastique à valeurs matricielles. Deuxièmement, nous étudions le comportement asymptotique des trajectoires quantiques associées à des systèmes de spin à N niveaux pour des états initiaux donnés, pour les cas avec et sans loi de rétroaction. Dans le cas sans loi de rétroaction, nous montrons la propriété de réduction de l'état quantique à vitesse exponentielle. Ensuite, nous fournissons des conditions suffisantes sur la loi de contrôle assurant une convergence presque sûre vers un état pur prédéterminé correspondant à un vecteur propre de l'opérateur de mesure. Troisièmement, nous étudions le comportement asymptotique des trajectoires de systèmes ouverts à plusieurs qubits pour des états initiaux donnés. Dans le cas sans loi de rétroaction, nous montrons la réduction exponentielle de l'état quantique pour les systèmes N-qubit avec deux canaux quantiques. Dans le cas particulier des systèmes à deux qubits, nous donnons des conditions suffisantes sur la loi de contrôle assurant la convergence asymptotique vers un état cible de Bell avec un canal quantique, et la convergence exponentielle presque sûre vers un état cible de Bell avec deux canaux quantiques. Ensuite, nous étudions le comportement asymptotique des trajectoires des systèmes quantiques ouverts de spin-1/2 avec les états initiaux inconnus soumis à des mesures imparfaites en temps continu, et nous fournissons des conditions suffisantes au contrôleur pour garantir la convergence de l'état estimé vers l'état quantique réel lorsque le temps tend vers l'infini. En conclusion, nous discutons de manière heuristique du problème de stabilisation exponentielle des systèmes de spin à N niveaux avec les états initiaux inconnus et nous proposons des lois de rétroaction candidates afin de stabiliser le système de manière exponentielle. / In this thesis, we focus on the feedback stabilization of open quantum systems undergoing imperfect continuous-time measurements. First, we introduce the quantum filtering theory to obtain the time evolution of the conditional density operator representing a quantum state in interaction with an environment. This is described by a matrix-valued stochastic differential equation. Second, we study the asymptotic behavior of quantum trajectories associated with N-level quantum spin systems for given initial states, for the cases with and without feedback law. For the case without feedback, we show the exponential quantum state reduction. Then, we provide sufficient conditions on the feedback control law ensuring almost sure exponential convergence to a predetermined pure state corresponding to an eigenvector of the measurement operator. Third, we study the asymptotic behavior of trajectories of open multi-qubit systems for given initial states. For the case without feedback, we show the exponential quantum state reduction for N-qubit systems with two quantum channels. Then, we focus on the two-qubit systems, and provide sufficient conditions on the feedback control law ensuring asymptotic convergence to a target Bell state with one quantum channel, and almost sure exponential convergence to a target Bell state with two quantum channels. Next, we investigate the asymptotic behavior of trajectories of open quantum spin-1/2 systems with unknown initial states undergoing imperfect continuous-time measurements, and provide sufficient conditions on the controller to guarantee the convergence of the estimated state towards the actual quantum state when time goes to infinity. Finally, we discuss heuristically the exponential stabilization problem for N-level quantum spin systems with unknown initial states and propose candidate feedback laws to stabilize exponentially the system.
|
274 |
Conception et commande d'une interface haptique à retour d'effort pour la CAO / Design and control of a force feedback haptic interface for applications in CAD systemsDang, Quoc-Viet 19 December 2013 (has links)
Les interfaces haptiques à retour d’effort sont des dispositifs robotiques capables deproduire des forces à destination de l’utilisateur en téléopération et en réalité virtuelle. L’utilisation d’interface à retour d’effort en Conception Assistée par Ordinateur (CAO) offre de nouvelles perspectives pour la création et la conception de formes 3D grâce à une interactivité à la fois visuelle et kinesthésique. Elles permettent à la fois de visualiser, de manipuler en temps réel des objets virtuels et d’en ressentir les efforts (liés aux contacts, à la déformation, etc.).Les travaux présentés dans cette thèse contribuent au développement d’interfaces àretour d’effort pour répondre au mieux aux besoins de la CAO. Dans ce mémoire, l’accent est placé sur la problématique de la stabilité et son exploitation pour la commande de l’interface mais aussi pour la conception électromécanique. L’ensemble des travaux porte sur une interface à un degré de liberté.Dans un premier temps, différents facteurs liés au système mécanique (amortissement, modes vibratoires) et à l’environnement virtuel (échantillonnage, retard. . .) agissant sur la stabilité d’une interface sont mis en évidence à l’aide de critères fréquentiels. Ensuite, la conception d’une interface (choix et dimensionnement des composants) est ramenée sous forme d’un problème d’optimisation incluant une contrainte liée à la stabilité (en termes de domaine d’utilisation) et un critère de maximisation de la transparence (en termesd’inertie du dispositif).Dans un second temps, l’architecture de commande des dispositifs haptiques est étudiée. À l’aide d’une nouvelle condition de stabilité asymptotique pour les systèmes en temps discret à retard variable et en utilisant un observateur d’état augmenté comme alternative à l’utilisation standard de la méthode des différences finies arrières, la synthèse d’une nouvelle architecture de commande est proposée.La dernière partie du mémoire aborde la description du banc d’essai expérimental développé pendant le travail de thèse ainsi que les résultats des tests réalisés. / Force feedback haptic interfaces are robotic devices which are able to produce forces for the user in a teleoperation or virtual reality context. The integration of force feedback haptic interfaces in Computer-Aided Design (CAD) systems offers new perspectives for modeling and design of 3D objects by combining both visual and kinesthetic interaction. It allows viewing and manipulating virtual objects in real-time with a sense of touch (linked to contact, deformation, etc.).The works presented in this thesis contribute to the development of a force feedbackhaptic device to meet the needs of CAD at the best. In this thesis manuscript, the emphasis is put on the stability issue and its exploitation for the control of the device but also for the electromechanical conception. All the presented works concern an interface with one degree of freedom. First, several factors relative to the mechanic system (physical damping, vibration modes) and to the virtual environment (sampling period, delay-time, etc.) acting on the interface stability are highlighted through frequency domain stability criteria. Then, the interface design (choice and sizing of components) is expressed on the form of an optimization problem including a constraint linked to stability (in terms of application area).In a second part, the control architecture of haptic devices is studied. Using a newstability criterion for systems in discrete time with variable delay and an augmented state observer as an alternative to the standard finite difference scheme, the synthesis of novel control architecture is proposed.The last part of the manuscript deals with the description of the experimental testbench developed during the thesis period together with the results of some realized tests.
|
275 |
Nouveaux schémas de commande et d'observation basés sur les modèles de Takagi-Sugeno / New control and observation schemes based on Takagi-Sugeno modelsMárquez Borbόn, Raymundo 12 November 2015 (has links)
Cette thèse aborde l'estimation et la conception de commande de systèmes non linéaires à temps continu. Les méthodologies développées sont basées sur la représentation Takagi-Sugeno (TS) du modèle non linéaire par l'approche du secteur non-linéarité. Toutes les stratégies ont l'intention d'obtenir des conditions plus détendu. Les résultats présentés pour la conception de commande sont divisés en deux parties. La première partie est environ sur les modèles TS standard au titre des schémas de commande basés sur: 1) une fonction de Lyapunov quadratique (QLF); 2) une fonction de Lyapunov floue (FLF); 3) une fonction de Lyapunov intégrale de ligne (LILF); 4) un nouveau fonctionnelle de Lyapunov non-quadratique (NQLF). La deuxième partie concerne des modèles TS descripteurs. Deux stratégies sont proposées: 1) dans le cadre quadratique, des conditions basées sur une loi de commande général et quelques transformations de matrices; 2) une extension de l'approche non quadratique basée sur LILF utilisant un schéma de commande non-PDC et le lemme du Finsler; cette stratégie offre conditions sur la forme d’inégalité matricielles linéaires (LMI) dépendant des paramètres au lieu des contraintes sur la forme d’inégalité matricielles bilinéaires (BMI) pour les systèmes de second ordre. D'autre part, le problème de l'estimation de l'état pour les systèmes non linéaires via modèles TS est également abordé considérant: a) le cas particulier où les vecteurs prémisses sont basées sur les variables mesurées et b) le cas général où les vecteurs prémisse peuvent être basés sur des variables non mesurées. Plusieurs exemples ont été inclus pour illustrer l'applicabilité des résultats obtenus. / This thesis addresses the estimation and controller design for continuous-time nonlinear systems. The methodologies developed are based on the Takagi-Sugeno (TS) representation of the nonlinear model via the sector nonlinearity approach. All strategies intend to get more relaxed conditions.The results presented for controller design are split in two parts. The first part is about standard TS models under control schemes based on: 1) a quadratic Lyapunov function (QLF); 2) a fuzzy Lyapunov function (FLF); 3) a line-integral Lyapunov functions (LILF); 4) a novel non-quadratic Lyapunov functional (NQLF). The second part concerns to TS descriptor models. Two strategies are proposed: 1) within the quadratic framework, conditions based on a general control law and some matrix transformations; 2) an extension to the nonquadratic approach based on a line-integral Lyapunov function (LILF) using non-PDC control law schemes and the Finsler’s Lemma; this strategy offers parameter-dependent linear matrix inequality (LMI) conditions instead of bilinear matrix inequality (BMI) constraints for second-order systems. On the other hand, the problem of the state estimation for nonlinear systems via TS models is also addressed considering: a) the particular case where premise vectors are based on measured variables and b) the general case where premise vectors can be based on unmeasured variables. Several examples have been included to illustrate the applicability of the obtained results.
|
276 |
Analyse de stabilité des systèmes à commutations sur un domaine de temps non-uniforme / Stability analysis of switched systems on non-uniform time domainsTaousser, Fatima Zohra 07 December 2015 (has links)
Cette thèse s’intéresse à l’étude de la stabilité des systèmes à commutation qui évoluent sur un domaine de temps non uniforme en introduisant la théorie des échelles de temps. On s’intéresse essentiellement aux systèmes dynamiques linéaires à commutation définis sur une échelle de temps particulière T = P{tσk ,tk+1} = ∪∞k=0[tσk , tk+1]. Le système étudié commute entre un sous-système dynamique continu sur les intervalles ∪∞k=0[tσk , tk+1[ et un sous-système dynamique discret aux instants ∪∞k=0{tk+1} (à temps discret) avec un pas discret qui varie dans le temps. Dans une première partie, des conditions suffisantes sont données pour garantir la stabilité exponentielle de cette classe de systèmes à commutation. Ensuite, des conditions nécessaires et suffisantes de stabilité sont données en déterminant une région de stabilité exponentielle. Dans une deuxième partie, la stabilité de cette classe des systèmes à commutation avec des perturbations nonlinéaires a été traitée en utilisant des majorations de la solution, puis en introduisant l’approche de la fonction de Lyapunov commune. La troisième partie est consacrée au problème du consensus en présence d’interruptions de transmission d’informations où le système multi-agent en boucle fermée peut être représenté comme un système à commutation par une combinaison de modèles de systèmes linéaires à temps continu et de systèmes linéaires à temps discret. / This thesis deals with the stability analysis of switched systems that evolve on non uniform time domain by introducing the time scale theory. We are interested mainly in dynamical linear switched systems defined on particular time scale T = P{tσk ,tk+1} = ∪∞k=0[tσk, tk+1]. The studied system switches between a continuous-time dynamical subsystem on the intervals ∪∞k=0[tσk, tk+1[ and a discrete-time dynamical subsystem on instants ∪∞k=0{tk+1} (a discrete time) with a time-varying discrete step. In a first part, sufficient conditions are given to guarantee the exponential stability of this class of switched systems. Then necessary and sufficient conditions for stability are given by determining a region of exponential stability. In the second part, the stability of this class of switched systems with nonlinear uncertainties, is treated using majoration of the solution, and after that by introducing the approach of a common Lyapunov function. The third part is devoted to the consensus problem under intermittent information transmissions where the closed-loop multi-agent system can be represented as a switched system using a combination of linear continuous-time and linear discrete-time systems.
|
277 |
Flexible duplexing and resource optimization in small cell networksElbamby, M. S. (Mohammed S.) 22 November 2019 (has links)
Abstract
The next-generation networks are set to support a high data rate, low latency, high reliability, and diverse types of services and use cases. These requirements come at the expense of a more complex network management, and asymmetric and time-varying traffic dynamics. Accordingly, future networks will operate at different duplexing modes and with multiple access techniques. This thesis proposes novel transmission strategies and methodologies to dynamically optimize the duplexing modes and allocate resources for small cell based cellular networks.
The first part of the thesis studies dynamic time-division-duplex (TDD) operation in dynamic and asymmetric uplink (UL) and downlink (DL) traffic conditions. In this regard, we propose a dynamic TDD framework that optimizes the UL and DL frame configuration and power allocation. Due to the high interference coupling between neighboring small cells, we propose a load-aware clustering method that groups the small cell base stations (SBSs) based on their spatial and load similarities. To balance the UL and DL loads within each cluster, we study the potential of load-based UL/DL decoupled user association in balancing the traffic loads within clusters.
In the second part, we study the problem of half-duplex (HD)/full-duplex (FD) mode selection and UL/DL resource and power optimization in small cell networks. Therein, SBSs operate in non-orthogonal multiple access (NOMA) in both UL and DL to schedule multiple users at the same time-frequency resource. The goal of the study is therefore to select the optimal duplexing and multiple access scheme, based on the traffic load and interference conditions, such that users’ data rates are maximized, while stabilizing traffic queues.
Finally, the last part of the thesis looks beyond rate maximization and focuses on ensuring low latency and high reliability in small cell networks providing edge computing services. The problem of distributing wireless resources to users requesting edge computing tasks is cast as a delay minimization problem under stringent reliability constraints. The study investigates the role of proactive computing in ensuring low latency edge computing, while the concept of hedged requests is presented as an enabler for computing service reliability. / Tiivistelmä
Seuraavan sukupolven verkot suunnitellaan tukemaan suuria tiedonsiirtonopeuksia, pientä latenssia, erinomaista luotettavuutta ja monentyyppisiä palveluja ja käyttötapauksia. Näiden vaatimusten täyttämisen kääntöpuolena ovat entistä monimutkaisemmat verkonhallintatoiminnot sekä epäsymmetrinen ja ajallisesti muuttuva dataliikenteen dynamiikka. Verkot toimivat tulevaisuudessa eri dupleksointitiloissa hyödyntämällä useita eri liittymätekniikoita. Tässä tutkielmassa ehdotetaan uusia siirtostrategioita ja menetelmiä dupleksointitilojen dynaamista optimointia ja resurssien allokointia varten piensoluperustaisissa solukkoverkoissa.
Tutkielman alkuosassa tarkastellaan dynaamisen aikajakodupleksin (TDD) toimintaa dataliikenneympäristöissä, joissa on käytössä dynaaminen ja epäsymmetrinen lähetysyhteys (UL) ja laskeva siirtotie (DL). Ehdotamme tältä osin dynaamista TDD-kehystä, joka optimoi UL- ja DL-kehyksen konfiguroinnin ja tehon allokoinnin. Vierekkäisten pienten solujen välisten kytkösten suuren interferenssin takia ehdotamme kuormituksen huomioivaa klusterointimenetelmää, jossa piensolutukiasemat (SBS) ryhmitellään niiden tilallisten ja kuormitusominaisuuksien yhteneväisyyden perusteella. Tutkimme UL- ja DL-kuormitusten tasapainottamista kussakin klusterissa tarkastelemalla UL/DL-yhteyksistä irti kytketyn, kuormitukseen perustuvan käyttäjän yhdistämisen mahdollisuuksia dataliikennekuormituksen tasapainottamisessa.
Tutkielman toisessa osassa tarkastellaan puolidupleksi (HD)- ja kaksisuuntaisen (FD) -tilan valinnan ongelmaa ja UL-/DL-resurssien ja tehon optimointia piensoluverkoissa. Siinä piensolutukiasemat toimivat ei-ortogonaalisessa moniliittymässä (NOMA) sekä UL- että DL-yhteyksissä useiden käyttäjien ajoittamiseksi samalle aika-taajuusresurssille. Tutkielman tavoitteena on siten valita optimaalinen dupleksointi- ja moniliittymäkaavio dataliikenteen kuormituksen ja interferenssin perusteella siten, että käyttäjän tiedonsiirtonopeudet voidaan maksimoida ja dataliikennejonot tasata.
Lopuksi tutkielman viimeisessä osassa tarkastellaan tiedonsiirtonopeuden maksimoinnin lisäksi pienen latenssin ja suuren luotettavuuden varmistamista piensoluverkoissa, jotka tuottavat reunalaskentapalveluja. Langattomien resurssien jakelemista käyttäjille, jotka vaativat reunalaskentatehtäviä, käsitellään viiveen minimoinnin ongelmana soveltamalla tiukkoja luotettavuusrajoituksia. Tutkielmassa tarkastellaan proaktiivisen tietojenkäsittelyn roolia pienen latenssin reunalaskennassa.
|
278 |
Lyapunov Exponents for Random Dynamical SystemsThai Son, Doan 27 November 2009 (has links)
In this thesis the Lyapunov exponents of random dynamical systems are presented and investigated. The main results are:
1. In the space of all unbounded linear cocycles satisfying a certain integrability condition, we construct an open set of linear cocycles have simple Lyapunov spectrum and no exponential separation. Thus, unlike the bounded case, the exponential separation property is nongeneric in the space of unbounded cocycles.
2. The multiplicative ergodic theorem is established for random difference equations as well as random differential equations with random delay.
3. We provide a computational method for computing an invariant measure for infinite iterated functions systems as well as the Lyapunov exponents of products of random matrices. / In den vorliegenden Arbeit werden Lyapunov-Exponented für zufällige dynamische Systeme untersucht. Die Hauptresultate sind:
1. Im Raum aller unbeschränkten linearen Kozyklen, die eine gewisse Integrabilitätsbedingung erfüllen, konstruieren wir eine offene Menge linearer Kyzyklen, die einfaches Lyapunov-Spektrum besitzen und nicht exponentiell separiert sind. Im Gegensatz zum beschränkten Fall ist die Eingenschaft der exponentiellen Separiertheit nicht generisch in Raum der unbeschränkten Kozyklen.
2. Sowohl für zufällige Differenzengleichungen, als auch für zufällige Differentialgleichungen, mit zufälligem Delay wird ein multiplikatives Ergodentheorem bewiesen.
3.Eine algorithmisch implementierbare Methode wird entwickelt zur Berechnung von invarianten Maßen für unendliche iterierte Funktionensysteme und zur Berechnung von Lyapunov-Exponenten für Produkte von zufälligen Matrizen.
|
279 |
Formulação H2/Hoo do controle LQR robusto aplicado a domínios convexos e fechados /Caun, Rodrigo da Ponte. January 2019 (has links)
Orientador: Edvaldo Assunção / Resumo: A principal contribuição dessa tese é propor a representação H2/Hoo do regulador linear quadrático (LQR) para sistemas lineares invariantes no tempo e incertos. A motivação está em atender simultaneamente a minimização da função custo garantido e dos efeitos de entradas exógenas. De início, apresenta-se uma revisão da formulação do problema LQR usando-se a função de Lyapunov quadrática e, posteriormente, sua extensão aos modelos de incertezas. Neste ponto, a literatura volta-se exclusivamente ao uso de funções de Lyapunov com uma única matriz P para testar a estabilidade de todo o domínio de incerteza politópica, que naturalmente conduz a algum conservadorismo. Em vista de reduzir o pressuposto conservadorismo explorou-se técnicas de relaxação matricial através de lemas consolidados na literatura, i.e. Lema de Finsler e Lema da Projeção Recíproca. As novas formulações de síntese robusta permitem obter condições suficientes em desigualdades matriciais lineares (LMIs) por meio de funções de Lyapunov dependentes de parâmetros, embora não considere os efeitos da perturbação no processo de síntese de controle. Logo, o estudo da rejeição à perturbações permitiu obter condições LMIs inéditas envolvendo as normas H2/Hoo . Adicionalmente, é proposto o estudo da robustez da planta em malha fechada, via descrição combinada de incertezas nas matrizes de estados e de entradas, e do controlador, aplicando técnicas de fragilidade via incertezas limitadas por norma. Por fim, propõe-se um mét... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: The main contribution of this thesis is to propose the H2/Hoo representation of the Linear Quadratic Regulator (LQR) for linear time-invariant uncertain systems. The motivation is to achieve the minimization of guaranteed cost and the effects of exogenous inputs, simultaneously. Initially, a review of the LQR problem formulation using the quadratic Lyapunov function is presented and after, its extension to the uncertain models. At this point, the literature turns to the use of Lyapunov functions with only one matrix P to test the stability of the whole polytopic domain, which naturally leads to some conservatism. The proposed to reduce the assumption conservatism allowed to explore techniques of matrix relaxation through classic lemmas in the literature, i.e. Finsler and Reciprocal Projection lemmas. The new robust synthesis formulations allow to obtain sufficient conditions in Linear Matrix Inequalities (LMIs) control by means of parameter-dependent Lyapunov functions; however, do not consider the perturbation effects on the control synthesis process. Thus, the study of disturbance rejection allowed to obtain new sufficient conditions via mixed H2/Hoo control. Furthermore, robustness studies of the closed-loop plant are proposed based on a mixed representation of uncertainties in the state and input matrices, and the controller robustness, by applying non-fragile theories via norm-bounded uncertainty. Finally, an LQR gain scheduling control method applied to linear time-vary... (Complete abstract click electronic access below) / Doutor
|
280 |
Stabilité de Lyapunov de systèmes couplés impliquant une équation de transport / Lyapunov stability of a coupled systems involving transport equationSafi, Mohammed 31 October 2018 (has links)
L’objet de cette thèse est l’étude des propriétés de stabilité et contrôle pour des systèmes linéaires écrits à l’aide d’équations aux dérivées partielles (EDP) ou d’équations à retard. Nous souhaitons exploiter dans cette thèse les liens qui existent entre ces deux classes de systèmes de dimension infinie afin de développer une nouvelle approche permettant leur analyse. En effet dans plusieurs applications, il est possible de choisir l’un ou l’autre de ces deux types de systèmes pour modéliser la dynamique considérée. Par exemple, les phénomènes de congestion dans un réseau routier peuvent être modélisés à l’aide d’EDP de type transport [JKC], mais aussi par un modèle à retard distribué [MMN] ou encore à retard discret [SN]. On peut également renvoyer aux travaux de Krstic [K] sur la formulation d’un système à retard comme un système EDP. Ces deux classes de systèmes sont des cas particuliers de systèmes de dimension infinie, et contrairement aux cas de systèmes de dimension finie, on parle de fonctions d’état plutôt que vecteur d’état. Cela implique que l’analyse associée est plus délicate et fait appel à des outils dédiés. Dans le cadre de la thèse, l’étudiant se focalisera sur les approches basées sur une extension du théorème de Lyapunov pour les systèmes de dimension infinie utilisant des fonctionnelles spécifiques. Comme pour la modélisation, l’analyse de stabilité des systèmes à retard ou de type EDP peut être menée à l’aide de fonctionnelles de Lyapunov très similaires. Nous souhaitons que cette thèse tire parti des travaux existants dans les deux communautés sur les systèmes à retards et de type EDP pour développer une approche novatrice et unifiée pour l’analyse et le contrôle de systèmes de dimension infinie. Pour cela, le candidat s’appuiera sur ses acquis en automatique et en mathématiques ainsi que sur l’expertise des deux encadrants. Plusieurs contributions sont attendues durant la thèse. Dans un premier temps, il sera question d’étendre des résultats récents [SG1,2] développés pour l’analyse de stabilité des systèmes à retards au cas de systèmes régis par des EDP. Ces premiers résultats auront vocation à servir de base pour l’étude de la synthèse de commandes robustes dans le cadre d’applications telles que le contrôle de trafic routier [MMN], le contrôle de vibration [RBPA], etc… Cette thèse en automatique requiert plusieurs compétences parmi lesquelles des connaissances sur la théorie de Lyapunov pour les systèmes avec ou sans retard, sur les inégalités matricielles linéaires tout en s’appuyant sur les outils de mathématiques appliquées pour l’étude des équations aux dérivées partielles (algèbre linéaire, analyse fonctionnelle, espaces de Hilbert, de Sobolev). / The purpose of this thesis is the study of stability and control properties for linear systems described by partial differential equations (PDE) or delay differential equations. We wish to use in this thesis the relationship between these two classes of infinite-dimensional systems in view of developing a new paradigm for their analysis. Indeed, in many applications, it is possible to choose one or the other of these two classes of systems to model the dynamics of the system under consideration. For example, traffic flow can be modeled using PDE type of transportation [JKC], but also by a distributed delay model [SMP] or discrete delay [SN]. We may also refer to the work of Krstic [K] on the formulation of a delay system as an PDE system. These two classes of systems are special cases of infinite dimensional systems, unlike the case of finite-dimensional systems, we better called state functions rather than the state vector. This implies that the analysis is more delicate and refers to the use of dedicated tools. As part of the thesis, the student will focus on approaches based on an extension of Lyapunov theorem for infinite dimensional systems using specific functional. As for the modeling process, the stability analysis of delayed or PDE type systems can be conducted using very similar Lyapunov functionals. We hope that this thesis builds on existing work in the two communities on delay systems and PDE to develop an innovative and unified approach to the analysis and control of infinite dimensional systems. To do so, the candidate will build on its skills in automatic and mathematics as well as the on from expertise of both supervisors. Several contributions are expected during the thesis . Initially, we aim at extedning recent results [SG13,14] developed in the context of the stability analysis of delay systems to the case of systems governed by PDE. These first results will provide the basis for the design of robust control laws for various applications including traffic control, vibration control, etc ... Cette thèse portera sur l’étude des propriétés de stabilité et de contrôle des systèmes linéaires de dimension infinie, plus particulièrement écrits à l’aide d’EDP ou d’équations à retard. L’intérêt naturel pour l’étude de cette classe de systèmes à la frontière entre mathématiques appliquées et automatique connaît un succès grandissant de part la large gamme d’applications en contrôle pouvant être décrites par ces modèles : en ingénierie, biologie, informatique… L’émulation scientifique entre systèmes à retard et systèmes de type EDP permettra en outre à cette thèse de tirer parti des méthodes et outils propres à chacun des ces domaines. This PhD proposal in automatic control requires several skills including knowledge on Lyapunov theory for systems with or without delay , on linear matrix inequalities while relying on mathematical tools applied in the study of partial differential equations ( linear algebra functional analysis , Hilbert spaces , Sobolev) .
|
Page generated in 0.1994 seconds