Spelling suggestions: "subject:"command anda control systems\"" "subject:"command ando control systems\""
371 |
Access control and inference problem in data integration systems / Problème d'inférence et contrôle d'accès dans les systèmes d'intégration de donnéesHaddad, Mehdi 01 December 2014 (has links)
Dans cette thèse nous nous intéressons au contrôle d’accès dans un système issu d’une intégration de données. Dans un système d’intégration de données un médiateur est défini. Ce médiateur a pour objectif d’offrir un point d’entrée unique à un ensemble de sources hétérogènes. Dans ce type d’architecture, l’aspect sécurité, et en particulier le contrôle d’accès, pose un défi majeur. En effet, chaque source, ayant été construite indépendamment, définit sa propre politique de contrôle d’accès. Le problème qui émerge de ce contexte est alors le suivant : "Comment définir une politique représentative au niveau du médiateur et qui permet de préserver les politiques des sources de données impliquées dans la construction du médiateur?" Préserver les politiques des sources de données signifie qu’un accès interdit au niveau d’une source doit également l’être au niveau du médiateur. Aussi, la politique du médiateur doit préserver les données des accès indirects. Un accès indirect consiste à synthétiser une information sensible en combinant des informations non sensibles et les liens sémantiques entre ces informations. Détecter tous les accès indirects dans un système est appelé problème d’inférence. Dans ce manuscrit, nous proposons une méthodologie incrémentale qui permet d’aborder le problème d’inférence dans un contexte d’intégration de données. Cette méthodologie est composée de trois phases. La première, phase de propagation, permet de combiner les politiques sources et ainsi générer une politique préliminaire au niveau médiateur. La deuxième phase, phase de détection, caractérise le rôle que peuvent jouer les relations sémantiques entre données afin d’inférer une information confidentielle. Par la suite, nous introduisant, au sein de cette phase, une approche basée sur les graphes afin d’énumérer tous les accès indirects qui peuvent induire l’accès à une information sensible. Afin de remédier aux accès indirects détectés nous introduisons la phase de reconfiguration qui propose deux solutions. La première solution est mise en œuvre au niveau conceptuel. La seconde solution est mise en œuvre lors de l’exécution. / In this thesis we are interested in controlling the access to a data integration system. In a data integration system, a mediator is defined. This mediator aims at providing a unique entry point to several heterogeneous sources. In this kind of architecture security aspects and access control in particular represent a major challenge. Indeed, every source, designed independently of the others, defines its own access control policy. The problem is then: "How to define a representative policy at the mediator level that preserves sources’ policies?" Preserving the sources’ policies means that a prohibited access at the source level should also be prohibited at the mediator level. Also, the policy of the mediator needs to protect data against indirect accesses. An indirect access occurs when one could synthesize sensitive information from the combination of non sensitive information and semantic constraints. Detecting all indirect accesses in a given system is referred to as the inference problem. In this manuscript, we propose an incremental methodology able to tackle the inference problem in a data integration context. This methodology has three phases. The first phase, the propagation phase, allows combining source policies and therefore generating a preliminary policy at the mediator level. The second phase, the detection phase, characterizes the role of semantic constraints in inducing inference about sensitive information. We also introduce in this phase a graph-based approach able to enumerate all indirect access that could induce accessing sensitive information. In order to deal with previously detected indirect access, we introduce the reconfiguration phase which provides two solutions. The first solution could be implemented at design time. The second solution could be implemented at runtime.
|
372 |
Dynamique et contrôle de systèmes quantiques ouverts / Dynamics and control of open quantum systemsChenel, Aurélie 16 July 2014 (has links)
L'étude des effets quantiques, comme les cohérences quantiques, et leur exploitation en contrôle par impulsion laser constituent encore un défi numérique pour les systèmes de grande taille. Pour réduire la dimensionnalité du problème, la dynamique dissipative se focalise sur un sous-espace quantique dénommé 'système', qui inclut les degrés de liberté les plus importants. Le système est couplé à un bain thermique d'oscillateurs harmoniques. L'outil essentiel de la dynamique dissipative est la densité spectrale du bain, qui contient toutes les informations sur le bain et sur l'interaction entre le système et le bain. Plusieurs stratégies complémentaires existent. Nous adoptons une équation maîtresse quantique non-markovienne pour décrire l'évolution de la matrice densité associée au système. Cette approche, développée par C. Meier et D.J. Tannor, est perturbative en fonction du couplage entre le système et le bain, mais pas en fonction de l'interaction avec un champ laser. Le but est de confronter cette méthodologie à des systèmes réalistes calibrés par des calculs de structure électronique ab initio. Une première étude porte sur la modélisation du transfert d'électron ultrarapide à une hétérojonction oligothiophène-fullerène, présente dans des cellules photovoltaïques organiques. La description du problème en fonction d'une coordonnée brownienne permet de contourner la limitation du régime perturbatif. Le transfert de charge est plus rapide mais moins complet lorsque la distance R entre les fragments oligothiophène et fullerène augmente. La méthode de dynamique quantique décrite ci-dessus est ensuite combinée à la Théorie du Contrôle Optimal (OCT), et appliquée au contrôle d'une isomérisation, le réarrangement de Cope, dans le contexte des réactions de Diels-Alder. La prise en compte de la dissipation dès l'étape d'optimisation du champ permet à l'algorithme de contrôle de contrer la décohérence induite par l'environnement et conduit à un meilleur rendement. La comparaison de modèles à une et deux dimensions montre que le contrôle trouve un mécanisme adapté au modèle utilisé. En deux dimensions, il agit activement sur les deux coordonnées du modèle. En une dimension, le décohérence est minimisée par une accélération du passage par les états délocalisés situés au-dessus de la barrière de potentiel. / The study of quantum effects as quantum coherences and their exploitation for control by laser pulse are still a numerical challenge in big systems. To reduce the dimensionality of the problem, dissipative dynamics focuses on a quantum subspace called 'system', that includes the most important degrees of freedom. The system is coupled to a thermal bath made of harmonic oscillators. The essential tool of dissipative dynamics is the spectral density of the bath, that contains all the information about the bath and the interaction between the system and the bath. Several strategies coexist and complement one another. We adopt a non-Markovian quantum master equation for the evolution of the density matrix associated to the system. This approach, developped by C. Meier and D.J. Tannor, is perturbative in the system-bath coupling, but not in the interaction with a laser field. Our goal is to confront this methodology to realistic systems calibrated by ab initio electronic structure calculations. We first study the ultrafast electron transfer modelling an oligothiophene-fullerene heterojunction, found in organic photovoltaic cells. We present a way of overcoming the limitation of the perturbative regime, using a Brownian oscillator representation to describe the problem. Charge transfer is faster but less complete when the R distance between oligothiophene and fullerene fragments increases. Then we combine the quantum dynamical method described above with the Optimal Control Theory (OCT) method. An application is the control of an isomerization, the Cope rearrangement, in the context of Diels-Alder reactions. Including the dissipation at the design stage of the field enables the control algorithm to react on the environment-induced decoherence and to lead to a better yield. Comparing one and two-dimension models shows that control finds a mechanism adapted to the model. In two dimensions, it actively acts on the two coordinates of the model. In one dimension, decoherence is minimized by accelerating the way through the delocalized states located above the potential energy barrier.
|
373 |
Stabilité et performance des systèmes distribués de contrôle-commande / Stability and performance of distributed computer control systemsFelicioni, Flavia 10 March 2011 (has links)
L’objectif principal de cette thèse est l’étude de propriétés dynamiques et de méthodes de conception et synthèse des algorithmes de contrôle-commande des systèmes dans le cas où les fonctions de mesures, actionnements et contrôles sont distribuées sur des organes de calcul pouvant être partagés avec d’autres applications et connectés sur un réseau de communication numérique. En conséquence, les boucles de contrôle sont en compétition avec d’autres applications pour accéder aux ressources de calcul et de communication de capacité limitée et gérées par des politiques spécifiques. Ceci provoque l’apparition de délais et de perte d’informations transmises entre les différents nœuds qui peuvent dégrader les performances des systèmes et conduire à leur instabilité.Dans une première partie de la thèse, nous avons étudié l’analyse des performances de certains systèmes ainsi que la conception de contrôleurs robustes en fonction de la qualité de service fournie par le réseau. Cette étude a permis de spécifier les règles de conception de contrôleurs.Dans la deuxième partie, nous avons présenté une approche de conception conjointe intégrant les résultats obtenus dans les deux domaines: la synthèse et la conception des algorithmes de contrôle et l’ordonnancement de tâches temps réel qui partagent des ressources limitées. La technique proposée repose sur le changement de la période d’activation de l’algorithme de contrôle, et en conséquence le modèle du système devient un modèle échantillonné à taux variable. Les résultats proposés, en considérant l’algèbre de Lie des matrices d’évolution, permettent de calculer des contrôleurs adaptifs aux périodes qui stabilisent tous le système / The main contributions of this thesis are related to the analysis, synthesis and design of control systems sharing communication and computational resources. The research focuses on control systems where the feedback loops are closed over communication networks which transmit the information provided to its nodes by sensors, actuators and controllers. The shared resource in this scenario is the network. Some of the results are valid when the resource is a processor locally placed respect to several controller executing their algorithms on it. In any of the preceding scenarios, the control loops must contend for the shared resource. The limited capacity of the resource can cause delays and packet losses when information is transmitted. These effects can degrade the control system performance and even destabilize it.The first part of this thesis contributes to the performance analysis of specific classes of systems and to the design of robust controllers for network characteristics modeled by Quality of Service parameters. A series of methods to assist the control systems engineer are provided.In the second part, a contribution to the CoDesign approach is made via the integration of control system synthesis and design techniques with rules allowing to define the communication policy to manage real-time tasks sharing a limited resource. Putting in correspondence a scheduling of instances of the controller tasks with their sampling periods, the proposed policy results in discrete-time varying systems. The stabilization problem of these systems is solved with methods based on the solvability of Lie-algebras. Specifically, the proposed methodology provides adaptive controllers
|
374 |
Théorie du contrôle et systèmes hybrides dans un contexte cryptographique / Control theory and hybrid system in a cryptograhical contextVo Tan, Phuoc 12 November 2009 (has links)
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
|
375 |
Contrôle et stabilisation de systèmes élastiques couplés / Control and stabilization of elastic coupled systemsYoussef, Wael 07 July 2009 (has links)
Cette thèse est constituée de deux parties principales. Dans la première partie on traite l'observabilité et la contrôlabilité exacte internes indirectes des systèmes hyperboliques faiblement couplés et du système de Timoshenko. La deuxième partie est consacrée à l'étude de problèmes concernant la stabilisation directe du système de Bresse par des feedbacks non linéaires en utilisant la méthode des multiplicateurs et des techniques d'inégalités intégrales, et sa stabilisation indirecte seulement par deux feedbacks localement distribués au voisinage du bord en utilisant l'approche de fréquence de domaine. On traite dans cette partie aussi la stabilisation indirecte du système de Timoshenko dans le cas d'un seul feedback localement distribué au voisinage du bord / This thesis consists of two main parts. In the fi#rst part, it treats the indirect internal observability and exact controllability of a weakly coupled hyperbolic system and of the Timoshenko system. The second part is devoted to the study of problems concerning the direct stabilization of the Bresse system by non-linear feedbacks using multiplier method and integral inequality techniques, and its indirect stabilization only by two locally distributed feedbacks at the neighborhood of the boundary using the frequency domain method. Is treated in this part also the indirect stabilization of the Timoshenko system subject to a single feedback locally distributed at the neighborhood of the boundary
|
376 |
Eléments d'observation et d'estimation pour les systèmes contrôlés en réseaux / Elements of Observation and Estimation for Networked Control SystemsEtienne, Lucien 08 April 2016 (has links)
Les systèmes de contrôle en réseau sont un champ actif de recherche, où les différentes composantes du réseau sont spatialement distribué et tentent d'atteindre un objectif global. Ils apparaissent naturellement lors l'interaction d'un système piloté par ordinateur avec le monde physique.Avec les systèmes de contrôle en réseau une classe connexe des systèmes est décrit par les systèmes Cyber-physique, où les capacités de calcul embarqué peuvent interagir avec le monde physique.Dans ce travail, nous allons considérer la tâche classique d'observation et d'estimation et étudier les cas où les contraintes induite par le réseau nécessite une adaptation des mécanismes classique d'observation et d'estimation.Dans les système de contrôle en raison de limitation des capteurs (pour des raisons pratiques telles que la réduction des coûts) certains états ou paramètre du système ne sont pas connus. Dans ce contexte, la notion classique d'observabilitéexprime la capacité de déduire de la mesure les valeurs d'intérêt.Premièrement nous considérons le problème de la réduction de l'échantillonnage par l'utilisation de échantillonnage événementiel et ce pour plusieurs classes de systèmes. Ensuite, une procédure d'estimation et de contrôle sera proposé pour résoudre le problème du consensus dans un système multi-agent.Considérant enfin une dynamique de véhicule plus complexe, nous nous concentrons sur l'estimation du coefficient de frottement de la route pour résoudre un problème de suivi. / Network control systems is an active field of study where interacting component spatially distributed try to achieve a global goal. They naturally emerge from the interaction of computer driven mechanism and the physical world.Along with network control system a related class of systems is described by the so called: Cyber-physical systems, where integrated physical computational capabilities can interact.In this work we will consider the classical task of observation and estimation and investigate cases where network induced constraint calls for adapted observation and estimation scheme.In control system due to limitation in sensors ( for practical reason such as cost reduction) all the value of interest (whether the some unmeasured state or unknown parameter)are unknown. The classical notion of observabilityaccount for the ability to deduce from measurement those value of interest.First sampling reduction by use of event trigger will be studied for several class of systems. Then an estimation and control scheme will be establish to solve the problem of consensus in a multi agents system.Finally considering a more complex vehicle dynamic we focus on the estimation of tire road friction coefficient to solve a tracking problem.
|
377 |
Contribution à la surveillance et au contrôle de l'intégrité d'un système de localisation GNSS / Contribution on integrity monitoring and control of GNSS positioning systemKaddour, Mahmoud 01 November 2016 (has links)
La décennie en cours a marqué l’arrivée irrésistible et irréversible des systèmes GNSS dans la société en le rendant accessibles à tous et indispensable à de nombreuses utilisateurs. L’amélioration des performances et de la fiabilité des systèmes GNSS est parmi les facteurs qui concourent au développement exponentiel du champ des applications et de services GNSS. Cette amélioration repose sur l’utilisation des méthodes d’estimation de la géo-position qui assure un niveau d’intégrité très élevé. Pour cela, ces méthodes doivent intégrer une couche de surveillance d’intégrité bien élaborée. Dans ce travail, nous proposons des approches de contrôle et de surveillance d’intégrité d’une estimation d’une géo-position avec des mesures GNSS. Nous avons fait le choix de développer des approches basées sur un formalisme informationnel : filtre informationnel d’une part, et outils de la théorie de l’information d’autre part. Des résidus basés sur l’information mutuelle sont développés. Avec un seuillage adéquate, ces résidus permettent de détecter et d’exclure des mesures GNSS erronées. Dans ce contexte, d’autres idées ont été également mises à profit afin de robustifier les méthodes développées comme la projection des observations GNSS dans l’espace informationnel ainsi que des fonctions d’optimisation de la prédiction d’un filtre.Les méthodes proposées sont testées et validées avec des données réelles acquises avec un véhicule expérimental équipé de plusieurs systèmes GNSS ouverts. / The current decade has marked the irresistible and irreversible arrival of the GNSS systems in society by making it accessible and essential to many users. Improved performance and reliability of GNSS systems is among the factors that contribute to the exponential development of the field of GNSS applications and services. This improvement is based on the use of estimation methods of geo-positioning which ensures a very high level of integrity. For this, these methods must incorporate a layer of well-developed autonomous integrity monitoring. In this work, we propose approaches for autonomous integrity monitoring of position estimation using GNSS measurements. We have chosen to develop approaches based on an informational formalism: Informational filter on the one hand and tools of the information theory of the other. Residuals based on mutual information are developed. With an appropriate thresholding, these residuals can detect and exclude GNSS erroneous measurements. In this context, other ideas were also developed in order to robustify the developed methods as the projection of GNSS observations in the information space and the development of optimization function in order to ameliorate the prediction of a filter. The proposed methods are tested and validated with real data acquired with an experimental vehicle with several open GNSS systems.
|
378 |
Contribution à la commande et à l’observation des systèmes en réseaux / A contribution to control and observation of networked control systemsJiang, Wenjuan 30 June 2009 (has links)
Cette thèse concerne la stabilisation exponentielle de systèmes commandés en réseaux (NCS en anglais) par retour de sortie. Les solutions proposées reposent sur un observateur distant et capable d’estimer l’état présent du processus malgré les différents retards générés par la présence du réseau. Le premier chapitre présente le contexte général des NCS et décrit plus particulièrement le problème étudié. Le chapitre suivant propose une architecture informatique permettant de réaliser un retour d’état distant basé sur une structure d’observateur. Deux autres chapitres proposent ensuite la synthèse d’un couple loi de commande / observateur garantissant des performances de convergence exponentielle. Les conditions correspondantes s’écrivent sous forme d’inégalités matricielles linéaires (LMI en anglais) et permettent donc une optimisation. Ces conditions sont basées sur la méthode des fonctionnelles de Lyapunov-Krasovskii et des résultats originaux sont proposés. Une première synthèse peut être effectuée globalement, une seconde permet d’adapter les performances dynamiques à la qualité de service disponible à chaque instant. La seconde approche fait intervenir des résultats originaux sur les systèmes à retards et à commutations. Dans un dernier chapitre, nous proposons une solution complètement asynchrone (gérée par événements). Dans ce cas, le problème des pertes de paquets devient crucial et nous y apportant une réponse. L’ensemble des résultats est confirmé par des expérimentations mises au point dans le cadre de ce travail, et correspondant à un robot léger commandé en temps réel à 40km de distance par Internet / This PhD thesis is dedicated to the exponential output stabilization of linear NCS (Networked Control Systems). The studied solution is based on a remote observer which is able to estimate the present state of the plant despite the various network induced delays. These last are present in both the control and the measurement channels.The first chapter describes the problem and gives a survey on the NCS. The next chapter proposes a computer structure which realizes the remote, observer-based, state feedback controller. The following two chapters propose LMI conditions (Linear Matrix Inequalities) for the design of the observer-based remote controller. The second method of Lyapunov is used with the most up-to-date Lyapunov-Krasovskii functionals. The main objective of the design is to guarantee some performances expressed in the form of exponential stability. Then some enhancements of the control strategy are given. It consists in taking into account the Quality of Service (QoS) in the controller to get better guaranteed performances. The last contribution of this work is to consider the overall system as an event-driven system. It allows one to consider packet dropout problems in the network.The effectiveness of all presented results is demonstrated by real experiments implemented on a light robot controlled over the Internet
|
379 |
Analyse et contrôle des systèmes dynamiques polynomiaux / Analysis and Control of Polynomial Dynamical SystemsBen Sassi, Mohamed Amin 15 April 2013 (has links)
Cette thèse présente une étude des systèmes dynamiques polynomiaux motivée à la fois par le grand spectre d'applications de cetteclasse (modèles de réactions chimiques, modèles de circuits électriques ainsi que les modèles biologiques) et par la difficulté (voire incapacité)de la résolution théorique de tels systèmes. Dans une première partie préliminaire, nous présentons les polynômes multi-variés et nous introduisons les notions de forme polaire d'un polynôme (floraison) et de polynômes de Bernstein qui seront d'un grand intérêt par la suite. Dans une deuxième partie, nous considérons le problème d'optimisation polynomial dit POP. Nous décrivons dans un premier temps les principales méthodes existantes permettant de résoudre ou d'approcher la solution d'un tel problème. Puis, nous présentons deux relaxations linéaires se basant respectivement sur le principe de floraison ainsi que les polynômes de Bernstein permettant d'approcher la valeur optimale du POP. La dernière partie de la thèse sera consacré aux applications de nos deux méthodes de relaxation dans le cadre des systèmes dynamiques polynomiaux. Une première application s'inscrit dans le cadre de l'analyse d'atteignabilité: en effet, on utilisera notre relaxation de Bernsteinpour pouvoir construire un algorithme permettant d'approximer les ensembles atteignables d'un système dynamique polynomial discrétisé. Une deuxième application sera la vérification et le calcul d'invariants pour un système dynamique polynomial. Une troisième application consiste à calculer un contrôleur et un invariant pour un système dynamique polynomial soumis à des perturbations. Dans le contexte de l'invariance, on utilisera la relaxation se basant sur le principe de floraison.Enfin, une dernière application sera d'exploiter les principales propriétés de la forme polaire pour pouvoir étudier des systèmes dynamiques polynomiaux dans des rectangles. / This thesis presents a study of polynomial dynamical systems motivated by both thewide spectrum of applications of this class (chemical reaction models, electrical modelsand biological models) and the difficulty (or inability) of theoretical resolutionof such systems.In a first preliminary part, we present multivariate polynomials and we introducethe notion of polar form of a polynomial (blossoming) and Bernstein polynomialswhich will be of great interest thereafter.In a second part, we consider the polynomial optimization problem said POP.We first describe existing methods allowing us to solve or approximate the solution5TABLE DES MATI`ERES 6of such problems. Then, we present two linear relaxations based respectively on theblossoming principle and the Bernstein polynomials allowing us to approximate theoptimal value of the POP.The last part of the thesis is devoted to applications of the two relaxation methodsin the context of polynomial dynamical systems. A first application is in thecontext of reachability analysis. In fact, we use our Bernstein relaxation in order tobuild an algorithm allowing us to approximate the reachable sets of a discretizedpolynomial dynamical system. A second application deals with the verification andthe computation of invariants for polynomial dynamical systems. A third applicationconsists in calculating a controller and an invariant for a polynomial dynamicalsystem subject to disturbances. For the invariance problem, we use the relaxationbased on the blossoming principle. Finally, the last application consists in exploitingthe main properties of the polar form in order to study polynomial dynamicalsystems in rectangles.
|
380 |
Contrôle et transmission de l'information dans les systèmes de spins / Control and transmission of the information in the spin systemAubourg, Lucile 02 March 2017 (has links)
Au niveau atomique, le contrôle de spins est un objectif primordial en physique quantique. Malheureusement la présence de bruits gêne ce dernier. Le but est de trouver les conditions à imposer à l’environnement pour que le contrôle ne soit pas perturbé par le bruit. L’étude d’une chaîne de spins caractérisée par trois couplages : interactions d’Heisenberg, d’Ising-Z et d’Ising-X, évoluant librement est prise comme référence. Nous observons que l’interaction d’Heisenberg correspond à un couplage isotrope. Celle d’Ising-Z conserve l’ordre dans la chaîne tandis que celle d’Ising-X est très désordonnée. Nous rendons le système plus complexe en ajoutant du contrôle et en analysant le comportement adiabatique d’un système quantique. Ce dernier est composé d’un système et d’un environnement, dont le couplage est perturbatif. Trois régimes adiabatiques ont été mis en évidence. Des formules permettant d’obtenir la fonction d'onde au cours du temps ont alors été établies pour ces trois régimes. Cependant, dans la pratique, les systèmes quantiques ne sont en aucun cas isolés. L’interaction avec leur environnement peut entraîner des comportements plus complexes, rendant le contrôle très difficile. Nous avons alors étudié des systèmes de spins, couplés ou non, frappés par des trains d’impulsions magnétiques ultracourtes. Ces trains traversent un environnement classique (stationnaire, de dérive linéaire, Markovien, microcanonique) modifiant la force et le retard de chaque impulsion. La modification des trains par l’environnement classique est une des sources du désordre dans le système de spins. Ce désordre est transmis entre les spins par le couplage. Dans cette étude nous n’arrivons pas à contrôler le système lorsque les trains sont en présence des environnements précédents. Pour palier à ce problème, nous imposons aux impulsions magnétiques de traverser un environnement chaotique. Avant un temps t, appelé horizon de cohérence, le système couplé par une interaction d’Heisenberg et soumis à un environnement chaotique reste cohérent alors qu’après, la population et la cohérence d'un spin et du spin moyen du système tendent à se rapprocher de la distribution microcanonique. Pendant cet horizon, il est possible de réaliser du contrôle quantique soit par contrôle total (contrôle du système à chaque instant), soit par transmission d’information. Cette étude nous a permis de déterminer une formule empirique de l’horizon de cohérence. Finalement, nous nous sommes attachés à trouver une formule plus formelle de cet horizon. / At an atomic level, the spin control is an essential aim in quantum physics. Unfortunately, the presence of noises disturbs this last. The goal is to find the conditions which we have to impose to the environment in order that the control is not disturbed by the noise. The study of a spin chain characterized by three couplings (Heisenberg, Ising-Z and Ising-X interactions) freely evolving is taken as reference. We observe that the Heisenberg interaction corresponds to an isotropic coupling. The Ising-Z one conserves the order into the chain whereas the Ising-X one is really disordered. We consider a more complex quantum system by adding some control and analyzing its adiabatic behavior. This last is composed by a system and an environment, for which the coupling is perturbative. Three adiabatic regimes have been highlighted. Some formulas allowing to obtain the wave function across the time have been established for these three regimes. However, in practice, quantum systems are not isolated. The interaction with their environment can lead to more complex behaviors, driving the control more difficult. We have studied spin systems, coupled or not, kicked by some ultrashort magnetic pulse trains. These trains cross a classical environment (stationary, drift, Markovian, microcanonical) modifying the strength and the delay of each pulse. The modification of the trains by the environment is one of the sources of the disorder into the spin system. This disorder is transmitted between the spins by the coupling. In this study we do not succeed in controlling the system when the trains are in the presence of the previous environments. To remedy this situation, we force the magnetic pulses to cross a chaotic environment. Before a time t, called horizon of coherence, the system coupled by an Heisenberg interaction and submitted to a chaotic environment remains coherent whereas after, the population and the coherence of one spin and of the average spin of the system tend to go near the microcanonical distribution. During this horizon, it is possible to realize some quantum control either by total control (control of the system at every instants) or by information transmission. This study allows us to determine an empirical formula of the horizon of coherence. Finally, we have tried to find a more formal approach for this horizon.
|
Page generated in 1.3453 seconds