19 research outputs found
Positive Forms and Stability of Linear Time-Delay Systems
We consider the problem of constructing Lyapunov functions for linear
differential equations with delays. For such systems it is known that
exponential stability implies the existence of a positive Lyapunov function
which is quadratic on the space of continuous functions. We give an explicit
parametrization of a sequence of finite-dimensional subsets of the cone of
positive Lyapunov functions using positive semidefinite matrices. This allows
stability analysis of linear time-delay systems to be formulated as a
semidefinite program.Comment: journal version, 14 page
Semi-definite programming and functional inequalities for Distributed Parameter Systems
We study one-dimensional integral inequalities, with quadratic integrands, on
bounded domains. Conditions for these inequalities to hold are formulated in
terms of function matrix inequalities which must hold in the domain of
integration. For the case of polynomial function matrices, sufficient
conditions for positivity of the matrix inequality and, therefore, for the
integral inequalities are cast as semi-definite programs. The inequalities are
used to study stability of linear partial differential equations.Comment: 8 pages, 5 figure
A Semi-Definite Programming Approach to Stability Analysis of Linear Partial Differential Equations
We consider the stability analysis of a large class of linear 1-D PDEs with
polynomial data. This class of PDEs contains, as examples, parabolic and
hyperbolic PDEs, PDEs with boundary feedback and systems of in-domain/boundary
coupled PDEs. Our approach is Lyapunov based which allows us to reduce the
stability problem to the verification of integral inequalities on the subspaces
of Hilbert spaces. Then, using fundamental theorem of calculus and Green's
theorem, we construct a polynomial problem to verify the integral inequalities.
Constraining the solution of the polynomial problem to belong to the set of
sum-of-squares polynomials subject to affine constraints allows us to use
semi-definite programming to algorithmically construct Lyapunov certificates of
stability for the systems under consideration. We also provide numerical
results of the application of the proposed method on different types of PDEs
Sparse sum-of-squares (SOS) optimization: A bridge between DSOS/SDSOS and SOS optimization for sparse polynomials
Optimization over non-negative polynomials is fundamental for nonlinear
systems analysis and control. We investigate the relation between three
tractable relaxations for optimizing over sparse non-negative polynomials:
sparse sum-of-squares (SSOS) optimization, diagonally dominant sum-of-squares
(DSOS) optimization, and scaled diagonally dominant sum-of-squares (SDSOS)
optimization. We prove that the set of SSOS polynomials, an inner approximation
of the cone of SOS polynomials, strictly contains the spaces of sparse
DSOS/SDSOS polynomials. When applicable, therefore, SSOS optimization is less
conservative than its DSOS/SDSOS counterparts. Numerical results for
large-scale sparse polynomial optimization problems demonstrate this fact, and
also that SSOS optimization can be faster than DSOS/SDSOS methods despite
requiring the solution of semidefinite programs instead of less expensive
linear/second-order cone programs.Comment: 9 pages, 3 figure
Polynomial Optimization with Applications to Stability Analysis and Control - Alternatives to Sum of Squares
In this paper, we explore the merits of various algorithms for polynomial
optimization problems, focusing on alternatives to sum of squares programming.
While we refer to advantages and disadvantages of Quantifier Elimination,
Reformulation Linear Techniques, Blossoming and Groebner basis methods, our
main focus is on algorithms defined by Polya's theorem, Bernstein's theorem and
Handelman's theorem. We first formulate polynomial optimization problems as
verifying the feasibility of semi-algebraic sets. Then, we discuss how Polya's
algorithm, Bernstein's algorithm and Handelman's algorithm reduce the
intractable problem of feasibility of semi-algebraic sets to linear and/or
semi-definite programming. We apply these algorithms to different problems in
robust stability analysis and stability of nonlinear dynamical systems. As one
contribution of this paper, we apply Polya's algorithm to the problem of
H_infinity control of systems with parametric uncertainty. Numerical examples
are provided to compare the accuracy of these algorithms with other polynomial
optimization algorithms in the literature.Comment: AIMS Journal of Discrete and Continuous Dynamical Systems - Series
A Strict Control Lyapunov Function for a Diffusion Equation with Time-Varying Distributed Coefficients
International audienceIn this paper, a strict Lyapunov function is developed in order to show the exponential stability and input-to-state stability (ISS) properties of a diffusion equation for nonhomogeneous media. Such media can involve rapidly time-varying distributed diffusivity coefficients. Based on this Lyapunov function, a control law is derived to preserve the ISS properties of the system and improve its performance. A robustness analysis with respect to disturbances and estimation errors in the distributed parameters is performed on the system, precisely showing the impact of the controller on the rate of convergence and ISS gains. This is important in light of a possible implementation of the control since, in most cases, diffusion coefficient estimates involve a high degree of uncertainty. An application to the safety factor profile control for the Tore Supra tokamak illustrates and motivates the theoretical results. A constrained control law (incorporating nonlinear shape constraints in the actuation profiles) is designed to behave as closely as possible to the unconstrained version, albeit with the equivalent of a variable gain. Finally, the proposed control laws are tested under simulation, first in the nominal case and then using a model of Tore Supra dynamics, where they show adequate performance and robustness with respect to disturbances