2,124 research outputs found
Bilateral boundary control of an input delayed 2-D reaction-diffusion equation
In this paper, a delay compensation design method based on PDE backstepping
is developed for a two-dimensional reaction-diffusion partial differential
equation (PDE) with bilateral input delays. The PDE is defined in a rectangular
domain, and the bilateral control is imposed on a pair of opposite sides of the
rectangle. To represent the delayed bilateral inputs, we introduce two 2-D
transport PDEs that form a cascade system with the original PDE. A novel set of
backstepping transformations is proposed for delay compensator design,
including one Volterra integral transformation and two affine Volterra integral
transformations. Unlike the kernel equation for 1-D PDE systems with delayed
boundary input, the resulting kernel equations for the 2-D system have singular
initial conditions governed by the Dirac Delta function. Consequently, the
kernel solutions are written as a double trigonometric series with
singularities. To address the challenge of stability analysis posed by the
singularities, we prove a set of inequalities by using the Cauchy-Schwarz
inequality, the 2-D Fourier series, and the Parseval's theorem. A numerical
simulation illustrates the effectiveness of the proposed delay-compensation
method.Comment: 11 pages, 3 figures(including 8 sub-figures
Control and State Estimation of the One-Phase Stefan Problem via Backstepping Design
This paper develops a control and estimation design for the one-phase Stefan
problem. The Stefan problem represents a liquid-solid phase transition as time
evolution of a temperature profile in a liquid-solid material and its moving
interface. This physical process is mathematically formulated as a diffusion
partial differential equation (PDE) evolving on a time-varying spatial domain
described by an ordinary differential equation (ODE). The state-dependency of
the moving interface makes the coupled PDE-ODE system a nonlinear and
challenging problem. We propose a full-state feedback control law, an observer
design, and the associated output-feedback control law via the backstepping
method. The designed observer allows estimation of the temperature profile
based on the available measurement of solid phase length. The associated
output-feedback controller ensures the global exponential stability of the
estimation errors, the H1- norm of the distributed temperature, and the moving
interface to the desired setpoint under some explicitly given restrictions on
the setpoint and observer gain. The exponential stability results are
established considering Neumann and Dirichlet boundary actuations.Comment: 16 pages, 11 figures, submitted to IEEE Transactions on Automatic
Contro
Stability analysis of linear ODE-PDE interconnected systems
Les systèmes de dimension infinie permettent de modéliser un large spectre de phénomènes physiques pour lesquels les variables d'états évoluent temporellement et spatialement. Ce manuscrit s'intéresse à l'évaluation de la stabilité de leur point d'équilibre. Deux études de cas seront en particulier traitées : l'analyse de stabilité des systèmes interconnectés à une équation de transport, et à une équation de réaction-diffusion. Des outils théoriques existent pour l'analyse de stabilité de ces systèmes linéaires de dimension infinie et s'appuient sur une algèbre d'opérateurs plutôt que matricielle. Cependant, ces résultats d'existence soulèvent un problème de constructibilité numérique. Lors de l'implémentation, une approximation est réalisée et les résultats sont conservatifs. La conception d'outils numériques menant à des garanties de stabilité pour lesquelles le degré de conservatisme est évalué et maîtrisé est alors un enjeu majeur. Comment développer des critères numériques fiables permettant de statuer sur la stabilité ou l'instabilité des systèmes linéaires de dimension infinie ? Afin de répondre à cette question, nous proposons ici une nouvelle méthode générique qui se décompose en deux temps. D'abord, sous l'angle de l'approximation sur les polynômes de Legendre, des modèles augmentés sont construits et découpent le système original en deux blocs : d'une part, un système de dimension finie approximant est isolé, d'autre part, l'erreur de troncature de dimension infinie est conservée et modélisée. Ensuite, des outils fréquentiels et temporels de dimension finie sont déployés afin de proposer des critères de stabilité plus ou moins coûteux numériquement en fonction de l'ordre d'approximation choisi. En fréquentiel, à l'aide du théorème du petit gain, des conditions suffisantes de stabilité sont obtenues. En temporel, à l'aide du théorème de Lyapunov, une sous-estimation des régions de stabilité est proposée sous forme d'inégalité matricielle linéaire et une sur-estimation sous forme de test de positivité. Nos deux études de cas ont ainsi été traitées à l'aide de cette méthodologie générale. Le principal résultat obtenu concerne le cas des systèmes EDO-transport interconnectés, pour lequel l'approximation et l'analyse de stabilité à l'aide des polynômes de Legendre mène à des estimations des régions de stabilité qui convergent exponentiellement vite. La méthode développée dans ce manuscrit peut être adaptée à d'autres types d'approximations et exportée à d'autres systèmes linéaires de dimension infinie. Ce travail ouvre ainsi la voie à l'obtention de conditions nécessaires et suffisantes de stabilité de dimension finie pour les systèmes de dimension infinie.Infinite dimensional systems allow to model a large panel of physical phenomena for which the state variables evolve both temporally and spatially. This manuscript deals with the evaluation of the stability of their equilibrium point. Two case studies are treated in particular: the stability analysis of ODE-transport, and ODE-reaction-diffusion interconnected systems. Theoretical tools exist for the stability analysis of these infinite-dimensional linear systems and are based on an operator algebra rather than a matrix algebra. However, these existence results raise a problem of numerical constructibility. During implementation, an approximation is performed and the results are conservative. The design of numerical tools leading to stability guarantees for which the degree of conservatism is evaluated and controlled is then a major issue. How can we develop reliable numerical criteria to rule on the stability or instability of infinite-dimensional linear systems? In order to answer this question, one proposes here a new generic method, which is decomposed in two steps. First, from the perspective of Legendre polynomials approximation, augmented models are built and split the original system into two blocks: on the one hand, a finite-dimensional approximated system is isolated, on the other hand, the infinite-dimensional truncation error is preserved and modeled. Then, frequency and time tools of finite dimension are deployed in order to propose stability criteria that have high or low numerical load depending on the approximated order. In frequencies, with the aid of the small gain theorem, sufficient stability conditions are obtained. In temporal, with the aid of the Lyapunov theorem, an under estimate of the stability regions is proposed as a linear matrix inequality and an over estimate as a positivity test. Our two case studies have been treated with this general methodology. The main result concerns the case of ODE-transport interconnected systems, for which the approximation and stability analysis using Legendre polynomials leads to exponentially fast converging estimates of stability regions. The method developed in this manuscript can be adapted to other types of approximations and exported to other infinite-dimensional linear systems. Thus, this work opens the way to obtain necessary and sufficient finite-dimensional conditions of stability for infinite-dimensional systems
Delay-Adaptive Boundary Control of Coupled Hyperbolic PDE-ODE Cascade Systems
This paper presents a delay-adaptive boundary control scheme for a coupled linear hyperbolic PDE-ODE cascade system with an unknown and
arbitrarily long input delay. To construct a nominal delay-compensated control
law, assuming a known input delay, a three-step backstepping design is used.
Based on the certainty equivalence principle, the nominal control action is fed
with the estimate of the unknown delay, which is generated from a batch
least-squares identifier that is updated by an event-triggering mechanism that
evaluates the growth of the norm of the system states. As a result of the
closed-loop system, the actuator and plant states can be regulated
exponentially while avoiding Zeno occurrences. A finite-time exact
identification of the unknown delay is also achieved except for the case that
all initial states of the plant are zero. As far as we know, this is the first
delay-adaptive control result for systems governed by heterodirectional
hyperbolic PDEs. The effectiveness of the proposed design is demonstrated in
the control application of a deep-sea construction vessel with cable-payload
oscillations and subject to input delay
Local stabilization of an unstable parabolic equation via saturated controls
We derive a saturated feedback control, which locally stabilizes a linear
reaction-diffusion equation. In contrast to most other works on this topic, we
do not assume the Lyapunov stability of the uncontrolled system and consider
general unstable systems. Using Lyapunov methods, we provide estimates for the
region of attraction for the closed-loop system, given in terms of linear and
bilinear matrix inequalities. We show that our results can be used with
distributed as well as scalar boundary control, and with different types of
saturations. The efficiency of the proposed method is demonstrated by means of
numerical simulations
- …