Spelling suggestions: "subject:"switched systems"" "subject:"witched systems""
21 |
Une méthode topologique pour la recherche d'ensembles invariants de systèmes continus et à communtation / A topological method for finding invariant sets of continuous and switched systemsMohamed, Sameh 17 October 2016 (has links)
On cherchera dans cette thèse à prouver l'existence d'ensembles invariants pour des systèmes continus et l'existence de noyaux de viabilité pour des systèmes à commutation (dépendant de l'espace ou du temps) dans des sous-ensembles de l'espace des phases. Ces objets sont des plus importants dans la théorie des systèmes dynamiques, ils peuvent être décrits de manière informelle comme étant des ensembles qui, lorsque le système dynamique y entre, il y restera à tout jamais. Pour prouver l'existence de tels ensembles on utilisera une propriété topologique dite propriété (ou principe) de Wazewski. On présentera alors une méthode effective pour pouvoir appliquer ce principe à des systèmes continus premièrement. Puis nous généraliserons cette première méthode pour pouvoir la rendre applicable aussi à des systèmes à commutation. / We aim at proving the existence of invariants sets for continuous systems and viability kernels for (time-dependent and state-dependent) switched systems in compact subsets of the phase space. They are of the most important objects of dynamical systems theory. They can be described informally by saying that they are subsets such that, if the dynamical system goes inside, it will remain inside forever. For proving the existence of such sets we will use a topological property named the Wazewski property (or principle).We will firstly present an effective method for applying this principle for continuous systems and then we will generalize this first method in order to make it applicable also for switched systems.
|
22 |
Synthèse de lois de commande pour les systèmes à commutation avec contraintes de performances / Control Laws Synthesis for Switched Systems with Constraints PerformanceMélin, Julie 27 May 2011 (has links)
Les systèmes à commutations constituent un cas particulier des systèmes dynamiques hybrides. Ils sont composés d'une famille de systèmes et d'une loi de commutation qui détermine quel mode est activé à chaque instant. Ces systèmes représentent une large gamme de systèmes concrets. L'étude de la stabilité de ceux-ci a déjà été longuement abordée. Les travaux de cette thèse portent sur l'analyse de performance des systèmes à commutations linéaires en temps discret et sur la synthèse de différentes lois de commande pour ces systèmes en tenant compte de contraintes de performances. L'analyse de stabilité de ces systèmes a été étendue pour tenir compte de l'aspect performance qui a été modélisée par un critère quadratique. La valeur du critère dépendant des commutations, l'analyse porte sur le coût garanti des performances. Grâce à la résolution d'un problème d'optimisation sous des contraintes sous la forme d'inégalités matricielles linéaires, un majorant du coût garanti est déterminé. Une approche est proposée pour évaluer la qualité du majorant trouvé. Un deuxième point abordé est la conception de contrôleurs qui tiennent compte de l'aspect performance. Des méthodes de synthèse de différents contrôleurs (retour d'état, retour d'état reconstruit par observateur et retour de sortie dynamique) sont proposées dans ce cadre. Enfin, nos résultats ont été appliqués au cas des systèmes contrôlés en réseau. / Switched systems are a specific case of dynamical hybrid systems. They are made up of a family of subsystems and of a switching law which defines the activated subsystem at each instant. These systems depict a wide range of real systems. Stability's study has been intensely studied. This Ph.D. thesis deals with performance analysis for discrete-time switched linear systems and synthesis of different control laws by taking into account performance constraints. Stability's analysis for these systems was spread in order to taking into account performance aspect, modeled by a quadratic criterion. As the value of the criterion depends on commutations, the analysis is done for the guaranteed cost of performances. By solving an optimization problem under constraints in the form of linear matrices inequalities, an upper bound of the guaranteed cost is found. An approach is proposed to certificate the upper bound. An other tackled point is the synthesis of controllers which take into account performance aspect. Methods of synthesis of different controllers (state feedback, state feedback based on observer and dynamic output feedback) are proposed. Last, our results are applied to networked controlled systems
|
23 |
Analyse de stabilité et de performance d'une classe de systèmes non-linéaires à commutations en temps discret / Stability and performance analysis of a class of discrete-time switched non-linear systemsCavichioli Gonzaga, Carlos Alberto 07 September 2012 (has links)
Les travaux de cette thèse portent sur les problèmes d'analyse de stabilité et de synthèse de commande de systèmes non-linéaires à commutations en temps discret. Nos résultats obtenus sont fondés sur une nouvelle fonction de Lyapunov-Lur'e adaptée au temps discret. Nous reprenons le problème classique d'analyse de stabilité globale de systèmes linéaires connectés à une non-linéarité du type secteur borné. Notre fonction permet de traiter une classe de non-linéarités plus générale que celle des approches fondées sur la fonction de Lur'e classique. Ensuite, la stabilité locale et la synthèse de commande de ces systèmes avec une loi de commande non-linéaire saturée sont résolues en considérant les lignes de niveau de notre fonction de Lyapunov comme estimation du bassin d'attraction de l'origine. Notre estimation est composée par des ensembles non-connexes et non-convexes qui s'adaptent bien à l'allure du bassin d'attraction et donc est moins conservative que les ensembles ellipsoïdaux. Nous étendons nos résultats pour étudier les systèmes à commutations lorsque chacun des modes présente une non-linéarité du type secteur et la saturation. D'une part, en supposant que la loi de commutation est arbitraire, nous obtenons des conditions suffisantes pour assurer la propriété de stabilité pour toute loi de commutation. Dans ce cadre, notre fonction s'avère intéressante afin de fournir une estimation bien adaptée au bassin d'attraction. D'autre part, en considérant la loi de commutation comme une variable de commande, nous proposons une stratégie de commutation sur le minimum des fonctions de Lyapunov modales. Cette stratégie définit des partitions de l'espace d'état relatives à l'activation des modes qui ne sont pas uniquement des régions coniques, normalement exhibées par des approches fondées sur les fonctions quadratiques commutées / In this PhD thesis, several problems of stability analysis and control design of discrete-time switched nonlinear systems are addressed. As main contribution, a new class of Lyapunov functions which takes the nonlinearity into account has been proposed. We show that these functions are suitable to solve the classical stability analysis problem of linear systems connected to a cone bounded nonlinearity. Instead of the original Lyapunov Lur'e function, the assumptions about the nonlinearity variation are not required. Furthermore, the local stability analysis and control synthesis problems of Lur'e systems subject to control saturation are tackled by considering the level set of our function as an estimate of the basin of attraction. We expose that this estimate, which is given by non-convex and disconnected sets, is less conservative than ellipsoidal sets. We extend these results in order to deal with the problems of stability analysis and stabilization of discrete-time switched nonlinear systems. On one hand, we consider the case of arbitrary switching such that our sufficient conditions assure the properties of stability for all possible switching rules. In this framework, we highlight that our function is able to provide a suitable estimate of the basin of attraction. On the other hand, we tackle the problem of switching rule design aiming at the stabilization of discrete-time switched systems with nonlinear modes. We propose a switching strategy depending on the minimum of our switched Lyapunov Lur'e function. Hence, our framework leads to state space partitions, related to the mode activation, which are not restricted to conic sets, commonly exhibited by the switched quadratic functions approaches
|
24 |
Identification de systèmes dynamiques hybrides : géométrie, parcimonie et non-linéarités / Hybrid dynamical system identification : geometry, sparsity and nonlinearitiesLe, Van Luong 04 October 2013 (has links)
En automatique, l'obtention d'un modèle du système est la pierre angulaire des procédures comme la synthèse d'une commande, la détection des défaillances, la prédiction... Cette thèse traite de l'identification d'une classe de systèmes complexes, les systèmes dynamiques hybrides. Ces systèmes impliquent l'interaction de comportements continus et discrets. Le but est de construire un modèle à partir de mesures expérimentales d'entrée et de sortie. Une nouvelle approche pour l'identification de systèmes hybrides linéaires basée sur les propriétés géométriques des systèmes hybrides dans l'espace des paramètres est proposée. Un nouvel algorithme est ensuite proposé pour le calcul de la solution la plus parcimonieuse (ou creuse) de systèmes d'équations linéaires sous-déterminés. Celui-ci permet d'améliorer une approche d'identification basée sur l'optimisation de la parcimonie du vecteur d'erreur. De plus, de nouvelles approches, basées sur des modèles à noyaux, sont proposées pour l'identification de systèmes hybrides non linéaires et de systèmes lisses par morceaux / In automatic control, obtaining a model is always the cornerstone of the synthesis procedures such as controller design, fault detection or prediction... This thesis deals with the identification of a class of complex systems, hybrid dynamical systems. These systems involve the interaction of continuous and discrete behaviors. The goal is to build a model from experimental measurements of the system inputs and outputs. A new approach for the identification of linear hybrid systems based on the geometric properties of hybrid systems in the parameter space is proposed. A new algorithm is then proposed to recover the sparsest solutions of underdetermined systems of linear equations. This allows us to improve an identification approach based on the error sparsification. In addition, new approaches based on kernel models are proposed for the identification of nonlinear hybrid systems and piecewise smooth systems
|
25 |
Sur les systèmes à commutation à deux échelles de temps : une application au contrôle de guidage de bande dans un laminoir à chaud / Two time scale switched systems : an application to steering control in hot strip millsMalloci, Ivan 13 November 2009 (has links)
Dans cette thèse, on s'est attaché à résoudre un certain nombre de problèmes qui apparaissent lorsqu'on traite des problèmes concrets de contrôle: phénomènes à plusieurs échelles de temps, discontinuités de la commande lors du basculement d'un correcteur à un autre, nécessité de concevoir un nombre limité de correcteurs différents malgré une gamme très importante des produits traités. Pour illustrer concrètement les résultats obtenus, nous nous sommes appuyés sur un exemple industriel concret, le contrôle de guidage de bande durant le processus de laminage dans un laminoir à chaud. D'abord, nous proposons une solution convexe au problème de commande optimale linéaire quadratique pour les systèmes linéaires à deux échelles de temps en temps discret. Ensuite, nous établissons des conditions suffisantes, formulées sous la forme d'inégalités matricielles linéaires, qui permettent de vérifier la stabilité d'un système à commutation à deux échelles de temps et de synthétiser des correcteurs stabilisants. Nous proposons aussi dans ce travail une méthode pour minimiser les discontinuités sur la commande dans le cadre des systèmes à commutation. Dans le contexte du contrôle de guidage de bande pour un laminoir à chaud, nous ne pouvons pas négliger l'influence des paramètres incertains, qui sont dus principalement au fait que ce genre de système traite une gamme de produits très large. Donc, dans la synthèse du correcteur, nous prenons en compte ces variations en divisant l'ensemble des produits en plusieurs familles et en synthétisant un correcteur différent pour chaque famille / This Ph.D. thesis deals with a certain number of problems arising in practical implementation of control systems: multi time scale phenomena, sudden modifications on the system dynamics, discontinuities on the control signal due to controller switchings, the need of design a limited number of controllers in spite of a wide variation on the physical parameters. In order to illustrate the validity of the obtained results, we resort to a real problem concerning the steel production framework, the robust steering control of a hot strip finishing mill. First, a convex solution of the linear quadratic control design for discrete two time scale systems is proposed. Hence, we address the stability problem of two time scale switched systems. We show that stability of the slow and fast switched subsystems under arbitrary switching rules does not imply the stability of the corresponding two time scale switched system in the singular perturbation form. An additional constraint, independent of the value of the singular parameter and of the switching rule, is provided in terms of linear matrix inequalities. We also introduce a bumpless transfer method for switched systems aiming at reducing the discontinuities on the control signal. Dwell time conditions assessing the asymptotic stability of the closed loop switched system are established. The practical contribution of this thesis, the robust steering control design, exploits most of previous results. The objective is to guarantee the stability of the hot strip mill system and improve the quality of the rolled products
|
26 |
Contrôle, synchronisation et chiffrement / Control, synchronization and encryptionParriaux, Jérémy 03 October 2012 (has links)
Cette thèse traite de la synchronisation des systèmes dynamiques.La synchronisation est étudiée pour une configuration de type maître-esclave, c'est-à-dire pour des systèmes couplés de façon unidirectionnelle. Ce type de configuration s'avère d'un intérêt tout particulier car elle correspond à des architectures de communications chiffrées un-vers-un ou un-vers-plusieurs. Une attention spécifique est portée sur l'autosynchronisation, comportement qui caractérise la synchronisation par le simple couplage maître-esclave et donc en l'absence de tout contrôle extérieur. Elle joue un rôle majeur dans les communications impliquant des chiffreurs par flot autosynchronisants. L'étude de l'autosynchronisation dans le contexte cryptographique s'appuie sur la théorie du contrôle. Un lien original entre l'autosynchronisation et le principe de chiffrement/déchiffrement en cryptographie est mis en évidence. Il fait appel à la propriété de platitude des systèmes dynamiques, un concept emprunté à l'automatique. On montre que les systèmes dynamiques plats définissent complètement l'ensemble des systèmes autosynchronisants et permettent d'élargir les structures existantes des chiffreurs autosynchronisants. La platitude est tout d'abord étudiée pour deux types de systèmes non linéaires~: les systèmes linéaires commutés et à paramètres variants (LPV). La caractérisation des sorties plates s'appuie sur le concept de semigroupes nilpotents et un algorithme performant est proposé. Une approche constructive pour réaliser des structures maître-esclave autosynchronisantes est proposée sur la base de systèmes plats et les notions d'inversibilité à gauche et à droite empruntées à la théorie du contrôle. Par la suite, l'autosynchronisation est étudiée dans le contexte booléen, privilégié en cryptographie.Elle est caractérisée en premier lieu au travers la notion d'influence. Ensuite, différentes représentations matricielles associées aux fonctions booléennes sont proposées. Ces représentations s'avèrent particulièrement intéressantes pour l'analyse des propriétés liées à la sécurité. Un lien entre l'autosynchronisation et les structures propres des représentations matricielles est établi. Une approche orientée graphes est finalement élaborée pour la caractérisation. De nouvelles constructions de structures autosynchronisantes en sont déduites et des éléments de sécurité sont discutés. Enfin, une plateforme de test à base de FPGA qui a été réalisée est décrite / This thesis deals with the synchronization of dynamical systems. The synchronization considered is called master-slave, that is, the dynamical systems are connected in a unidirectional way. This configuration is of interest because it corresponds to an architecture encountered in secured communications of type one-to-one or one-to-many. A special attention is paid to self-synchronization. A behaviour that characterizes synchronization achieved with a simple master-slave coupling and so, without any external control. It is a central feature of self-synchronizing stream ciphers. The study of self-synchronization in the cryptographic context relies on control theory. An original connection between self-synchronization and encryption/decryption is provided. It is based on the flatness property of dynamical systems, a property borrowed from automatic control. It is shown that flat dynamical systems completly define the set of all self-synchronizing systems and thus, enlarge the existing structures of self-synchronizing stream ciphers. Flatness is first of all studied for the case of two nonlinear systems: switched linear systems and linear parameter-varying (LPV) systems. Flatness caracterization is based on the concept of nilpotent semigroups and an efficient algorithm is provided. A constructive approach for self-synchronizing master-slave structures is proposed. It relies on the construction of flat systems as well as on left and right invertibility also borrowed from control theory. Then, self-synchronization is studied in the Boolean context which is preferred in cryptography. Self-synchronization is caracterized through the notion of influence. Several matrix representations of Boolean functions are proposed. These representations are especially interesting for security analysis. A connection between self-synchronization and the eigenstructures of these matrices is established. Then, a graph oriented approach is provided. New self-synchronizing constructions are deduced and security elements are discussed. Eventually, the description of a realized FPGA based test plateform is provided
|
27 |
A Study of Infectious Disease Models with SwitchingStechlinski, Peter January 2009 (has links)
Infectious disease models with switching are constructed and investigated in detail. Modelling infectious diseases as switched systems, which are systems that combine continuous dynamics with discrete logic, allows for the use of methods from switched systems theory. These methods are used to analyze the stability and long-term behaviour of the proposed switched epidemiological models. Switching is first incorporated into epidemiological models by assuming the contact rate to be time-dependent and better approximated by a piecewise constant. Epidemiological models with switched incidence rates are also investigated. Threshold criteria are established that are sufficient for the eradication of the disease, and, hence, the stability of the disease-free solution. In the case of an endemic disease, some criteria are developed that establish the persistence of the disease. Lyapunov function techniques, as well as techniques for stability of impulsive or non-impulsive switched systems with both stable and unstable modes are used. These methods are first applied to switched epidemiological models which are intrinsically one-dimensional. Multi-dimensional disease models with switching are then investigated in detail. An important part of studying epidemiology is to construct control strategies in order to eradicate a disease, which would otherwise be persistent. Hence, the application of controls schemes to switched epidemiological models are investigated. Finally, epidemiological models with switched general nonlinear incidence rates are considered. Simulations are given throughout to illustrate our results, as well as to make some conjectures. Some conclusions are made and future directions are given.
|
28 |
A Study of Infectious Disease Models with SwitchingStechlinski, Peter January 2009 (has links)
Infectious disease models with switching are constructed and investigated in detail. Modelling infectious diseases as switched systems, which are systems that combine continuous dynamics with discrete logic, allows for the use of methods from switched systems theory. These methods are used to analyze the stability and long-term behaviour of the proposed switched epidemiological models. Switching is first incorporated into epidemiological models by assuming the contact rate to be time-dependent and better approximated by a piecewise constant. Epidemiological models with switched incidence rates are also investigated. Threshold criteria are established that are sufficient for the eradication of the disease, and, hence, the stability of the disease-free solution. In the case of an endemic disease, some criteria are developed that establish the persistence of the disease. Lyapunov function techniques, as well as techniques for stability of impulsive or non-impulsive switched systems with both stable and unstable modes are used. These methods are first applied to switched epidemiological models which are intrinsically one-dimensional. Multi-dimensional disease models with switching are then investigated in detail. An important part of studying epidemiology is to construct control strategies in order to eradicate a disease, which would otherwise be persistent. Hence, the application of controls schemes to switched epidemiological models are investigated. Finally, epidemiological models with switched general nonlinear incidence rates are considered. Simulations are given throughout to illustrate our results, as well as to make some conjectures. Some conclusions are made and future directions are given.
|
29 |
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
|
30 |
Projetos de controladores robustos chaveados para sistemas não lineares baseados na decomposição em soma de quadrados /Ramos, Igor Thiago Minari. January 2018 (has links)
Orientador: Marcelo Carvalho Minhoto Teixeira / Resumo: Neste trabalho são propostos novos métodos de controle chaveado para uma classe de sistemas não lineares incertos utilizando a decomposição em soma de quadrados. Inicialmente é apresentada uma revisão dos conceitos e projetos de controladores baseados em desigualdades matriciais lineares (do inglês Linear Matrix Inequalities - LMIs) e a decomposição em soma de quadrados (do inglês Sum of Squares - SOS), buscando evidenciar as diferenças e vantagens das metodologias para a área de controle. Comumente são utilizados modelos fuzzy para realizar a análise da estabilidade e projeto de controladores para sistemas não lineares, e estes modelos podem ser classificados de acordo com a parte consequente linear ou polinomial. Busca-se neste trabalho evidenciar as diferenças entre os dois modelos fuzzy e a metodologia para projeto de controladores. Para o caso de sistemas cujas dinâmicas podem ser descritas apenas por funções polinomiais, serão consideradas incertezas politópicas. Então, visando flexibilizar o projeto utilizando um controlador composto por um único ganho polinomial e aumentar a região de factibilidade, são propostos controladores com ganhos polinomiais chaveados. O objetivo desta lei de chaveamento é minimizar a derivada da função de Lyapunov empregada no projeto. Considerando uma classe de sistemas não lineares mais geral, são propostos controladores com ganhos chaveados para modelos fuzzy polinomiais. A metodologia proposta não necessita do conhecimento das funções de ... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: In this manuscript new control methods are proposed for a class of uncertain nonlinear systems using a sum of squares decomposition. Initially is presented a revision of concepts and control design procedures based on Linear Matrix Inequalities (LMIs) and on sum of squares (SOS) evidencing the differences and advantages of these methodologies in the control system design. Fuzzy models are commonly used to perform stability analysis and controller design for nonlinear systems, and can be classified by a linear or polynomial consequent model. A goal of this dissertation is to compare these two methodologies in the control system design of a class of uncertain nonlinear systems. For the case of systems whose dynamics can be described only by polynomial functions will be also considered polytopic uncertainty. Therefore, in order to make the design more flexible than that obtained with only one controller with polynomial gain and increase the feasibility region, a new procedure for designing controllers with switched polynomial gains is proposed. The purpose of this switching law is to minimize the time derivative of the Lyapunov function employed in the design. For a more general class of nonlinear systems, controllers with switched gains for polynomial fuzzy models are proposed. The proposed methodology does not require the knowledge of the membership functions for an implementation of the control law. This fact is an important advantage over the many methods that consider avail... (Complete abstract click electronic access below) / Mestre
|
Page generated in 0.0745 seconds