This paper presents the whole process of building up a high precision, high dynamical MEMS acceleration sensor. The first samples have achieved a resolution of better than 500 micro g and a bandwidth of more than 200 Hz. The sensor fabrication technology is shortly covered in the paper. A theoretical model is built from the physical principles of the complete sensor system, consisting of the MEMS sensor, the charge amplifier and the PWM driver for the sensor element. The mathematical modeling also covers problems during startup. A reduced order model of the entire system is used to design a robust control with the Mixed-Sensitivity H-infinity Approach. Since the system has an unstable pole, imposed by the electrostatic field and time delay, caused by A/D-D/A conversation delay and DSP computing time, limitations for the control design are given. The theoretical model might be inaccurate or lacks of completeness, because the parameters for the theoretical model building vary from sample to sample or might be not known. A new identification scheme for open or closed-loop operation is deployed to obtain directly from the samples the parameters of the mechanical system and the voltage dependent gains. The focus of this paper is the complete system development and identification process including practical tests in a DSP TI-TMS320C3000 environment.

Untersucht wird das Cauchy Problem für degenerierte $p$-Evolutionsgleichungen. Dabei kann für Gleichungen höherer Ordnung in $D_t$, die nur von der Zeit abhängen, gezeigt werden, dass das Problem $H^\\infinity$ korrekt ist. Dafür werden gewisse Bedingungen an die Koeffizienten und deren erste Ableitungen gestellt. $H^\\infinity$ korrekt bedeutet dabei, dass die Anfangsdaten $u_0\\in H^s$, $u_1$ in einem dazugehörigen Sobolevraum und die Lösung bezüglich $x$ in $H^{s-s_0}$ liegen. Eine Notwendigkeit für die Bedingungen kann allerdings nicht gezeigt werden. Auch ist offen, ob der Regularitätsverlust wirklich eintritt. Später wird der Beweis erweitert um das Ergebniss für Koeffizienten zu zeigen, die in gewisser Weise auch vom Ort abhängen können. Im zweiten Teil der Dissertation geht es um Korrektheit für degenerierte $p$-Evolutionsgleichungen mit zeitabhängigen Koeffizienten und zweiter Ordnung in $D_t$. Gefordert werden Bedingungen an die Koeffizienten und die ersten beiden Ableitungen bezüglich der Zeit. Damit wird gezeigt, dass diese in Skalen von Sobolevräumen korrekt gestellt sind. Abschließend wird die Schärfe der Bedingungen und das tatsächliche Auftreten des Regularitätsverlustes in der Lösung bewiesen.

This dissertation advances tools for the certification of unmanned aircraft system (UAS) flight controllers. We develop two thrusts to this goal: (1) the validation and improvement of an uncertain UAS framework based on integral quadratic constraint (IQC) theory and (2) the development of novel IQC theorems which allow the analysis of uncertain systems having time-varying characteristics. Pertaining to the first thrust, this work improves and implements an IQC-based robustness analysis framework for UAS. The approach models the UAS using a linear fractional transformation on uncertainties and conducts robustness analysis on the uncertain system via IQC theory. By expressing the set of desired UAS flight paths with an uncertainty, the framework enables analysis of the uncertain UAS flying about any level path whose radius of curvature is bounded. To demonstrate the versatility of this technique, we use IQC analysis to tune trajectory-tracking and path-following controllers designed via H2 or H-infinity synthesis methods. IQC analysis is also used to tune path-following PID controllers. By employing a non-deterministic simulation environment and conducting numerous flight tests, we demonstrate the capability of the framework in predicting loss of control, comparing the robustness of different controllers, and tuning controllers. Finally, this work demonstrates that signal IQCs have an important role in obtaining IQC analysis results which are less conservative and more consistent with observations from flight test data. With regards to the second thrust, we prove a novel theorem which enables robustness analysis of uncertain systems where the nominal plant and the IQC multiplier are linear time-varying systems and the nominal plant may have a non-zero initial condition. When the nominal plant and the IQC multiplier are eventually periodic, robustness analysis can be accomplished by solving a finite-dimensional semidefinite program. Time-varying IQC multipliers are beneficial in analysis because they provide the possibility of reducing conservatism and are capable of expressing uncertainties that have unique time-domain characteristics. A number of time-varying IQC multipliers are introduced to better describe such uncertainties. The utility of this theorem is demonstrated with various examples, including one which produces bounds on the UAS position after an aggressive Split-S maneuver. / Doctor of Philosophy / This work develops tools to aid in the certification of unmanned aircraft system (UAS) flight controllers. The forthcoming results are founded on robust control theory, which allows the incorporation of a variety of uncertainties in the UAS mathematical model and provides tools to determine how robust the system is to these uncertainties. Such a foundation provides a complementary perspective to that obtained with simulations. Whereas simulation environments provide a probabilistic-type analysis and are oftentimes costly, the following results provide worst-case guarantees—for the allowable disturbances and uncertainties—and require far less computational resources. Here we take two approaches in our development of certification tools for UAS. First we validate and improve on an uncertain UAS framework that relies on integral quadratic constraint (IQC) theory to analyze the robustness of the UAS in the presence of uncertainties and disturbances. Our second approach develops novel IQC theorems that can aid in providing bounds on the UAS state during its flight trajectory. Though the applications in this dissertation are focused on UAS, the theory can be applied to a wide variety of physical and nonphysical problems wherein uncertainties in the mathematical model cannot be avoided.

Les travaux présentés dans cette thèse ont été effectués au Centre de Recherche en Automatique de Nancy (CRAN). Ils portent sur l'observation et la commande des systèmes singuliers non linéaires. Dans un premier temps nous nous sommes intéressés à la synthèse d'observateur et au filtrage H infini des systèmes singuliers bilinéaires. Dans un deuxième temps, nous avons étudié la synthèse d'observateur pour les systèmes singuliers non linéaires Lipschitziens. La dernière partie de ce travail concerne la stabilisation et la commande basée observateurs des systèmes singuliers non linéaires. L'objectif de ce travail a été de proposer des résultats facilement implémentables et de couvrir une large classe de systèmes non linéaires. La contribution principale de ce mémoire a été de proposer des observateurs H infini pour les systèmes singuliers non linéaires, en utilisant le non biais de l'erreur d'estimation. Les paramètres de ces observateurs sont obtenus par la résolution des inégalités matricielles linéaires (LMIs). Le deuxième apport concerne la synthèse de commande stabilisante et l'utilisation d'un des observateurs proposés dans cette thèse pour la synthèse d'une commande basée observateur pour les systèmes singuliers non linéaires. Cette dernière est réalisée grâce à la réécriture des fonctions non linéaires sous des formes adéquates à l'application de la commande des systèmes / This thesis work is realized in the Research Center in Automatic Control of Nancy (CRAN). It concerns the observation and control of nonlinear singular systems. Firstly, we were interested in the observer design and H infinity filtering for singular bilinear systems. In a second step, we studied the observers design for Lipschitz nonlinear singular systems. The last part of this work relates to the stabilization and observer based controller for a classe of singular nonlinear systems. The objective is to develop a simple and straightforward results which covers a large class of nonlinear systems. The main contribution of this thesis is in the H infinity observers design for nonlinear singular systems. It is based on the parametrization of the solution of the constrained generalized Sylvester equation. The second contribution relates to the design of stabilizing control and using the proposed observer to design an obsever based controller for nonlinear singular systems. Solutions of these problems are obtained by using Linear Matrix Inequalities (LMI) Formulation

Made available in DSpace on 2015-03-04T18:50:44Z (GMT). No. of bitstreams: 1 Introducao.pdf: 140805 bytes, checksum: fc7ea84f193f6d764fa24f41af40d07f (MD5) Previous issue date: 2007-03-09 / Fundação Carlos Chagas Filho de Amparo a Pesquisa do Estado do Rio de Janeiro / Este trabalho trata do problema de controle H-infinito de uma classe de sistemas lineares com saltos Markovianos (MJLS) a tempo contínuo, onde a cadeia de Markov toma valores em um conjunto infinito enumerável. Um bounded real lemma (que chamamos JBRL) é desenvolvido, estabelecendo que a factibilidade de um conjunto infinito de desigualdades matriciais lineares (LMIs) interconectadas é necessária e suficiente para que um dado sistema seja estocasticamente estável (SS) e atenda a um desempenho H-infinito prescrito. O problema H-infinito estudado consiste na atenuação do efeito que perturbações estocásticas de energia finita causam na saída de um sistema, no pior caso. Neste problema, conhecido na literatura como "disturbance attenuation" (DA), assumimos ainda que o controlador somente tem acesso ao processo de saltos e a uma saída do sistema. Os controladores de interesse devem garantir que tanto a estabilidade (SS) quanto um desempenho H-infinito sejam observados no sistema em malha fechada - donde as condições impostas pelo JBRL são determinantes para a existência de soluções. Um importante aspecto dessa nova abordagem é que ferramentas tão fundamentais quanto o Complemento de Schur ou o Lema da Projeção, p.ex., não podem mais ser usados para manipular os conjuntos de LMIs infinitamente acopladas - tal dificuldade é contornada pela introdução de versões estendidas desses resultados, no início do trabalho. Um dos principais resultados deste trabalho caracteriza a existência de soluções através de dois problemas LMI complementares, um dos quais torna possível o design computacional de controladores. Por fim, são apresentados algoritmos para a construção prática de controladores, ótimos ou sub-ótimos, dando origem a um conjunto de ferramentas que, especialmente no caso em que a cadeia de Markov é finita, podem ser implementadas computacionalmente de maneira imediata. Mesmo no caso finito, os resultados da tese são mais fortes do que aqueles atualmente encontrados na literatura.

La stabilisation inertielle de ligne de visée est essentiellement un problème de rejet de perturbations : il faut rendre la ligne de visée de la caméra embarquée dans le viseur insensible aux mouvements du porteur. Les méthodes de commande robuste du type H-infini sont bien adaptées à la résolution de ce type de problème, et plus particulièrement l’approche Loop-Shaping qui repose sur des concepts de réglage de l’automatique fréquentielle classique. Cependant, les correcteurs obtenus via cette approche sont généralement d’ordre élevé et donc difficilement implémentables sur le calculateur embarqué du viseur.Dans cette thèse, nous avons proposé des méthodologies de synthèse de correcteurs robustes d’ordre réduit et/ou de structure fixée. Pour cela, nos travaux ont été axés sur :- L’optimisation pour la synthèse H-infini à ordre et/ou structure fixée. Tout d’abord nous avons exploré les possibilités offertes par l’optimisation sous contraintes LMI (Linear Matrix Inequalities). Celles-ci se sont avérées limitées, bien que de nombreux algorithmes aient été proposés dans ce cadre depuis le début des années 90. Ensuite, nous avons opté pour l’optimisation non lisse. En effet des outils numériques récemment développés rendent accessible cette approche, et leur efficacité s’est avéré indéniable.- L’adaptation au cadre particulier du critère H-infini Loop-Shaping.La structure particulière de ce critère de synthèse a été exploitée afin de mieux prendre en compte les pondérations, et d’améliorer la réduction d’ordre du correcteur final. Enfin, une approche basée uniquement sur le réglage graphique d’un gabarit de gain fréquentiel en boucle ouverte est proposée. Ces différentes méthodologies sont illustrées, tout au long de la thèse, sur un viseur dont le modèle a été identifié à partir de mesures expérimentales. / Inertial line of sight stabilization is a disturbance rejection problem: the goal is to hold steady in the inertial space, the line of sight of a camera, which is carried on a mobile vehicle. H-infinity robust control techniques are well suited for this type of problem, in particular the Loop-Shaping approach which relies on classical frequency domain concepts. However, this approach results in high order controllers which are hardly implementable on the real time embedded electronic unit of the sight system.In this thesis, fixed order and fixed structure controller design methodologies are proposed. This development follows two main axis: - Fixed order H-infinity Optimization. First, fixed order controllers have been investigated through the LMI (Linear Matrix Inequalities) optimization framework. However the numerical efficiency of this approach is still limited, despite the large amount of research in this area since the 90’s. Then, we used recently developed and more efficient tools that recast the fixed order H-infinity synthesis problem as a nonsmooth optimization problem.- Adaptation to the H-infinity Loop-Shaping frameworkWe adapted the 4 block H-infinity criterion in order to include the weighting filters in the fixed order controller optimization, which enhance the final controller order reduction. Then, we proposed a fixed order controller design approach, based only on graphically tuning a target open loop frequency gain.

La conception des systèmes d'entrainement de bande est étudiée depuis de nombreuses années. Ces systèmes sont très répandus dans l'industrie puisque le conditionnement sous forme de bobines simplifie le traitement de nombreux matériaux tels que le papier, le carton, les polymères, ... Ces systèmes regroupent un grand nombre de difficultés : ils sont de grande dimension, un fort couplage existe entre les grandeurs et de nombreux paramètres varient au cours du temps. La méthode d’optimisation classique consiste à considérer chaque partie du système sans tenir compte des autres. De plus, au sein d'un même sous-ensemble, l’optimisation est réalisée discipline par discipline. Une nouvelle approche est proposée et appliquée à la synthèse de la commande : il s’agit de considérer le système global en prenant en compte la robustesse paramétrique. Ensuite, le choix optimal du tracteur maître et de la technologie d'asservissement de la tension de bane associée sont étudiées. / The design of roll-to-roll systems is studied for several years. This kind of system is very common in industry because the wound roll packaging simplify the treatment of material such as paper, cardboard, polymers, metal ... The studied systems have a high number of difficulties: they are large scale systems, a high coupling between physical values exists and several parameters are time dependent. The classical optimisation method consists in considering separately each subsystem without taking into account interactions. Moreover, the classical optimisation is made for each scientific field. A new approach is developed and applied to controller synthesis: the controllers are synthesized considering the global system with parametric uncertainties. The optimal choice of the master roller position and the technology used to control web tension are then studied.

The thesis consists of an introduction and four appended papers. In the introduction we give an overview of pulse-modulated systems and provide a few examples of such systems. Furthermore, we introduce the so-called dynamic phasor model which is used as a basis for analysis in two of the appended papers. We also introduce the harmonic transfer function and finally we provide a summary of the appended papers. The first paper considers stability analysis of a class of pulse-width modulated systems based on a discrete time model. The systems considered typically have periodic solutions. Stability of a periodic solution is equivalent to stability of a fixed point of a discrete time model of the system dynamics. Conditions for global and local exponential stability of the discrete time model are derived using quadratic and piecewise quadratic Lyapunov functions. A griding procedure is used to develop a systematic method to search for the Lyapunov functions. The second paper considers the dynamic phasor model as a tool for stability analysis of a general class of pulse-modulated systems. The analysis covers both linear time periodic systems and systems where the pulse modulation is controlled by feedback. The dynamic phasor model provides an $\textbf{L}_2$-equivalent description of the system dynamics in terms of an infinite dimensional dynamic system. The infinite dimensional phasor system is approximated via a skew truncation. The truncated system is used to derive a systematic method to compute time periodic quadratic Lyapunov functions. The third paper considers the dynamic phasor model as a tool for harmonic analysis of a class of pulse-width modulated systems. The analysis covers both linear time periodic systems and non-periodic systems where the switching is controlled by feedback. As in the second paper of the thesis, we represent the switching system using the L_2-equivalent infinite dimensional system provided by the phasor model. It is shown that there is a connection between the dynamic phasor model and the harmonic transfer function of a linear time periodic system and this connection is used to extend the notion of harmonic transfer function to describe periodic solutions of non-periodic systems. The infinite dimensional phasor system is approximated via a square truncation. We assume that the response of the truncated system to a periodic disturbance is also periodic and we consider the corresponding harmonic balance equations. An approximate solution of these equations is stated in terms of a harmonic transfer function which is analogous to the harmonic transfer function of a linear time periodic system. The aforementioned assumption is proved to hold for small disturbances by proving the existence of a solution to a fixed point equation. The proof implies that for small disturbances, the approximation is good. Finally, the fourth paper considers control synthesis for switched mode DC-DC converters. The synthesis is based on a sampled data model of the system dynamics. The sampled data model gives an exact description of the converter state at the switching instances, but also includes a lifted signal which represents the inter-sampling behavior. Within the sampled data framework we consider H-infinity control design to achieve robustness to disturbances and load variations. The suggested controller is applied to two benchmark examples; a step-down and a step-up converter. Performance is verified in both simulations and in experiments. / QC 20100628

Este trabalho trata do problema de controle H-infinito de uma classe de sistemas lineares com saltos Markovianos (MJLS) a tempo contínuo, onde a cadeia de Markov toma valores em um conjunto infinito enumerável. Um bounded real lemma (que chamamos JBRL) é desenvolvido, estabelecendo que a factibilidade de um conjunto infinito de desigualdades matriciais lineares (LMIs) interconectadas é necessária e suficiente para que um dado sistema seja estocasticamente estável (SS) e atenda a um desempenho H-infinito prescrito. O problema H-infinito estudado consiste na atenuação do efeito que perturbações estocásticas de energia finita causam na saída de um sistema, no pior caso. Neste problema, conhecido na literatura como "disturbance attenuation" (DA), assumimos ainda que o controlador somente tem acesso ao processo de saltos e a uma saída do sistema. Os controladores de interesse devem garantir que tanto a estabilidade (SS) quanto um desempenho H-infinito sejam observados no sistema em malha fechada - donde as condições impostas pelo JBRL são determinantes para a existência de soluções. Um importante aspecto dessa nova abordagem é que ferramentas tão fundamentais quanto o Complemento de Schur ou o Lema da Projeção, p.ex., não podem mais ser usados para manipular os conjuntos de LMIs infinitamente acopladas - tal dificuldade é contornada pela introdução de versões estendidas desses resultados, no início do trabalho. Um dos principais resultados deste trabalho caracteriza a existência de soluções através de dois problemas LMI complementares, um dos quais torna possível o design computacional de controladores. Por fim, são apresentados algoritmos para a construção prática de controladores, ótimos ou sub-ótimos, dando origem a um conjunto de ferramentas que, especialmente no caso em que a cadeia de Markov é finita, podem ser implementadas computacionalmente de maneira imediata. Mesmo no caso finito, os resultados da tese são mais fortes do que aqueles atualmente encontrados na literatura.

Orientador: Pedro Luis Dias Peres / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-06T10:51:24Z (GMT). No. of bitstreams: 1 Oliveira_RicardoCoracaodeLeaoFontourade_D.pdf: 881205 bytes, checksum: 053263f18afcf3085a0fc073e1594d2d (MD5) Previous issue date: 2006 / Resumo: A principal contribuição desta tese é a proposta de uma metodologia para solução de desigualdades matriciais lineares dependentes de parâmetros que freqüentemente aparecem em problemas de análise e controle robusto de sistema lineares com incertezas na forma politópica. O método consiste na parametrização das soluções em termos de polinômios homogêneos com coeficientes matriciais de grau arbitrário. Para a construção dessas soluções, um procedimento baseado em resoluções de problemas de otimiza¸c¿ao na forma de um número finito de desigualdades matriciais lineares 'e proposto, resultando em seqüências de relaxações que convergem para uma solução polinomial homogênea sempre que uma solução existe. Problemas de análise robusta e custo garantido s¿ao analisados em detalhes tanto para sistemas a tempo contínuo quanto para sistemas discretos no tempo. Vários exemplos numéricos são apresentados ilustrando a eficiência dos métodos propostos em termos da acurácia dos resultados e do esforço computacional quando comparados com outros métodos da literatura / Abstract: This thesis proposes, as main contribution, a new methodology to solve parameterdependent linear matrix inequalities which frequently appear in robust analysis and control problems of linear system with polytopic uncertainties. The proposed method relies on the parametrization of the solutions in terms of homogeneous polynomials of arbitrary degree with matrix valued coefficients. For constructing such solutions, a procedure based on optimization problems formulated in terms of a finite number of linear matrix inequalities is proposed, yielding sequences of relaxations which converge to a homogeneous polynomial solution whenever a solution exists. Problems of robust analysis and guaranteed costs are analyzed in details for continuous and discrete-time uncertain systems. Several numerical examples are presented illustrating the efficiency of the proposed methods in terms of accuracy and computational burden when compared to other methods from the literature / Doutorado / Automação / Doutor em Engenharia Elétrica