A Dual-mode Nonlinear Model Predictive Control with the Enlarged Terminal Constraint Sets

Aiming at a class of nonlinear systems with multiple equilibrium points, we present a dual-mode model predictive control algorithm with extended terminal constraint set combined with control invariant set and gain schedule. Local LQR control laws and the corresponding maximum control invariant sets can be designed for finite equilibrium points. It is guaranteed that control invariant sets are overlapped each other. The union of the control invariant sets is treated as the terminal constraint set of predictive control. The feasibility and stability of the novel dual-mode model predictive control are investigated with both variable and fixed horizon. Because of the introduction of extended terminal constrained set, the feasibility of optimization can be guaranteed with short prediction horizon. In this way, the size of the optimization problem is reduced so it is computationally efficient. Finally, a simulation example illustrating the algorithm is presented.

HENIG GLOBALLY EFFICIENCY FOR SET-VALUED OPTIMIZATION AND VECTOR VARIATIONAL INEQUALITY

This paper deals with Henig globally efficiency in vector optimization involving generalized cone-preinvex set-valued mapping. Some properties of generalized cone-preinvex set-valued map are derived. It also disclose the closed relationships between Henig globally efficiency of generalized conepreinvex set-valued optimization problem and Henig globally efficiency of a kind of vector variational inequality.

Generating Semi-Algebraic Invariants for Non-Autonomous Polynomial Hybrid Systems

Hybrid systems are dynamical systems with interacting discrete computation and continuous physical processes, which have become more common, more indispensable, and more complicated in our modern life. Particularly, many of them are safety-critical, and therefore are required to meet a critical safety standard. Invariant generation plays a central role in the verification and synthesis of hybrid systems. In the previous work, the fourth author and his coauthors gave a necessary and sufficient condition for a semi-algebraic set being an invariant of a polynomial autonomous dynamical system, which gave a confirmative answer to the open problem. In addition, based on which a complete algorithm for generating all semi-algebraic invariants of a given polynomial autonomous hybrid system with the given shape was proposed. This paper considers how to extend their work to non-autonomous dynamical and hybrid systems. Non-autonomous dynamical and hybrid systems are with inputs, which are very common in practice; in contrast, autonomous ones are without inputs. Furthermore, the authors present a sound and complete algorithm to verify semi-algebraic invariants for non-autonomous polynomial hybrid systems. Based on which, the authors propose a sound and complete algorithm to generate all invariants with a pre-defined template.

Cluster Partition Function and Invariants of 3-Manifolds

The author reviews some recent developments in Chern-Simons theory on a hyperbolic 3-manifold M with complex gauge group G. The author focuses on the case of G = SL(N, C) and M being a knot complement: M = S^3\ K. The main result presented in this note is the cluster partition function, a computational tool that uses cluster algebra techniques to evaluate the Chern-Simons path integral for G = SL(N, C). He also reviews various applications and open questions regarding the cluster partition function and some of its relation with string theory.

On the hyperbolicity of flows

Let X be a C1 vector field on a compact boundaryless Riemannian manifold M（dim M≥2）,and A a compact invariant set of X.Suppose that A has a hyperbolic splitting,i.e.,T∧M = Es Eu with Es uniformly contracting and Eu uniformly expanding.We prove that if,in addition,A is chain transitive,then the hyperbolic splitting is continuous,i.e.,A is a hyperbolic set.In general,when A is not necessarily chain transitive,the chain recurrent part is a hyperbolic set.Furthermore,we show that if the whole manifold M admits a hyperbolic splitting,then X has no singularity,and the flow is Anosov.