332 research outputs found
Positive trigonometric polynomials for strong stability of difference equations
We follow a polynomial approach to analyse strong stability of linear
difference equations with rationally independent delays. Upon application of
the Hermite stability criterion on the discrete-time homogeneous characteristic
polynomial, assessing strong stability amounts to deciding positive
definiteness of a multivariate trigonometric polynomial matrix. This latter
problem is addressed with a converging hierarchy of linear matrix inequalities
(LMIs). Numerical experiments indicate that certificates of strong stability
can be obtained at a reasonable computational cost for state dimension and
number of delays not exceeding 4 or 5
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
Sample Complexity of the Robust LQG Regulator with Coprime Factors Uncertainty
This paper addresses the end-to-end sample complexity bound for learning the
H2 optimal controller (the Linear Quadratic Gaussian (LQG) problem) with
unknown dynamics, for potentially unstable Linear Time Invariant (LTI) systems.
The robust LQG synthesis procedure is performed by considering bounded additive
model uncertainty on the coprime factors of the plant. The closed-loop
identification of the nominal model of the true plant is performed by
constructing a Hankel-like matrix from a single time-series of noisy finite
length input-output data, using the ordinary least squares algorithm from
Sarkar et al. (2020). Next, an H-infinity bound on the estimated model error is
provided and the robust controller is designed via convex optimization, much in
the spirit of Boczar et al. (2018) and Zheng et al. (2020a), while allowing for
bounded additive uncertainty on the coprime factors of the model. Our
conclusions are consistent with previous results on learning the LQG and LQR
controllers.Comment: Minor Edits on closed loop identification, 30 pages, 2 figures, 3
algorithm
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
- …