6 research outputs found
Stabilization of a linear Korteweg-de Vries equation with a saturated internal control
This article deals with the design of saturated controls in the context of
partial differential equations. It is focused on a linear Korteweg-de Vries
equation, which is a mathematical model of waves on shallow water surfaces. In
this article, we close the loop with a saturating input that renders the
equation nonlinear. The well-posedness is proven thanks to the nonlinear
semigroup theory. The proof of the asymptotic stability of the closed-loop
system uses a Lyapunov function.Comment: European Control Conference, Jul 2015, Linz, Austri
Global stabilization of a Korteweg-de Vries equation with saturating distributed control
This article deals with the design of saturated controls in the context of
partial differential equations. It focuses on a Korteweg-de Vries equation,
which is a nonlinear mathematical model of waves on shallow water surfaces. Two
different types of saturated controls are considered. The well-posedness is
proven applying a Banach fixed point theorem, using some estimates of this
equation and some properties of the saturation function. The proof of the
asymptotic stability of the closed-loop system is separated in two cases: i)
when the control acts on all the domain, a Lyapunov function together with a
sector condition describing the saturating input is used to conclude on the
stability, ii) when the control is localized, we argue by contradiction. Some
numerical simulations illustrate the stability of the closed-loop nonlinear
partial differential equation. 1. Introduction. In recent decades, a great
effort has been made to take into account input saturations in control designs
(see e.g [39], [15] or more recently [17]). In most applications, actuators are
limited due to some physical constraints and the control input has to be
bounded. Neglecting the amplitude actuator limitation can be source of
undesirable and catastrophic behaviors for the closed-loop system. The standard
method to analyze the stability with such nonlinear controls follows a two
steps design. First the design is carried out without taking into account the
saturation. In a second step, a nonlinear analysis of the closed-loop system is
made when adding the saturation. In this way, we often get local stabilization
results. Tackling this particular nonlinearity in the case of finite
dimensional systems is already a difficult problem. However, nowadays, numerous
techniques are available (see e.g. [39, 41, 37]) and such systems can be
analyzed with an appropriate Lyapunov function and a sector condition of the
saturation map, as introduced in [39]. In the literature, there are few papers
studying this topic in the infinite dimensional case. Among them, we can cite
[18], [29], where a wave equation equipped with a saturated distributed
actuator is studied, and [12], where a coupled PDE/ODE system modeling a
switched power converter with a transmission line is considered. Due to some
restrictions on the system, a saturated feedback has to be designed in the
latter paper. There exist also some papers using the nonlinear semigroup theory
and focusing on abstract systems ([20],[34],[36]). Let us note that in [36],
[34] and [20], the study of a priori bounded controller is tackled using
abstract nonlinear theory. To be more specific, for bounded ([36],[34]) and
unbounded ([34]) control operators, some conditions are derived to deduce, from
the asymptotic stability of an infinite-dimensional linear system in abstract
form, the asymptotic stability when closing the loop with saturating
controller. These articles use the nonlinear semigroup theory (see e.g. [24] or
[1]). The Korteweg-de Vries equation (KdV for short)Comment: arXiv admin note: text overlap with arXiv:1609.0144
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
Strong stability of elastic control systems with dissipative saturating feedback
We will consider, with a focus on saturating feedback control laws, two problems associated with damping in a bounded acoustic cavity Ω⊂R3. Our objective is to verify (compare (Discrete Continuous Dynamical Systems 7 (2001) 319, Math. Control Signals Systems 2 (1989) 265) that these are strongly stable: for every finite-energy solution, the acoustic energy goes to zero as t→∞. We will, in each case, formulate the problem in terms of a contraction semigroup of nonlinear operators on an appropriate Hilbert space and compare this with the corresponding semigroups without saturation - following Avalos and Lasiecka (Semigroup Forum 57 (1998) 278) in using the spectral methods of Arendt and Batty (Trans. Amer. Math. Soc. 8 (1988) 837) to show strong stabilization for those linear semigroups. © 2002 Elsevier Science B.V. All rights reserved