78 research outputs found
Three Dimensional Strongly Symmetric Circulant Tensors
In this paper, we give a necessary and sufficient condition for an even order
three dimensional strongly symmetric circulant tensor to be positive
semi-definite. In some cases, we show that this condition is also sufficient
for this tensor to be sum-of-squares. Numerical tests indicate that this is
also true in the other cases
Neural Lyapunov Control
We propose new methods for learning control policies and neural network
Lyapunov functions for nonlinear control problems, with provable guarantee of
stability. The framework consists of a learner that attempts to find the
control and Lyapunov functions, and a falsifier that finds counterexamples to
quickly guide the learner towards solutions. The procedure terminates when no
counterexample is found by the falsifier, in which case the controlled
nonlinear system is provably stable. The approach significantly simplifies the
process of Lyapunov control design, provides end-to-end correctness guarantee,
and can obtain much larger regions of attraction than existing methods such as
LQR and SOS/SDP. We show experiments on how the new methods obtain high-quality
solutions for challenging control problems.Comment: NeurIPS 201
Output-Feedback Control of Nonlinear Systems using Control Contraction Metrics and Convex Optimization
Control contraction metrics (CCMs) are a new approach to nonlinear control
design based on contraction theory. The resulting design problems are expressed
as pointwise linear matrix inequalities and are and well-suited to solution via
convex optimization. In this paper, we extend the theory on CCMs by showing
that a pair of "dual" observer and controller problems can be solved using
pointwise linear matrix inequalities, and that when a solution exists a
separation principle holds. That is, a stabilizing output-feedback controller
can be found. The procedure is demonstrated using a benchmark problem of
nonlinear control: the Moore-Greitzer jet engine compressor model.Comment: Conference submissio
Domain Decomposition for Stochastic Optimal Control
This work proposes a method for solving linear stochastic optimal control
(SOC) problems using sum of squares and semidefinite programming. Previous work
had used polynomial optimization to approximate the value function, requiring a
high polynomial degree to capture local phenomena. To improve the scalability
of the method to problems of interest, a domain decomposition scheme is
presented. By using local approximations, lower degree polynomials become
sufficient, and both local and global properties of the value function are
captured. The domain of the problem is split into a non-overlapping partition,
with added constraints ensuring continuity. The Alternating Direction
Method of Multipliers (ADMM) is used to optimize over each domain in parallel
and ensure convergence on the boundaries of the partitions. This results in
improved conditioning of the problem and allows for much larger and more
complex problems to be addressed with improved performance.Comment: 8 pages. Accepted to CDC 201
Positive Semi-Definiteness and Sum-of-Squares Property of Fourth Order Four Dimensional Hankel Tensors
A positive semi-definite (PSD) tensor which is not a sum-of-squares (SOS)
tensor is called a PSD non-SOS (PNS) tensor. Is there a fourth order four
dimensional PNS Hankel tensor? Until now, this question is still an open
problem. Its answer has both theoretical and practical meanings. We assume that
the generating vector of the Hankel tensor is symmetric. Under this
assumption, we may fix the fifth element of at . We show that
there are two surfaces and with the elements of as variables, such that , is SOS if and only if
, and is PSD if and only if , where is the
first element of . If for a point , then there are no fourth order four dimensional PNS Hankel tensors
with symmetric generating vectors for such . Then, we
call such a point PNS-free. We show that a -degree planar closed convex
cone, a segment, a ray and an additional point are PNS-free. Numerical tests
check various grid points, and find that they are also PNS-free
Smaller SDP for SOS Decomposition
A popular numerical method to compute SOS (sum of squares of polynomials)
decompositions for polynomials is to transform the problem into semi-definite
programming (SDP) problems and then solve them by SDP solvers. In this paper,
we focus on reducing the sizes of inputs to SDP solvers to improve the
efficiency and reliability of those SDP based methods. Two types of
polynomials, convex cover polynomials and split polynomials, are defined. A
convex cover polynomial or a split polynomial can be decomposed into several
smaller sub-polynomials such that the original polynomial is SOS if and only if
the sub-polynomials are all SOS. Thus the original SOS problem can be
decomposed equivalently into smaller sub-problems. It is proved that convex
cover polynomials are split polynomials and it is quite possible that sparse
polynomials with many variables are split polynomials, which can be efficiently
detected in practice. Some necessary conditions for polynomials to be SOS are
also given, which can help refute quickly those polynomials which have no SOS
representations so that SDP solvers are not called in this case. All the new
results lead to a new SDP based method to compute SOS decompositions, which
improves this kind of methods by passing smaller inputs to SDP solvers in some
cases. Experiments show that the number of monomials obtained by our program is
often smaller than that by other SDP based software, especially for polynomials
with many variables and high degrees. Numerical results on various tests are
reported to show the performance of our program.Comment: 18 page
Synthesizing Switching Controllers for Hybrid Systems by Continuous Invariant Generation
We extend a template-based approach for synthesizing switching controllers
for semi-algebraic hybrid systems, in which all expressions are polynomials.
This is achieved by combining a QE (quantifier elimination)-based method for
generating continuous invariants with a qualitative approach for predefining
templates. Our synthesis method is relatively complete with regard to a given
family of predefined templates. Using qualitative analysis, we discuss
heuristics to reduce the numbers of parameters appearing in the templates. To
avoid too much human interaction in choosing templates as well as the high
computational complexity caused by QE, we further investigate applications of
the SOS (sum-of-squares) relaxation approach and the template polyhedra
approach in continuous invariant generation, which are both well supported by
efficient numerical solvers
- β¦