Robust piecewise adaptive control for an uncertain semilinear parabolic distributed parameter systems

In this study, we focus on designing a robust piecewise adaptive controller to globally asymptotically stabilize a semilinear parabolic distributed parameter systems (DPSs) with external disturbance, whose nonlinearities are bounded by unknown functions. Firstly, a robust piecewise adaptive control is designed against the unknown nonlinearity and the external disturbance. Then, by constructing an appropriate Lyapunov–Krasovskii functional candidate (LKFC) and using the Wiritinger’s inequality and a variant of the Agmon’s inequality, it is shown that the proposed robust piecewise adaptive controller not only ensures the globally asymptotic stability of the closed-loop system, but also guarantees a given performance. Finally, two simulation examples are given to verify the validity of the design method

Spatiotemporal Fuzzy-Observer-based Feedback Control for Networked Parabolic PDE Systems

Assisted by the Takagi-Sugeno (T-S) fuzzy model- based nonlinear control technique, nonlinear spatiotemporal feedback compensators are proposed in this article for exponential stabilization of parabolic partial differential dynamic systems with measurement outputs transmitted over a communication network. More specifically, an approximate T-S fuzzy partial differential equation (PDE) model with C∞-smooth membership functions is constructed to describe the complex spatiotemporal dynamics of the nonlinear partial differential systems, and its approximation capability is analyzed via the uniform approximation theorem on a real separable Hilbert space. A spatiotemporally asynchronous sampled-data measurement output equation is proposed to model the transmission process of networked measurement outputs. By the approximate T-S fuzzy PDE model, fuzzy-observer-based nonlinear continuous-time and sampled- data feedback compensators are constructed via the spatiotemporally asynchronous sampled-data measurement outputs. Given that sufficient conditions presented in terms of linear matrix inequalities are satisfied, the suggested fuzzy compensators can exponentially stabilize the nonlinear system in the Lyapunov sense. Simulation results are presented to show the effectiveness and merit of the suggested spatiotemporal fuzzy compensators

Delay-Adaptive Control of First-order Hyperbolic PIDEs

We develop a delay-adaptive controller for a class of first-order hyperbolic partial integro-differential equations (PIDEs) with an unknown input delay. By employing a transport PDE to represent delayed actuator states, the system is transformed into a transport partial differential equation (PDE) with unknown propagation speed cascaded with a PIDE. A parameter update law is designed using a Lyapunov argument and the infinite-dimensional backstepping technique to establish global stability results. Furthermore, the well-posedness of the closed-loop system is analyzed. Finally, the effectiveness of the proposed method was validated through numerical simulation

Robust Output Regulation of Euler-Bernoulli Beam Models

In this thesis, we consider control and dynamical behaviour of flexible beam models which have potential applications in robotic arms, satellite panel arrays and wind turbine blades. We study mathematical models that include flexible beams described by Euler-Bernoulli beam equations. These models consist of partial differential equations or combination of partial and ordinary differential equations depending on the loads and supports in the model. Our goal is to influence the models by control inputs such as external applied forces so that measured deflection profiles of the beams in the models behave as desired. We propose dynamic controllers for the output regulation, where the measurements from the models track desired reference signals in the given time, of flexible beam models. The controller designs are based on the so-called internal model principle and they utilize difference between measurement and desired reference trajectory. Moreover, the controllers are robust in the sense that they can achieve output regulation despite external disturbances and model uncertainties. We also study the output regulation problem when there are certain limitations on the control input. In particular, we generalize the theory of output regulation for dynamical systems described by ordinary differential equations subject to input constraints to a particular class of systems described by partial differential equations. We present set of solvability conditions and a linear output feedback controller for the output regulation

Infinite-Dimensional Modelling and Control of a MEMS Deformable Mirror with Applications in Adaptive Optics

RÉSUMÉ Le contrôle de déformation est un problème émergent dans les micro structures intelligentes. Une des applications type est le contrôle de la déformation de miroirs dans l’optique adaptative dans laquelle on oriente la face du miroir selon une géométrie précise en utilisant une gamme de micro-vérins afin d’éliminer la distortion lumineuse. Dans cette thèse, le problème de la conception du contrôle du suivi est considéré directement avec les modèles décrits par des équations aux dérivées partielles définies dans l’espace de dimension infinie. L’architecture du contrôleur proposée se base sur la stabilisation par retour des variables et le suivi des trajectoires utilisant la théorie des systèmes différentiellement plats. La combinaison de la commande par rétroaction et la planification des trajectoires permet de réduire la complexité de la structure du contrôleur pour que ce dernier puisse être implémentée dans les microsystèmes avec les techniques disponibles de nos jours. Pour aboutir à une architecture implémentable dans les applications en temps réel, la fonction de Green est considérée comme une fonction de test pour concevoir le contrôleur et pour représenter les trajectoires de référence dans la planification de mouvements.----------ABSTRACT Deformation control is an emerging problem for micro-smart structures. One of its exciting applications is the control of deformable mirrors in adaptive optics systems, in which the mirror face-sheet is steered to a desired shape using an array of micro-actuators in order to remove light distortions. This technology is an enabling key for the forthcoming extremely large ground-based telescopes. Large-scale deformable mirrors typically exhibit complex dynamical behaviors mostly due to micro-actuators distributed in the domain of the system which in particular complicates control design. A model of this device may be described by a fourth-order in space/second-order in time partial differential equation for the mirror face-sheet with Dirac delta functions located in the domain of the system to represent the micro-actuators. Most of control design methods dealing with partial differential equations are performed on lumped models, which often leads to high-dimensional and complex feedback control structures. Furthermore, control designs achieved based on partial differential equation models correspond to boundary control problems. In this thesis, a tracking control scheme is designed directly based on the infinite-dimensional model of the system. The control scheme is introduced based on establishing a relationship between the original nonhomogeneous model and a target system in a standard boundary control form. Thereby, the existing boundary control methods may be applicable. For the control design, we apply the tool of differential flatness to a partial differential equation system controlled by multiple actuators, which is essentially a multiple-input multiple-output partial differential equation problem. To avoid early lumping in the motion planning, we use the properties of the Green’s function of the system to represent the reference trajectories. A finite set of these functions is considered to establish a one-to-one map between the input space and output space. This allows an implementable scheme for real-time applications. Since pure feedforward control is only applicable for perfectly known, and stable systems, feedback control is required to account for instability, model uncertainties, and disturbances. Hence, a stabilizing feedback is designed to stabilize the system around the reference trajectories. The combination of differential flatness for motion planning and stabilizing feedback provides a systematic control scheme suitable for the real-time applications of large-scale deformable mirrors

In-Domain Control of Partial Differential Equations

RÉSUMÉ Cette thèse porte sur la commande des systèmes à dimension infinie décrit par les équa-tions aux dérivées partielles (EDP). La commande d’EDP peut être divisée approximative-ment en deux catégories en fonction de l’emplacement des actionneurs: la commande à la frontière, où les actionnements sont appliqués à la frontière des systèmes d’EDP, et la com-mande dans le domaine, où les actionneurs pénètrent à l’intérieur du domaine des systèmes d’EDP. Dans cette thèse, nous étudierons la commande dans le domaine de l’équation d’Euler-Bernoulli, de l’équation de Fisher, l’équation de Chafee-Infante et de l’équation de Burgers. L’équation d’Euler-Bernoulli est un modèle classique d’EDP linéaire décrivant la flexion pure des structures flexibles. L’équation de Fisher et l’équation de Chafee-Infante sont des EDP paraboliques semi-linéaires, qui peuvent être utilisées pour modéliser certains phénomènes physiques, chimiques ou biologiques. L’équation de Burgers peut être considérée comme une simplification d’équations de Navier-Stokes en mécanique des fluides, en dynamique des gaz, en fluidité de la circulation, etc. Ces systèmes jouent des rôles très importants en mathéma-tiques, en physique et dans d’autres domaines. Dans cette thèse, de nouvelles méthodes qui se basent sur la dynamique des zéros et le compensateur dynamique ont été développées pour la conception et l’implémentation de lois de commande pour la commande des EDP avec des actionnements dans le domaine. Tout d’abord, nous étudions le contrôle de l’équation d’Euler-Bernoulli avec plusieurs actionneurs internes. L’inverse de la dynamique des zéros a été utilisé dans la conception de la loi de commande, ce qui permet de suivre la trajectoire prescrit souhaitée. Afin de concevoir la trajectoire souhaitée, la fonction de Green est utilisée pour déterminer la commande sta-tique. La planification de mouvement est générée par des contrôleurs dynamiques basés sur la méthode de platitude di˙érentielle. Pour les équations paraboliques non linéaires, la dy-namique des zéros est régie par une EDP non linéaire. Par conséquent, nous avons recours à la méthode de décomposition d’Adomian (ADM) pour générer la commande dynamique afin de suivre les références désirées. Dans le cas de l’équation de Burgers, un compensateur dynamique a été utilisé. Pour obtenir la stabilité globale de l’équation de Burgers contrôlée, une rétroaction non linéaire a été appliquée à la frontière. La méthode d’ADM et la platitude ont été utilisées dans l’implémentation du compensateur dynamique.----------ABSTRACT This thesis addresses in-domain control of partial di˙erential equation (PDE) systems. PDE control can in general be classified into two categories according to the location of the ac-tuators: boundary control, where the actuators are assigned to the boundary of the PDE systems, and in-domain control, where the actuation penetrates inside the domain of the PDE systems. This thesis investigates the in-domain control of some well-known PDEs, including the Euler-Bernoulli equation, the Fisher’s equation, the Chafee-Infante equation, and Burgers’ equation. Euler-Bernoulli equation is a classical linear PDE used to describe the pure bending of flexible structures. Fisher’s equation and the Chafee-Infante equation are semi-linear parabolic PDEs that can be used to model physical, chemical, and biolog-ical phenomena. Burgers’ equation can be viewed as simplified Navier-Stokes equations in lower dimensions in applied mathematics, and it has been widely adopted in fluid mechan-ics, gas dynamics, traÿc flow modeling, etc. These PDE systems play important roles in mathematics, physics, and other fields. In this work, in-domain control of linear and semi-linear parabolic equations are treated based on dynamic compensators. First, we consider the in-domain control of an Euler-Bernoulli equation with multiple internal actuators. The method of zero dynamics inverse is adopted to derive the in-domain control to allow an asymptotic tracking of the prescribed desired outputs. A linear proportional boundary feedback control is employed to stabilize the Euler-Bernoulli equation around its zero dynamics. To design the desired trajectory, the Green’s function is employed to determine the static control, and then motion planning is generated by dynamic control based on di˙erential flatness. For the semi-linear parabolic equations, zero dynamics are governed by nonlinear PDEs. Therefore, the implementation of the in-domain control of linear PDEs cannot be directly applied. We resort then to the Adomian decomposition method (ADM) to implement the dynamic control in order to track the desired set-points. Finally, the in-domain control of a Burgers’ equation is addressed based on dynamic compensator. A nonlinear boundary feedback control is used to achieve the global stability of the controlled Burgers’ equation, and the ADM as well as the flatness are used in the implementation of the proposed in-domain control scheme

Efficient Solvers for Space-Time Discontinuous Galerkin Spectral Element Methods

In this thesis we study efficient solvers for space-time discontinuous Galerkin spectral element methods (DG-SEM). These discretizations result in fully implicit schemes of variable order in both spatial and temporal directions. The popularity of space-time DG methods has increased in recent years and entropy stable space-time DG-SEM have been constructed for conservation laws, making them interesting for these applications. The size of the nonlinear system resulting from differential equations discretized with space-time DG-SEM is dependent on the order of the method, and the corresponding Jacobian is of block form with dense blocks. Thus, the problem arises to efficiently solve these huge nonlinear systems with regards to CPU time as well as memory consumption. The lack of good solvers for three-dimensional DG applications has been identified as one of the major obstacles before high order methods can be adapted for industrial applications.It has been proven that DG-SEM in time and Lobatto IIIC Runge-Kutta methods are equivalent, in that both methods lead to the same discrete solution. This allows to implement space-time DG-SEM in two ways: Either as a full space-time system or by decoupling the temporal elements and using implicit time-stepping with Lobatto IIIC methods. We compare theoretical properties and discuss practical aspects of the respective implementations.When considering the full space-time system, multigrid can be used as solver. We analyze this solver with the local Fourier analysis, which gives more insight into the efficiency of the space-time multigrid method. The other option is to decouple the temporal elements and use implicit Runge-Kutta time-stepping methods. We suggest to use Jacobian-free Newton-Krylov (JFNK) solvers since they are advantageous memory-wise. An efficient preconditioner for the Krylov sub-solver is needed to improve the convergence speed. However, we want to avoid constructing or storing the Jacobian, otherwise the favorable memory consumption of the JFNK approach would be obsolete. We present a preconditioner based on an auxiliary first order finite volume replacement operator. Based on the replacement operator we construct an agglomeration multigrid preconditioner with efficient smoothers using pseudo time integrators. Then only the Jacobian of the replacement operator needs to be constructed and the DG method is still Jacobian-free. Numerical experiments for hyperbolic test problems as the advection, advection-diffusion and Euler equations in several dimensions demonstrate the potential of the new approach

Contrôle de systèmes hyperboliques par analyse Lyapunov

In this thesis we have considered different aspects for the control of hyperbolic systems.First, we have studied switched hyperbolic systems. They contain an interaction between a continuous and a discrete dynamics. Thus, the continuous dynamics may evolve in different modes: these modes are imposed by the discrete dynamics. The change in the mode may be controlled (in case of a closed-loop system), or may be uncontrolled (in case of an open-loop system). We have focused our interest on the former case. We procedeed with a Lyapunov analysis, and construct three switching rules. We have shown how to modify them to get robustness and ISS properties. We have shown their effectiveness with numerical tests.Then, we have considered the trajectory generation problem for 2x2 linear hyperbolic systems. We have solved it with backstepping. Then, we have considered the tracking problem with a Proportionnal-Integral controller. We have shown that it stabilizes the error system around the reference trajectory with a new non-diagonal Lyapunov function. The integral action has been shown to be able to reject in-domain, as well as boundary disturbances.Finally, we have considered numerical aspects for the Lyapunov analysis. The conditions for the stability and design of controllers by quadratic Lyapunov functions involve an infinity of matrix inequalities. We have shown how to reduce this complexity by polytopic embeddings of the constraints.Many obtained results have been illustrated by academic examples and physically relevant dynamical systems (as Shallow-Water equations and Aw-Rascle-Zhang equations).Dans cette thèse nous avons étudié différents aspects pour le contrôle de systèmes hyperboliques.Tout d'abord, nous nous sommes intéressés à des systèmes hyperboliques à commutations. Cela signifie qu'il existe une interaction entre une dynamique continue et une dynamique discrète. Autrement dit, il existe différents modes dans lesquels peut évoluer la dynamique continue: ces modes sont dictés par la dynamique discrète. Ce changement de mode peut être contrôlé (dans le cas d'une boucle fermée), ou non-contrôlé (dans le cas d'une boucle ouverte). Nous nous sommes intéressés au premier cas. Par une analyse Lyapunov nous avons construit trois règles de commutations capables de stabiliser le système. Nous avons montré comment modifier deux d'entre elles pour obtenir des propriétés de robustesse et de stabilité entrée-état. Ces règles de commutations ont été testées numériquement.Ensuite, nous avons considéré la génération de trajectoire pour des systèmes hyperboliques linéaires 2x2 par backstepping. L'étape suivante a été de considérer une action Proportionnelle-Intégrale pour stabiliser la solution du système autour de la trajectoire de référence. Pour cela nous avons construit une fonction Lyapunov non-diagonale. Nous avons montré que l'action intégrale est capable de rejeter des erreurs distribuées et frontières.Enfin, nous avons considéré des aspects numériques pour l'analyse Lyapunov. Les conditions pour la stabilité et la conception de contrôleurs obtenues par des fonctions de Lyapunov quadratiques font intervenir une infinité d'inégalités matricielles. Nous avons montré que cette complexité peut être réduite en considérant une sur-approximation polytopique de ces contraintes.Les résultats obtenus ont été illustrés par des exemples académiques et des systèmes dynamiques physiques (comme les équations de Saint-Venant et les équations de Aw-Rascle-Zhang)