The availability of feedback from the receiver to the transmitter in a communication system can play a significant role. In this dissertation, our focus is specifically on binary or one-bit feedback. First, we study the problem of successive beam alignment for millimeter-wave channels where the receiver sends back only one-bit of information per beam sounding. The sparse nature of the channel allows us to interpret channel sounding as a form of questioning. By posing the alignment problem as a questioning strategy, we describe adaptive (closed-loop) and non-adaptive (open-loop) channel sounding techniques which are robust to erroneous feedback signals caused by noisy quantization. In the second part, we tightly characterize the capacity for two binary stochastic-adversarial mixed noise channels. Specifically, the transmitter (Alice) intends to convey a message to the receiver (Bob) over a binary symmetric channel (BSC) or a binary erasure channel (BEC) in the presence of an adversary (Calvin) who injects additional noise at the channel's input subject to a budget constraint. Calvin is online or causal in that at any point during the transmission, he can infer the bits being sent by Alice and those being received by Bob via a feedback link. Finally in the third part, we study the applicability of binary feedback for encoding and propose the framework of linearly adapting block feedback codes. We also prove a new result for Reed-Muller (RM) codes to demonstrate how an uncoded system can mimic a RM code under this framework, against remarkably large feedback delays.

Yes / This paper investigates the stabilisation problem and consider transient optimisation for a class of the multi-input-multi-output (MIMO) semi-linear stochastic systems. A control algorithm is presented via an m-block backstepping controller design where the closed-loop system has been stabilized in a probabilistic sense and the transient performance is optimisable by optimised by searching the design parameters under the given criterion. In particular, the transient randomness and the probabilistic decoupling will be investigated as case studies. Note that the presented control algorithm can be potentially extended as a framework based on the various performance criteria. To evaluate the effectiveness of this proposed control framework, a numerical example is given with simulation results. In summary, the key contributions of this paper are stated as follows: 1) one block backstepping-based output feedback control design is developed to stabilize the dynamic MIMO semi-linear stochastic systems using a linear estimator; 2) the randomness and probabilistic couplings of the system outputs have been minimized based on the optimisation of the design parameters of the controller; 3) a control framework with transient performance enhancement of multi-variable semi-linear stochastic systems has been discussed. / Higher Education Innovation Fund (No. HEIF 2018-2020), De Montfort University, Leicester, UK.

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

Orientador: Edvaldo Assunção / Resumo: Este trabalho aborda o controle via realimentação estática de saída aplicado à sistemas lineares com parâmetro variante (LPV) e lineares incertos invariantes no tempo (LIT). O projeto de ganhos de realimentação estática de saída apresentado neste trabalho é baseado no método dos dois estágios, o qual consiste em primeiramente obter um ganho de realimentação de estados, e então, utilizar esta informação no segundo estágio para obter-se o ganho de realimentação estática de saída desejado. As soluções para os problemas investigados são apresentadas na forma de desigualdades matriciais lineares (no inglês, linear matrix inequalities, LMIs), obtidas por meio da aplicação do Lema de Finsler. Baseado em resultados anteriores encontrados na literatura, este trabalho propõe uma estratégia de relaxação de forma a obter um método menos conservador para obtenção de ganhos robustos de realimentação estática de saída para sistemas incertos LTI. Na estratégia proposta, as variáveis adicionais do Lema de Finsler são consideradas como dependentes de parâmetro, juntamente com o uso de funções de Lyapunov dependentes de parâmetro (no inglês, parameter-dependent Lyapunov functions, PDLFs). É apresentado um estudo avaliando a eficácia da estratégia proposta em fornecer uma maior região de factibilidade para um dado problema. Os resultados foram utilizados em uma comparação com um método de relaxação baseado apenas no uso de PDLFs. Uma segunda contribuição deste trabalho consiste na proposta de um... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: The static output feedback (SOF) control applied to linear parameter-varying (LPV) and uncertain linear time-invariant (LTI) systems are addressed in this work. The approach chosen for the design of SOF gains is based on the two-stage method, which consists in obtaining a state feedback gain at first, and then using that information for deriving the desired SOF gain at the second stage. The solutions for the investigated problems are presented in terms of linear matrix inequalities (LMIs), obtained by means of the application of the Finsler's Lemma. Based on previous papers found in literature, this work proposes a relaxation strategy in order to achieve a less conservative method for obtaining robust SOF gains for uncertain LTI systems. In the proposed strategy, the Finsler's Lemma additional variables are considered to be parameter-dependent along with the use of parameter-dependent Lyapunov functions (PDLFs). A study evaluating the effectiveness of the proposed strategy in providing a larger feasibility region for a given problem is presented. The results were used in a comparison with a relaxation method based only on PDLFs. Another contribution of this work lies in the proposal of a solution for the control of LPV systems via the design of a gain-scheduled SOF controller. The methods proposed for both control problems were applied on the design of controllers for an active suspension system. In the experiments, it was assumed that only one of its four system's states wer... (Complete abstract click electronic access below) / Mestre

O objetivo desta tese é investigar aspectos práticos que facilitem a aplicação da teoria de controle H1 não linear em projetos de sistemas de controle. A primeira contribuição deste trabalho é a proposta do uso de funções ponderação com dinâmica no projeto de controladores H1 não lineares. Essas funções são usadas no projeto de controladores H1 lineares para rejeição de perturbações, ruídos, atenuação de erro de rastreamento, dentre outras especificações. O maior obstáculo para aplicação prática da teoria de controle H1 não linear é a dificuldade para resolver simultaneamente as duas equações de Hamilton-Jacobi-Isaacs relacionadas ao problema de realimentação de estados e injeção da saída. Não há métodos sistematicos para resolver essas duas equações diferenciais parciais não lineares, equivalentes µas equações de Riccati da teoria de controle H1 linear. A segunda contribuição desta tese é um método para obter a injeção da saída transformando a equação de Hamilton-Jacobi-Isaacs em uma sequencia de equações diferenciais parciais lineares, que são resolvidas usando o método de Galerkin. Controladores H1 não lineares para um sistema de levitação magnética são obtidos usando o método clássico de expansão em série de Taylor e o método de proposto para comparação. / The purpose of this thesis is to investigate practical aspects to facilitate the ap- plication of nonlinear H1 theory in control systems design. Firstly, it is shown that dynamic weighting functions can be used to improve the performance and robustness of the nonlinear H1 controller such as in the design of H1 controllers for linear plants. The biggest bottleneck to the practical applications of nonlinear H1 control theory has been the di±culty in solving the Hamilton-Jacobi-Isaacs equations associated with the design of a state feedback and an output injection gain. There is no systematic numerical approach for solving this ¯rst order, nonlinear partial di®erential equations, which reduces to Riccati equations in the linear context. In this work, successive ap- proximation and Galerkin approximation methods are combined to derive an algorithm that produces an output injection gain. Design of nonlinear H1 controllers obtained by the well established Taylor approximation and by the proposed Galerkin approxi- mation method applied to a magnetic levitation system are presented for comparison purposes.

Estruturas flexíveis estão sujeitas a excitações desconhecidas que podem causar danos. Um dos possíveis artifícios para lidar com este problema é a teoria de controle de sistemas dinâmicos. Em particular, uma técnica que suscita o interessa para aplicação nesta classe de sistemas é o controle ótimo, devido às suas boas propriedades de resposta e factibilidade, podendo ser aplicado até através de circuitos analógicos. O contratempo desta técnica é a necessidade de um número de sensores igual ao número de estados do sistema, o que para estruturas é inviável. Como uma alternativa, pode se empregar os procedimentos usuais de restrição de realimentação do sinal medido. No entanto, estes casos não consideram o projeto das matrizes de saída e entrada, fator determinante para o controle de vibrações em estruturas. O objetivo deste trabalho é preencher esta lacuna. Inicialmente, são introduzidos alguns conceitos das teorias de controle ótimo, dinâmica estrutural e sobre métodos de discretização em séries. Em seguida, determinam-se as condições necessárias de otimalidade considerando como variáveis de otimização o ganho e as posições dos sensores e atuadores. Determinadas as condições, investigam-se os principais desafios para solução destas equações, dados pela existência de parâmetros que estabilizem o sistema e a dependência do ponto ótimo em relação à condição inicial do sistema. O primeiro é resolvido a partir da especificação do sistema linear para uma forma modal e utilizando funções de controle de Lyapunov, o que adicionalmente proporciona o resultado de que o controle colocalizado é um controle ótimo. Para o segundo são propostas duas soluções, sendo uma utilizada para determinar as posições dos atuadores para projetar um controle LQR com desempenho satisfatório, e a outra para determinar os ganhos e posições dos sensores de modo a obter um controle com realimentação de saída com desempenho próximo ao LQR projetado. Os resultados obtidos a partir da aplicação da metodologia desenvolvida em exemplos da dinâmica estrutural revelaram um desempenho notável. Mesmo para uma razão pequena entre o número de sensores pelo número de estados obteve-se um desempenho equivalente ao LQR, exibindo também propriedades robustez consideráveis em relação às variáveis de otimização. Conclui-se que a metodologia desenvolvida é uma boa alternativa para as técnicas de controle LQR e LQG. / Flexible structures are subject to unknown excitations that may cause damage. One of the possible artifices to deal with this problem is the control theory of dynamical systems. In particular, a technique that raises the interest for application in this class of systems is the optimal control, due to its good properties of response and feasibility, as it can be applied even through analog circuits. A drawback of this technique is the need for a number of sensors equal to the number of states, which for structures is impracticable. As an alternative, the usual procedures of using only measured signals for feedback can be employed. However, these cases do not consider the design of the input and output matrices, a determining factor for vibration control in structures. The purpose of this paper is to fill this gap. Initially, some concepts of the theories of optimal control, structural dynamics and series discretization methods are introduced. Then, the optimality conditions are determined considering the gain and locations of sensors and actuators as the optimization variables. Given these conditions, we investigate the main challenges to solve these equations, given by the existence of parameters that stabilize the system and the dependence of the optimum point in relation to the initial condition of the system. The first one is solved from the specification of the linear system to a modal form and using Lyapunov control functions, which additionally provides the result that the collocated control is an optimal control. For the second two solutions are proposed, one being used to determine the positions of the actuators to design a LQR control with satisfactory performance, and the other to determine the gains and positions of the sensors in order to obtain an output feedback control with close performance to the designed LQR. The results obtained from the application of the methodology developed in structural dynamics examples revealed a remarkable performance. Even for a small ratio between the number of sensors by the number of states a performance equivalent to the LQR was obtained, also exhibiting considerable robustness properties in relation to the optimization variables. It is concluded that the developed methodology is a good alternative for LQR and LQG control techniques.

Neural network-based adaptive output feedback approaches that augment a linear control design are described in this thesis, and emphasis is placed on their real-time implementation with flexible systems. Two different control architectures that are robust to parametric uncertainties and unmodelled dynamics are presented. The unmodelled effects can consist of minimum phase internal dynamics of the system together with external disturbance process. Within this context, adaptive compensation for external disturbances is addressed. In the first approach, internal model-following control, adaptive elements are designed using feedback inversion. The effect of an actuator limit is treated using control hedging, and the effect of other actuation nonlinearities, such as dead zone and backlash, is mitigated by a disturbance observer-based control design. The effectiveness of the approach is illustrated through simulation and experimental testing with a three-disk torsional system, which is subjected to control voltage limit and stiction. While the internal model-following control is limited to minimum phase systems, the second approach, external model-following control, does not involve feedback linearization and can be applied to non-minimum phase systems. The unstable zero dynamics are assumed to have been modelled in the design of the existing linear controller. The laboratory tests for this method include a three-disk torsional pendulum, an inverted pendulum, and a flexible-base robot manipulator. The external model-following control architecture is further extended in three ways. The first extension is an approach for control of multivariable nonlinear systems. The second extension is a decentralized adaptive control approach for large-scale interconnected systems. The third extension is to make use of an adaptive observer to augment a linear observer-based controller. In this extension, augmenting terms for the adaptive observer can be used to achieve adaptation in both the observer and the controller. Simulations to illustrate these approaches include an inverted pendulum with its cart serially attached to two carts (one unmodelled), three spring-coupled inverted pendulums, and an inverted pendulum with its initial condition in a range in which a linear controller is destabilizing.

Dans ce travail sont presentees quelques approches pour la synthese de controleurs robustes avec information partielle sur l'etat (retour de sortie) dans le cas de systemes a temps discret. Dans le cadre de commande predictive, la synthese decoule de la minimisation a chaque instant d'echantillonnage, d'une borne superieure d'un cout quadratique evalue sur un horizon temporel infini. Le probleme d'optimisation qui inclut des contraintes sur l'etat et la commande est formule comme un probleme de programmation semi definie a base d'inegalites matricielles lineaires. Deux voies generales sont poursuivies: l'une basee sur le concept d'ellipsoide invariant et synthese de compensateur dynamique de retour de sortie, l'autre basee sur une formulation etendue permettant la resolution d'un probleme de retour d'etat equivalent a celui du retour de sortie.

La chirurgie minimalement invasive est un domaine de recherche très actif puisqu’elle permet d’envisagerdes thérapies ciblées et des diagnostics in situ tout en minimisant traumatismes, effets secondaires et tempsde convalescence. En particulier, l’utilisation de systèmes miniaturisés actionnés à distance ouvre la voie àune navigation dans le système cardiovasculaire, permettant ainsi le ciblage et l’intervention sur zones dif-ficilement accessibles du corps humain. L’objectif de cette thèse est de proposer i) un état de l’art sur lamodélisation des forces s’exerçant sur un ou plusieurs microrobots naviguant dans des vaisseaux sanguins,ii) des représentations d’état exploitables à des fins de commande et d’observation, iii) différentes synthèsesde lois de commande pour stabiliser un ou plusieurs microrobots le long d’une trajectoire de référence, iv)des observateurs d’état pour reconstruire les états non mesurables du système. Un microrobot magnétiquenaviguant dans un vaisseau sanguin subit la force de traînée, les forces surfaciques, de contact, d’interactionmagnétique, et son poids apparent. Son actionnement est assuré par l’application de champs ou de gradientsde champ magnétiques, et sa localisation est assurée par un imageur médical. La dynamique du ou desmicrorobots (système réduit) est sous forme d’état non linéaire affine en la commande avec dérive, et dé-pend de plusieurs paramètres physiologiques incertains, en particulier de la vitesse du sang, qui est difficileà mesurer. La dynamique du flux sanguin (système fluidique) est alors modélisée sous forme d’une repré-sentation d’état autonome, combinée avec le système réduit pour aboutir au système étendu. L’objectif decommande est de stabiliser les états du système réduit le long d’une trajectoire de référence. Une commandestabilisante est synthétisée par backstepping, mais elle n’est pas utilisable en l’état. Des observateurs baséssur le théorème de la valeur moyenne et sur une immersion sont synthétisés respectivement dans le cas oùla pulsation cardiaque est connue ou non. La stabilité du retour de sortie est alors démontrée. La stabilitéet la robustesse aux bruits de mesure, aux incertitudes paramétriques, et aux erreurs de modélisation desapproches proposées sont alors illustrées par des simulations. / Minimally invasive surgery is an active research area since such systems have the potential to perform complex surgical procedures such as targeted therapies or in situ diagnosis, while minimizing trauma, side effects and recovery time. Miniaturized systems magnetically propelled by remote actuation can achieve swimming through the blood vessels network in order to provide targeted therapy, even for hard-to-reach human organs. This PhD thesis aims at addressing i) a review on the modeling of microrobots immersed in blood vessels, ii) a classification of the state space forms of such systems, iii) the synthesis of state feedbacks ensuring the stabilization of the microrobots along a reference trajectory, iv) the synthesis of observers to rebuild the unmeasured state variables. Magnetic microrobots swimming in a blood vessel face the hydrodynamic drag, surfacic and contact forces, magnetic interactions, and their apparent weight. These untethered robots are actuated by magnetic fields or magnetic gradients generation, and their localization is ensured by a medical imager. The microrobots dynamics (the so-called reduced system) lead to a nonlinear affine control subsystem with drift, and exhibits many uncertain physiological parameters, such as the blood velocity which can hardly be measured. The blood flow dynamics (the so-called fluidic system) are then modeled as an autonomous subsystem. These two subsystems result in an extended system describing the whole (robot and fluid) dynamics. The control objective is to stabilize the state of the reduced system along a reference trajectory, which is performed by an adaptive backstepping synthesis. Yet the full state is not accessible. We then synthesize either MVT or immersion based observers for the extended system, when the blood pulsation is either known or not. The output feedback stability is then proved. The stability and robustness to output noise, parametric uncertainty, and modeling errors are then illustrated by simulations.

O objetivo desta tese é investigar aspectos práticos que facilitem a aplicação da teoria de controle H1 não linear em projetos de sistemas de controle. A primeira contribuição deste trabalho é a proposta do uso de funções ponderação com dinâmica no projeto de controladores H1 não lineares. Essas funções são usadas no projeto de controladores H1 lineares para rejeição de perturbações, ruídos, atenuação de erro de rastreamento, dentre outras especificações. O maior obstáculo para aplicação prática da teoria de controle H1 não linear é a dificuldade para resolver simultaneamente as duas equações de Hamilton-Jacobi-Isaacs relacionadas ao problema de realimentação de estados e injeção da saída. Não há métodos sistematicos para resolver essas duas equações diferenciais parciais não lineares, equivalentes µas equações de Riccati da teoria de controle H1 linear. A segunda contribuição desta tese é um método para obter a injeção da saída transformando a equação de Hamilton-Jacobi-Isaacs em uma sequencia de equações diferenciais parciais lineares, que são resolvidas usando o método de Galerkin. Controladores H1 não lineares para um sistema de levitação magnética são obtidos usando o método clássico de expansão em série de Taylor e o método de proposto para comparação. / The purpose of this thesis is to investigate practical aspects to facilitate the ap- plication of nonlinear H1 theory in control systems design. Firstly, it is shown that dynamic weighting functions can be used to improve the performance and robustness of the nonlinear H1 controller such as in the design of H1 controllers for linear plants. The biggest bottleneck to the practical applications of nonlinear H1 control theory has been the di±culty in solving the Hamilton-Jacobi-Isaacs equations associated with the design of a state feedback and an output injection gain. There is no systematic numerical approach for solving this ¯rst order, nonlinear partial di®erential equations, which reduces to Riccati equations in the linear context. In this work, successive ap- proximation and Galerkin approximation methods are combined to derive an algorithm that produces an output injection gain. Design of nonlinear H1 controllers obtained by the well established Taylor approximation and by the proposed Galerkin approxi- mation method applied to a magnetic levitation system are presented for comparison purposes.