• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 188
  • 68
  • 51
  • 19
  • 9
  • 7
  • 6
  • 4
  • 4
  • 4
  • 3
  • 2
  • 1
  • 1
  • 1
  • Tagged with
  • 417
  • 145
  • 73
  • 67
  • 63
  • 55
  • 54
  • 51
  • 46
  • 44
  • 42
  • 38
  • 37
  • 37
  • 36
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
241

Observateurs grand gain pour des systèmes non linéaires à sorties échantillonnées et retardées / High gain observers for nonlinear systems with sampled and delayed outputs

Treangle, Clement 04 December 2018 (has links)
Ce manuscrit porte sur la synthèse d'observateurs grand gain pour des systèmes non linéaires à sorties échantillonnées et retardées. Trois contributions sont proposées à la lecture de ce manuscrit. La première contribution, pour une classe de systèmes Multi-entrées / Multi-sorties uniformément observables et dont les sorties sont regroupées en un seul bloc, met en jeu le problème du processus d'acquisition des mesures de sorties (continues, échantillonnées, retardées ou non) et propose un cadre commun pour l'ensemble des cas possibles. La deuxième contribution propose un observateur grand gain filtré sur cette même classe de systèmes dans l'optique de réduire la sensibilité au bruit de mesure, dans le cas où la sortie est continue puis dans le cas où cette dernière est échantillonnée. La dernière contribution vise à étendre la synthèse grand gain standard pour une large classe de systèmes Multi-entrées / Multi-sorties uniformément observables dont les mesures des sorties sont continues. Pour chacune de ces contributions, il a été montré que l'erreur d'observation de chacun des observateurs proposés converge exponentiellement vers zéro en l'absence d'incertitudes sur le système. Toutes ces contributions ont été illustrées par différents exemples issus de plusieurs domaines d'étude. / This manuscript deals with the synthesis of high gain observers for nonlinear systems with sampled and delayed outputs. Three contributions are proposed for consideration in this manuscript. The first contribution, for a class of Multi-input / Multi-output systems whose outputs are grouped into a single block, involves the problem of the acquisition process of output measurements (continuous, sampled, delayed or not) and proposes a common framework for all possible cases. The second contribution proposes a filtered high gain observer on this same class of systems in order to reduce the sensitivity to measurement noise, in the case where the output is continuous and then in the case where the latter is sampled. The last contribution aims to extend the standard high gain synthesis for a large class of uniformly observable Multi-input / Multi-output systems with continuous output measurements. For each of these contributions, it has been shown that the observation error of each of the proposed observers converges exponentially towards zero in the absence of uncertainties in the system. All these contributions have been illustrated through several examples from different fields of study.
242

A qualidade espacial na obra de Louis I. Kahn

Lorentz, Rafael de Conti January 2016 (has links)
Essa dissertação apresenta um estudo analítico sobre a obra do arquiteto Louis I. Kahn, desde o ponto de vista da sua qualidade espacial, compreendida esta no modo como ocorre a interação entre espaço e usuário. Foram selecionados três edifícios como estudos de caso capazes de representar a síntese evolutiva da concepção de espaço ao longo da obra de Kahn, os quais foram submetidos a uma análise empírica baseada na experiência espacial do observador em movimento, lançando mão de um conjunto de ferramentas no assim denominado método do observador. Os edifícios estudados viabilizam o desenvolvimento de análises que abrangem desde as primeiras obras de Kahn, na década de 1930, até o seu falecimento, em 1974. A análise realizada registra o desempenho dos edifícios em termos de sua legibilidade e funcionalidade, compreendidas como qualidades inerentes ao espaço e ao modo como este condiciona a experiência do usuário, relacionandoas à concepção espacial do edifício. Procura-se ampliar a compreensão dos resultados obtidos à luz da evolução da obra teórica do autor, traçando relações de causa e efeito entre esta e os fenômenos registrados na realidade concreta dos edifícios. O trabalho busca ainda ampliar a compreensão da relação da obra de Kahn com o contexto da produção arquitetônica de sua época, investigando as influências que recebe e as contribuições que oferece, especialmente no que tange à continuidade da arquitetura moderna. / The present dissertation is as an analytical study about the work of architect Louis I. Kahn, focusing on its spatial quality, as funded in the interaction between space and people in motion. Three buildings were selected as case studies in order to capture the evolutionary synthesis of space conception happened during Kahn’s career. Each building was submitted to an empirical scrutiny based upon the spatial experience of a moving observer, using a set of tools named as the “method of the observer”. The buildings investigated are put in relation with other Kahn’s buildings, so allowing the development of an analytical discourse embracing since his first works, in the 1930’s, until his death, in 1974. The analysis registers the performance of the buildings in terms of their legibility and their functionality, both understood as qualities inherent to space and the way they shape the user’s experience, so relating them to the building’s spatial conception. The dissertation intends to enlarge the understanding of the findings by considering the evolution of Kahn’s theoretical work, so bringing cause-effect connections between theory and the registered phenomena in the concrete reality of buildings. Eventually, this study aims to enlarge the understanding of the link between Kahn’s work and the architectural environment of the time, so exploring the influences he received and contributions he gave, especially concerning the evolution of modern architecture.
243

Commande et observation d’une classe de systèmes linéaires à commutations : Application aux convertisseurs de puissance DC-DC / Control and observation of a class of switched linear systems : Application to DC-DC power converters

Meghnous, Ahmed Rédha 02 December 2013 (has links)
Cette thèse s’intéresse à la commande et l’observation d’une classe de systèmes linéaires à commutations (SLC). La classe considérée regroupe les systèmes pouvant être représentés par un modèle Hamiltonien à ports. Récemment, plusieurs travaux ont utilisé la théorie des systèmes dynamiques hybrides pour traiter les problèmes de stabilité, de commandabilité et d’observabilité des systèmes linéaires à commutations. Cependant, certains verrous scientifiques demeurent et nécessitent d’être levés tels que la synthèse d’observateurs pour des SLC présentant des modes de fonctionnement inobservables ou la commande hybride de systèmes possédant un nombre réduit d’entrées de commutations et un nombre élevé de variables d’état à contrôler. Dans ce travail, nous nous intéressons à la synthèse d’observateurs s’appuyant sur la modélisation moyenne et la modélisation hybride de SLC ayant une topologie Hamiltonienne à ports particulière. Ce formalisme possède les outils nécessaires pour établir des preuves de stabilité des erreurs d’observation. Dans un premier temps, nous proposons un observateur non linéaire reposant sur le modèle moyen de la classe des SLC considérée. Ensuite, nous traitons le problème de synthèse d’un observateur hybride où nous proposons un observateur commuté prenant en compte les modes de fonctionnement inobservables. Le problème de la commande des SLC est abordé par la suite. Au départ, la théorie de Lyapunov est utilisée pour proposer deux lois de commandes : La première est synthétisée à partir du modèle moyen et la deuxième exploite le modèle hybride. Une commande optimale hybride est élaborée en utilisant le principe du maximum de Pontryagin et une approche utilisant la recherche d’arcs singuliers. Finalement, une commande prédictive hybride est établie à partir d’un modèle discrétisé du système. Des résultats de simulation et une mise en œuvre expérimentale sur un convertisseur DC-DC SEPIC sont donnés pour montrer l’efficacité des méthodes proposées. L’étude d’un tel circuit est motivée par sa topologie particulière qui contient à la fois un mode de fonctionnement observable et un mode de fonctionnement inobservable. En outre, il possède une seule entrée de commutations et quatre variables d’état ce qui lui vaut la réputation être difficile à commander. / This thesis is dedicated to the control and the observation of a class of switched linear systems (SLS). This class contains the systems that can be represented by a port-Hamiltonian model. A lot of works have been studied SLS for several years using an average modeling approach. Recently, various works have shown that hybrid system theory allows to cope with stabilization, controllability, and observability problems of switched linear systems. However, several problems are still open and need more development such as the design of hybrid observers for SLS that have unobservable modes or the control of systems with reduced number of switching inputs and numerous variable states to control. In this work, we are interested in the design of state observers for a particular class of SLS using both the average and the hybrid port-Hamiltonian models. This formalism has the necessary tools to study and establish the stability of the observation errors. At the beginning, a nonlinear observer based on the average modeling is proposed. Next, a hybrid observer is designed for switched linear systems. This observer takes into account the unobservable operating modes of the system. The second point of our work concerns the design of control laws for the considered class of SLS. At first, two Lyapunov-based control laws have been established using either an average model or a hybrid model of the system. A hybrid optimal control based on the maximum principle of Pontryagin and the computation of singular arcs has been also proposed. Finally, a hybrid predictive control based on a discrete model of the system is synthesized. Simulation results and an experimental implementation on a SEPIC converter are given to show the efficiency of the proposed methods. Our motivation to study such a converter is mainly due to its particular topology that includes observable and unobservable subsystems. It is also known to be difficult to be controlled because only one switching input is used to control four state variables.
244

Estimation et commande robustes de culture de microalgues pour la valorisation biologique de CO2. / Estimation and robust control of microalgae culture for optimization of biological fixation of CO2

Filali, Rayen 11 June 2012 (has links)
Cette thèse s’attache à la maximisation de la consommation du dioxyde de carbone par les microalgues. En effet, suite aux différentes problématiques environnementales actuelles liées principalement aux émissions importantes de gaz à effet de serre et notamment le CO2, il a été démontré que les microalgues jouent un rôle très prometteur pour la bio-fixation du CO2. Dans cette optique, nous nous intéressons à la mise en place d’une loi de commande robuste permettant de garantir des conditions opératoires optimales pour une culture de la microalgue Chlorella vulgaris dans un photobioréacteur instrumenté. Cette thèse repose sur trois axes principaux. Le premier porte sur la modélisation de la croissance de l’espèce algale choisie à partir d’un modèle mathématique traduisant l’influence de la lumière et de la concentration en carbone inorganique total. En vue de la commande, le deuxième axe est consacré à l’estimation de la concentration cellulaire à partir des mesures disponibles en temps réel du dioxyde de carbone dissous. Trois types d’observateurs ont été étudiés et comparés : filtre de Kalman étendu, observateur asymptotique et observateur par intervalles. Le dernier axe concerne l’implantation d’une loi de commande prédictive non-linéaire couplée à une stratégie d’estimation pour la régulation de la concentration cellulaire autour d’une valeur maximisant la consommation du CO2. Les performances et la robustesse de cette commande ont été validées en simulation et expérimentalement sur un photobioréacteur instrumenté à l’échelle de laboratoire. Cette thèse est une étude préliminaire pour la mise en œuvre de la maximisation de la fixation du dioxyde de carbone par les microalgues. / This thesis deals with the optimization of carbon dioxide consumption by microalgae. Indeed, following several current environmental issues primarily related to large emissions of CO2, it is shown that microalgae represent a very promising solution for CO2 mitigation. From this perspective, we are interested in the optimization strategy of CO2 consumption through the development of a robust control law. The main aim is to ensure optimal operating conditions for a Chlorella vulgaris culture in an instrumented photobioreactor. The thesis is based on three major axes. The first one concerns growth modeling of the selected species based on a mathematical model reflecting the influence of light and total inorganic carbon concentration. For the control context, the second axis is related to biomass estimation from the real-time measurement of dissolved carbon dioxide. This step is necessary for the control part due to the lack of affordable real-time sensors for this kind of measurement. Three observers structures have been studied and compared: an extended Kalman filter, an asymptotic observer and an interval observer. The last axis deals with the implementation of a non-linear predictive control law coupled to the estimation strategy for the regulation of the cellular concentration around a value which maximizes the CO2 consumption. Performance and robustness of this control law have been validated in simulation and experimentally on a laboratory-scale instrumented photobioreactor. This thesis represents a preliminary study for the optimization of CO2 mitigation strategy by microalgae.
245

Estimation en temps fini de systèmes non linéaires et à retards avec application aux systèmes en réseau / Finite-time estimation of nonlinear and delay systems with application to networked systems

Langueh, Kokou Anani Agbessi 06 December 2018 (has links)
Cette thèse étudie le problème d'identification de la topologie d'un réseau de systèmes complexes dynamiques, dont les sous-systèmes sont décrits par des équations différentielles ordinaires (EDO) et/ou par des équations différentielles à retard (EDR). La première partie de ce travail porte sur l’identification des paramètres du réseau de systèmes linéaires. Ainsi, différentes classes de systèmes linéaires ont été traitées, à savoir les systèmes sans retard, les systèmes à retard commensurable et les systèmes à entrées inconnues. Un observateur impulsif est proposé afin d'identifier à la fois les états et les paramètres inconnus de la classe de système dynamique considérée en temps fini. Afin de garantir l'existence de l'observateur impulsif proposé, des conditions suffisantes sont déduites. Des exemples illustratifs sont donnés afin de montrer l'efficacité de l'observateur en temps fini proposé.La deuxième partie de ce travail traite le problème de l'identification de la topologie d'un réseau de systèmes dynamiques non linéaires. Dans nos considérations, les coefficients interconnexions de la topologie du réseau sont considérés comme des paramètres constants. Par conséquent, l'identification de la topologie est équivalente à l'identification des paramètres inconnus. Tout d’abord, nous avons déduit des conditions suffisantes sur l’identifiabilité des paramètres, puis nous avons proposé un différenciateur uniforme avec convergence en temps fini pour estimer les paramètres inconnus / This thesis investigates the topology identification problem for network of dynamical complex systems, whose subsystems are described by ordinary differential equations (ODE) and/or delay differential equations (DDE). The first part of this work focuses on the parameters identification of the network of linear systems. Thus, different classes of linear systems have been treated namely systems without delay, systems with commensurable delay and systems with unknown inputs. An impulsive observer is proposed in order to identify both the states and the unknown parameters of the considered class of dynamic system in finite time. In order to guarantee the existence of the proposed impulsive observer, sufficient conditions are deduced. An illustrative example is given in order to show the efficiency of the proposed finite-time observer.The second part of this work treats the topology identification of the network of nonlinear dynamic systems. In our considerations, the topology connections are represented as constant parameters, therefore the topology identification is equivalent to identify the unknown parameters. A sufficient condition on parameter identifiability is firstly deduced, and then a uniform differentiator with finite-time convergence is proposed to estimate the unknown parameters
246

Distinção entre os tipos 1 e 2 de tireotoxicose associada à amiodarona por meio de dúplex-Doppler colorido / Differentiation between types 1 and 2 of amiodarone-associated thyrotoxicosis using color duplex sonography

Macedo, Tulio Augusto Alves 10 November 2006 (has links)
INTRODUÇÃO: A amiodarona pode causar tireotoxicose, principalmente em áreas geográficas onde a ingestão de iodo é insuficiente. Dois tipos distintos de tireotoxicose associada à amiodarona (TAA) podem ser encontrados: A) o tipo 1 - a doença é secundária à sobrecarga de iodo (fenômeno Jod-Basedow), geralmente encontrada em indivíduos com doença tireóidea preexistente, B) o tipo 2 - quando a tireotoxicose deve-se a uma tireoidite destrutiva, com ruptura folicular e liberação do conteúdo folicular. A distinção entre os dois tipos é fundamental para a conduta terapêutica. Este estudo transversal, realizado no Instituto de Radiologia do Hospital das Clínicas da Faculdade de Medicina da Universidade de São Paulo entre janeiro de 2004 a março de 2006, objetivou: A) Demonstrar a utilidade da densidade de pixéis coloridos (DPC), parâmetro objetivo obtido por meio de programa de computador, na distinção entre os dois tipos de TAA. B) Determinar os melhores critérios objetivos de distinção entre os dois tipos de TAA por meio da ultra-sonografia dúplex-Doppler colorido da tireóide. C) Conhecer o grau de concordância intra-observadores e interobservadores dos padrões subjetivos de vascularização do parênquima tireóideo. MÉTODOS: Foram examinadas 158 glândulas tireóideas por meio de dúplex-Doppler colorido. Após passagem pelos critérios de seleção, 137 indivíduos foram divididos em quatro grupos: Grupo N (n = 84), grupo A (n = 30), grupo I (n = 14) e grupo II (n = 9), compostos por indivíduos normais, eutireóideos em uso de amiodarona, pacientes com tireotoxicose tipos 1 e 2, respectivamente. Todos os indivíduos foram submetidos ao estudo dúplex-Doppler colorido da tireóide e testes laboratoriais. Os pacientes em tireotoxicose também realizaram captação de iodo radioativo em 24 horas. RESULTADOS: No grupo I, tanto a densidade de pixéis coloridos (DPC = 17,22 ± 20,81%) quanto as velocidades de pico sistólico nas artérias tireóideas superiores (VSTS = 38,54 ± 18,62 cm/s) e inferiores (VSTI = 35,35 ± 18,08 cm/s) foram maiores do que nos demais grupos (p < 0,05). As análises de concordância do padrão subjetivo de vascularização do parênquima tireóideo mostraram coeficientes kappa ponderado (kw) variando de 0,78 a 0,79 para intra-observadores e de 0,83 a 0,86 para interobservadores. CONCLUSÕES: A) A DPC tem, isoladamente, boa capacidade para distinguir os dois tipos de TAA. B) Os melhores critérios objetivos na distinção entre TAA tipos 1 e 2 são a DPC e as velocidades de pico sistólico nas artérias tireóideas. C) As análises subjetivas dos padrões de vascularização apresentam boa concordância tanto intra-observadores quanto interobservadores. / INTRODUCTION: Amiodarone can cause thyrotoxicosis, mainly in geographic insufficient iodine intake areas. Two different types of amiodarone-associated thyrotoxicosis can be found: A) type 1 - it occurs in patients with preexistent thyroid disease, such as goiter or autonomous nodule, and the iodine load associated with amiodarone triggers increased synthesis of thyroid hormones (Jod-Basedow fenomenon), B) type 2 - a destructive thyroiditis is found, characterized by follicular rupture and release of its content. In order to treat appropriately, the differentiation between the two types is crucial. This transversal study, carried through at the Institute of Radiology, Hospital das Clínicas da Faculdade de Medicina da Universidade de São Paulo from January 2004 to March 2006, aimed to: A) demonstrate the utility of the color pixel density (CPD), a semiquantitative parameter gotten by means of computer program, in the differentiation between the two types of AAT, B) verify the best objective criteria of distinction between the two types of AAT through the duplex-Doppler sonography of the thyroid, C) investigate the agreement intra and interobservers of the subjective classification of the thyroid vascularization. METHODS: thyroid glands of 158 subjects were examined by means of duplex-Doppler sonography. After all the selection criteria, 137 individuals were selected into four groups; group N (n = 84), group A (n = 30), group I (n = 14) and II (n = 9), compounded of normal individuals, euthyroids in use of amiodarone, and patients with thyrotoxicosis types 1 and 2, respectively. All the individuals were submitted to perform the duplex-Doppler sonography of the thyroid and laboratorial tests. Also, the patients with thyrotoxicosis had also carried through 24 hour radioactive iodine uptake. RESULTS: In the group I, not only the color pixel density (CPD = 17.22 ± 20.81%) but also the values of systolic peak velocity in the superior and the inferior thyroid arteries (SPVS = 38.54 ± 18.62 cm/s and SPVI = 35.35 ± 18.08 cm/s) were greater than in the other groups (p < 0.05). The subjective agreement analysis of the vascularization patterns showed kappa weighted (kw) coefficients varying between 0.78 and 0.79 for intra-observer, and 0.83 and 0.86 for interobserver analyses. CONCLUSIONS: A) CPD is separately able to distinguish the two types of AAT. B) The best objective criteria in the distinction between AAT types 1 and 2 are the color pixel density CPD and the peak systolic velocity in the thyroid arteries. C) The subjective analyses of the vascularization pattern show good and very good intraobserver and interobserver agreements.
247

Méthodes garanties pour l’estimation d’état et le contrôle de cohérence des systèmes non linéaires à temps continu

Videau, Gaétan 17 July 2009 (has links)
Cette thèse traite des problèmes d’estimation et de contrôle de cohérence par l’utilisation des techniques ensemblistes. L’objectif est la mise en place d’une démarche méthodologique pour la surveillance et la détection d’anomalies au sein des systèmes où le déterminisme des indicateurs relatifs à l’état de santé du système est une condition sine qua non. Une fois placé dans un contexte ensembliste, l’évolution de chaque variable du système est représentée par une enveloppe traduisant les incertitudes internes et externes ; cette enveloppe représente le seuil au delà duquel le comportement observé représente un écart anormal par rapport à son comportement nominal, et pouvant conduire à une incapacité pour accomplir les objectifs de sa mission. Les techniques développées sont appliquées à un procédé hydraulique de laboratoire . / This work deals with the development of set-membership methods for set esti- mation and consistency checks for nonlinear continuous-time systems. The main objective is to setup a methodology for fault detection and isolation for the systems where the deter- minism of faults indicators on the health system is a necessary condition. Once placed in a set-membership framework, the evolution of each variable is represented by an envelope re?ecting the internal and external uncertainties. This envelope corresponds to the threshold beyond which the observed behavior is an abnormal discrepancy over its nominal behav- ior, thus preventing the accomplishment the mission objectives. The proposed methods are applied on a hydraulic laboratory process.
248

Controle de velocidade sensorless aplicado ao controle direto de torque da máquina de indução / Sensorless speed control applied to direct torque control of induction machine

William César de Andrade Pereira 14 February 2014 (has links)
Neste trabalho é apresentado um estudo sobre o controle de velocidade sensorless aplicado ao Motor de Indução Trifásico (MIT) visando sobretudo, melhorar o desempenho da máquina de indução em aplicações na região de baixa frequência de operação. Para tanto, propõe-se uma abordagem utilizando a técnica de controle Direct Torque Control (DTC) com Space Vector Modulation (SVM) em conjunto com o Observador de Fluxo com Modelo de Tensão e Corrente (OFMTC), o que possibilita a estimação precisa da posição do vetor de fluxo do estator em baixa velocidade. Para a estimativa da velocidade do rotor é utilizado a estratégia Model Reference Adaptive System (MRAS) com mecanismo de adaptação fuzzy, a fim de se diminuir a sensibilidade aos parâmetros da máquina. O desempenho da estratégia de controle de velocidade sensorless proposta é testada em simulações com diferentes condições de operação buscando reproduzir alguns dos problemas encontrados em aplicações práticas, utilizando o software Matlab. Os resultados obtidos foram condizentes com resultados encontrados na literatura, comprovando o bom desempenho do sistema de controle de velocidade proposto. / This work deals with the sensorless speed control for Three-phase Induction Motor in order to improve its operation at low speed and low frequency. At first, a Direct Torque Control employing Space Vector Pulse with Modulation (SVPWM) based on Flux Observer (voltage and current model) is studied and evaluated due to its high accuracy of estimating the stator-flux at low speed. The Model Adaptive Reference (MRAS) with Fuzzy Controler is chosen in order to estimate the rotor speed. This choice is based on its capability of high performance during Three-phase Induction Motor operation even if the machines parameters and the load change during the operation. At last, some simulations with diferent operational conditions at low speed are carried out in order to test the sensorless control. The results show a good perfomance and agreed with the results shown in recent papers.
249

Diagnosticabilité modulaire appliquée au Diagnostic en ligne des Systèmes Embarqués Logiques / Modular diagnosability applied to on line Diagnosis of Digital Embedded System

Saddem, Ramla 10 December 2012 (has links)
Aujourd'hui, les systèmes embarqués sont de plus en plus utilisés pour contrôler les systèmes complexes. Dans ce travail de thèse, nous nous intéressons aux systèmes embarqués critiques utilisés pour la commande de systèmes de transport comme les systèmes ferroviaires. Le but de ce travail est de permettre la conception de systèmes tolérants aux fautes pour le contrôle-commande des systèmes de transport. Nous proposons une nouvelle approche de modélisation des systèmes embarqués temporisés pour le diagnostic de leurs fautes. Elle est basée sur une décomposition structurelle du système et sur une extension de la diagnosticabilité modulaire au contexte des systèmes temporisés. On distingue deux approches de base pour le diagnostic de fautes des SED, une approche basée sur les diagnostiqueurs et une approche basée sur les signatures temporelles causales (STC). La principale limite de l’approche diagnostiqueur réside dans la gestion de l’explosion combinatoire. Dans ce travail, notre verrou principal est de combattre cette limite. Nous proposons une nouvelle méthode basée sur l’ingénierie par les modèles pour le diagnostic des systèmes embarqués critiques. D’autre part, la limite majeure de l’approche STC est la garantie de la cohérence d’une base de STC. Un deuxième niveau de difficulté réside dans l’interprétation des événements en entrée du système de diagnostic dans le cadre de l’hypothèse de défaillances multiples. Dans ce travail, nous proposons deux méthodes différentes pour la vérification de la cohérence d’une base de STC et nous proposons un algorithme d’interprétation basé sur le concept de monde qui garantit la correction du diagnostic / Today, embedded systems are increasingly used to control complex systems. In this thesis, we are interested in critical embedded systems used for the control of transport systems such as railway systems. The aim of this work is to enable the design of fault-tolerant systems for the control of transport systems. We propose a new timed embedded systems modeling approach to diagnose their faults. It is based on decomposition of the system and structural extension of diagnosability context of modular timed systems. In DES, there are two basic approaches for diagnosis: diagnoser based approach and chronicles (Causal Temporal Signature (CTS)) based approach. The major limitation of diagnoser approaches rely in the management of the combinatorial explosion related to the formalism of automata. In this work, our main lock is to combat this limit. We propose new engineering models based method for the diagnosis of critical embedded systems. On the other hand, the major limitation of chronicles approach is first to be able to guaranty the consistency of a database. A second level of difficulty is in interpreting some sequences of events at the input of the diagnostic system under the hypothesis of multiple failures. In this work, we propose two different methods to verify the consistency of a set of CTS and we propose an interpretation algorithm based on a concept of worlds which guarantees the correct diagnosis
250

Commande de systèmes linéaires sous contraintes fréquentielles et temporelles : Application au lanceur flexible / Frequency- and time-domain constrained control of linear systems : Application to a flexible launch vehicle

Chambon, Emmanuel 29 November 2016 (has links)
Dans la plupart des problèmes de synthèse, la loi de commande obtenue doit répondre simultanément à des critères réquentiels et temporels en vue de satisfaire un cahier des charges précis. Les derniers développements des techniques de synthèse Hinf de contrôleurs structurés permettent d'obtenir des lois de commande satisfaisant des critères fréquentiels multiples. En revanche, la synthèse de loi de commande satisfaisant une contrainte temporelle sur une sortie ou un état du système est plus complexe. Dans ce travail de thèse, la technique OIST est considérée pour ce type de contraintes. Elle consiste à saturer la sortie du contrôleur dès que la contrainte n'est plus vérifiée afin de restreindre l'ensemble des sorties admissibles. Initialement formulée pour les systèmes linéaires connus dont l'état est mesuré, la technique OIST peut être généralisée pour permettre de considérer des systèmes incertains. C'est l'extension OISTeR qui est proposée dans ce travail. Elle utilise les données d'un observateur par intervalles pour borner de manière garantie le vecteur d'état. La théorie des observateurs par intervalles a récemment fait l'objet de nombreux travaux. La méthode la plus rapide pour obtenir un observateur par intervalles d'un système donné est de considérer un système intermédiaire coopératif dans de nouvelles coordonnées. Une nouvelle technique de détermination de ces nouvelles coordonnées, intitulée SCorplO, est proposée dans ce mémoire. L'ensemble des techniques présentées est appliqué au contrôle d'un lanceur flexible durant son vol atmosphérique, en présence de rafales de vent et sous contrainte temporelle sur l'angle d'incidence. / Ln control design problems, both frequency- and time-domain requirements are usually considered such that the resulting control law satisfies the specifications. Novel non-smooth optimization techniques can be used to achieve multiple frequency-domain specifications over a family of linear models. However, enforcing time-domain constraints on a given output or state is more challenging Since translating them into frequency-domain requirements may be inaccurate. This motivates the study of an additional approach to the Hinf control design techniques. When time-domain constraints are satisfied, the nominal control law reduces to a controller satisfying the frequency-domain constraints. Upon violation of the ime-domain constraint, an additional tool named OIST is used to saturate the controller output so as to restrict the reachable set of the constrained system output. Stability guarantees are obtained for minimum phase systems. Further developments proposed therein allow the consideration of uncertain systems With incomplete state measurements. This is he OISTeR approach. The method uses certified bounds on the considered system state as provided by an interval observer. he theory of interval observers is well-established. ln the case of linear systems, the most common approach is to consider an intermediate cooperative system on which the interval observer can be built. The novel SCorplO design method proposed in this work is used to compute such cooperative representation. ln this thesis, the considered application is the atmospheric control of a flexible launch vehicle under a time-domain constraint on the angle of attack and in the presence of wind gusts.

Page generated in 0.05 seconds