arXiv subjects

Christophe Prieur

Publications and source records attributed to Christophe Prieur.

At least 55 records · Page 3Linked to original sources

arXiv2021

Finite-dimensional observer-based PI regulation control of a reaction-diffusion equation

This paper investigates the output feedback setpoint regulation control of a reaction-diffusion equation by means of boundary control. The considered reaction-diffusion plant may be open-loop unstable. The proposed control strategy consists of the coupling of a finite-dimensional observer and a PI controller in order to achieve the boundary setpoint regulation control of various system outputs such as the Dirichlet and Neumann traces. In this context, it is shown that the order of the finite-dimensional observer can always be selected large enough, with explicit criterion, to achieve both the stabilization of the plant and the setpoint regulation of the system output.

math.OC↗

arXiv2021

Synchronization of Identical Boundary-Actuated Semilinear Infinite-Dimensional Systems

This paper deals with synchronization of a class of infinite-dimensional systems. The considered network is described by a collection of semilinear Lipschitz boundary-actuated infinite-dimensional dynamics. For undirected connected graphs, sufficient conditions for asymptotic synchronization are established. We show that the proposed conditions when applied to systems of hyperbolic semilinear conservation laws can be recast into a set of matrix inequalities. For this class of systems, sufficient conditions in the form of linear matrix inequalities for the design of synchronizing policies are provided.

eess.SY↗

arXiv2021

Global Output Feedback Stabilization of Semilinear Reaction-Diffusion PDEs

This paper addresses the topic of global output feedback stabilization of semilinear reaction-diffusion PDEs. The semilinearity is assumed to be confined into a sector condition. We consider two different types of actuation configurations, namely: bounded control operator and right Robin boundary control. The measurement is selected as a left Dirichlet trace. The control strategy is finite dimensional and is designed based on a linear version of the plant. We derive a set of sufficient conditions ensuring the global exponential stabilization of the semilinear reaction-diffusion PDE. These conditions are shown to be feasible provided the order of the controller is large enough and the size of the sector condition in which the semilinearity is confined into is small enough.

math.OC↗

arXiv2021

Finite-dimensional observer-based boundary stabilization of reaction-diffusion equations with a either Dirichlet or Neumann boundary measurement

This paper investigates the output feedback boundary control of reaction-diffusion equations with either distributed or boundary measurement by means of a finite-dimensional observer. A constructive method dealing with the design of finite-dimensional observers for the feedback stabilization of reaction-diffusion equations was reported in a recent paper in the case where either the control or the observation operator is bounded and also satisfies certain regularity assumptions. In this paper, we go beyond by demonstrating that a finite-dimensional state-feedback combined with a finite-dimensional observer can always be successfully designed in order to achieve the Dirichlet boundary stabilization of reaction-diffusion PDEs with a either Dirichlet or Neumann boundary measurement.

math.OC↗

arXiv2021

Boundary Output Feedback Stabilization of Reaction-Diffusion PDEs with Delayed Boundary Measurement

This paper addresses the boundary output feedback stabilization of general 1-D reaction-diffusion PDEs with delayed boundary measurement. The output takes the form of a either Dirichlet or Neumann trace. The output delay can be arbitrarily large. The control strategy is composed of a finite-dimensional observer that is used to observe a delayed version of the first modes of the PDE and a predictor component which is employed to obtain the control input to be applied at current time. For any given value of the output delay, we assess the stability of the resulting closed-loop system provided the order of the observer is selected large enough. Taking advantage of this result, we discuss the extension of the control strategy to the case of simultaneous input and output delays.

math.OC↗

arXiv2020

Robustness of constant-delay predictor feedback for in-domain stabilization of reaction-diffusion PDEs with time- and spatially-varying input delays

This paper discusses the in-domain feedback stabilization of reaction-diffusion PDEs with Robin boundary conditions in the presence of an uncertain time- and spatially-varying delay in the distributed actuation. The proposed control design strategy consists of a constant-delay predictor feedback designed based on the known nominal value of the control input delay and is synthesized on a finite-dimensional truncated model capturing the unstable modes of the original infinite-dimensional system. By using a small-gain argument, we show that the resulting closed-loop system is exponentially stable provided that the variations of the delay around its nominal value are small enough. The proposed proof actually applies to any distributed-parameter system associated with an unbounded operator that 1) generates a $C_0$-semigroup on a weighted space of square integrable functions over a compact interval; and 2) is self-adjoint with compact resolvent.

math.OC↗

arXiv2020

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.

math.OC↗

arXiv2020

PI regulation control of a 1-D semilinear wave equation

This paper is concerned with the Proportional Integral (PI) regulation control of the left Neu-mann trace of a one-dimensional semilinear wave equation. The control input is selected as the right Neumann trace. The control design goes as follows. First, a preliminary (classical) velocity feedback is applied in order to shift all but a finite number of the eivenvalues of the underlying unbounded operator into the open left half-plane. We then leverage on the projection of the system trajectories into an adequate Riesz basis to obtain a truncated model of the system capturing the remaining unstable modes. Local stability of the resulting closed-loop infinite-dimensional system composed of the semilinear wave equation, the preliminary velocity feedback, and the PI controller, is obtained through the study of an adequate Lyapunov function. Finally, an estimate assessing the set point tracking performance of the left Neumann trace is derived.

math.OC↗

arXiv2020

Exponential input-to-state stabilization of a class of diagonal boundary control systems with delay boundary control

This paper deals with the exponential input-to-state stabilization with respect to boundary disturbances of a class of diagonal infinite-dimensional systems via delay boundary control. The considered input delays are uncertain and time-varying. The proposed control strategy consists of a constant-delay predictor feedback controller designed on a truncated finite-dimensional model capturing the unstable modes of the original infinite-dimensional system. We show that the resulting closed-loop system is exponentially input-to-state stable with fading memory of both additive boundary input perturbations and disturbances in the computation of the predictor feedback.

math.OC↗

arXiv2020

Input-to-state stability of infinite-dimensional systems: recent results and open questions

In a pedagogical but exhaustive manner, this survey reviews the main results on input-to-state stability (ISS) for infinite-dimensional systems. This property allows estimating the impact of inputs and initial conditions on both the intermediate values and the asymptotic bound on the solutions. ISS has unified the input-output and Lyapunov stability theories and is a crucial property in the stability theory of control systems as well as for many applications whose dynamics depend on parameters, unknown perturbations, or other inputs. In this paper, starting from classic results for nonlinear ordinary differential equations, we motivate the study of ISS property for distributed parameter systems. Then fundamental properties are given, as an ISS superposition theorem and characterizations of (global and local) ISS in terms of Lyapunov functions. We explain in detail the functional-analytic approach to ISS theory of linear systems with unbounded input operators, with special attention devoted to ISS theory of boundary control systems. The Lyapunov method is shown to be very useful for both linear and nonlinear models, including parabolic and hyperbolic partial differential equations. Next, we show the efficiency of the ISS framework to study the stability of large-scale networks, coupled either via the boundary or via the interior of the spatial domain. ISS methodology allows reducing the stability analysis of complex networks, by considering the stability properties of its components and the interconnection structure between the subsystems. An extra section is devoted to ISS theory of time-delay systems with the emphasis on techniques, which are particularly suited for this class of systems. Finally, numerous applications are considered in this survey, where ISS properties play a crucial role in their study. This survey suggests many open problems throughout the paper.

math.OC↗

arXiv2019

PI Regulation of a Reaction-Diffusion Equation with Delayed Boundary Control

The general context of this work is the feedback control of an infinite-dimensional system so that the closed-loop system satisfies a fading-memory property and achieves the setpoint tracking of a given reference signal. More specifically, this paper is concerned with the Proportional Integral (PI) regulation control of the left Neumann trace of a one-dimensional reaction-diffusion equation with a delayed right Dirichlet boundary control. In this setting, the studied reaction-diffusion equation might be either open-loop stable or unstable. The proposed control strategy goes as follows. First, a finite-dimensional truncated model that captures the unstable dynamics of the original infinite-dimensional system is obtained via spectral decomposition. The truncated model is then augmented by an integral component on the tracking error of the left Neumann trace. After resorting to the Artstein transformation to handle the control input delay, the PI controller is designed by pole shifting. Stability of the resulting closed-loop infinite-dimensional system, consisting of the original reaction-diffusion equation with the PI controller, is then established thanks to an adequate Lyapunov function. In the case of a time-varying reference input and a time-varying distributed disturbance, our stability result takes the form of an exponential Input-to-State Stability (ISS) estimate with fading memory. Finally, another exponential ISS estimate with fading memory is established for the tracking performance of the reference signal by the system output. In particular, these results assess the setpoint regulation of the left Neumann trace in the presence of distributed perturbations that converge to a steady-state value and with a time-derivative that converges to zero. Numerical simulations are carried out to illustrate the efficiency of our control strategy.

math.OC↗

arXiv2019

An LMI Condition for the Robustness of Constant-Delay Linear Predictor Feedback with Respect to Uncertain Time-Varying Input Delays

This paper discusses the robustness of the constant-delay predictor feedback in the case of an uncertain time-varying input delay. Specifically, we study the stability of the closed-loop system when the predictor feedback is designed based on the knowledge of the nominal value of the time-varying delay. By resorting to an adequate Lyapunov-Krasovskii functional, we derive an LMI-based sufficient condition ensuring the exponential stability of the closed-loop system for small enough variations of the time-varying delay around its nominal value. These results are extended to the feedback stabilization of a class of diagonal infinite-dimensional boundary control systems in the presence of a time-varying delay in the boundary control input.

math.OC↗

arXiv2019

L^p-asymptotic stability analysis of a 1D wave equation with a nonlinear damping

This paper is concerned with the asymptotic stability analysis of a one dimensional wave equation with Dirichlet boundary conditions subject to a nonlinear distributed damping with an L p functional framework, p $\in$ [2, $\infty$]. Some well-posedness results are provided together with exponential decay to zero of trajectories, with an estimation of the decay rate. The well-posedness results are proved by considering an appropriate functional of the energy in the desired functional spaces introduced by Haraux in [11]. Asymptotic behavior analysis is based on an attractivity result on a trajectory of an infinite-dimensional linear time-varying system with a special structure, which relies on the introduction of a suitable Lyapunov functional. Note that some of the results of this paper apply for a large class of nonmonotone dampings.

math.AP↗

arXiv2019

Feedback Stabilization of a Class of Diagonal Infinite-Dimensional Systems with Delay Boundary Control

This paper studies the boundary feedback stabilization of a class of diagonal infinite-dimensional boundary control systems. In the studied setting, the boundary control input is subject to a constant delay while the open loop system might exhibit a finite number of unstable modes. The proposed control design strategy consists in two main steps. First, a finite-dimensional subsystem is obtained by truncation of the original Infinite-Dimensional System (IDS) via modal decomposition. It includes the unstable components of the infinite-dimensional system and allows the design of a finite-dimensional delay controller by means of the Artstein transformation and the pole-shifting theorem. Second, it is shown via the selection of an adequate Lyapunov function that 1) the finite-dimensional delay controller successfully stabilizes the original infinite-dimensional system; 2) the closed-loop system is exponentially Input-to-State Stable (ISS) with respect to distributed disturbances. Finally, the obtained ISS property is used to derive a small gain condition ensuring the stability of an IDS-ODE interconnection.

math.OC↗

arXiv2019

Stability analysis of a 1D wave equation with a nonmonotone distributed damping

This paper is concerned with the asymptotic stability analysis of a one dimensional wave equation subject to a nonmonotone distributed damping. A well-posedness result is provided together with a precise characterization of the asymptotic behavior of the trajectories of the system under consideration. The well-posedness is proved in the nonstandard L p functional spaces, with p $\in$ [2, $\infty$], and relies mostly on some results collected in Haraux (2009). The asymptotic behavior analysis is based on an attractivity result on a specific infinite-dimensional linear time-variant system.

math.AP↗

arXiv2018

Stability analysis of dissipative systems subject to nonlinear damping via Lyapunov techniques

In this article, we provide a general strategy based on Lyapunov functionals to analyse global asymptotic stability of linear infinite-dimensional systems subject to nonlinear dampings under the assumption that the origin of the system is globally asymp-totically stable with a linear damping. To do so, we first characterize, in terms of Lyapunov functionals, several types of asymptotic stability for linear infinite-dimensional systems, namely the exponential and the polynomial stability. Then, we derive a Lyapunov functional for the nonlinear system, which is the sum of a Lyapunov functional coming from the linear system and another term with compensates the nonlinearity. Our results are then applied to the linearized Korteweg-de Vries equation and some wave equations.

math.AP↗

arXiv2018

Well-Posedness and Output Regulation for Implicit Time-Varying Evolution Variational Inequalities

A class of evolution variational inequalities (EVIs), which comprises ordinary differential equations (ODEs) coupled with variational inequalities (VIs) associated with time-varying set-valued mappings, is proposed in this paper. We first study the conditions for existence and uniqueness of solutions. The central idea behind the proof is to rewrite the system dynamics as a differential inclusion which can be decomposed into a single-valued Lipschitz map, and a time-dependent maximal monotone operator. Regularity assumptions on the set-valued mapping determine the regularity of the resulting solutions. Complementarity systems with time-dependence are studied as a particular case. We then use this result to study the problem of designing state feedback control laws for output regulation in systems described by EVIs. The derivation of control laws for output regulation is based on the use of internal model principle, and two cases are treated: First, a static feedback control law is derived when full state feedback is available, In the second case, only the error to be regulated is assumed to be available for measurement and a dynamic compensator is designed. As applications, we demonstrate how control input resulting from the solution of a variational inequality results in regulating the output of the system while maintaining polyhedral state constraints. Another application is seen in designing control inputs for regulation in power converters.

math.DS↗

arXiv2017

On ISS-Lyapunov functions for infinite-dimensional linear control systems subject to saturations

- This article deals with the derivation of ISS-Lyapunov functions for infinite-dimensional linear systems subject to saturations. Two cases are considered: 1) the saturation acts in the same space as the control space; 2) the saturation acts in another space, especially a Banach space. For the first case, an explicit ISS-Lyapunov function can be derived. For the second case, we can only ensure the existence of an ISS-Lyapunov function.

math.AP↗