Sufficient conditions for strongly Carathéodory functions

Recently, by applying the principle of subordination for analytic functions in the open unit disk U, Kim and Cho [I. H. Kim, N. E. Cho, Sufficient conditions for Carathéodory functions, Comput. Math. Appl. 59 (2010), 2067–2073] considered several sufficient conditions for a family of Carathéodory functions. The main purpose of this paper is to investigate some (presumably new) sufficient conditions for the class of strongly Carathéodory functions in U. One illustrative example and several corollaries of the main results presented here are also considered.     

Construction of nonpathological Lyapunov functions for discontinuous systems with Caratheodory solutions

This paper presents a method based on the Nonpathological Lyapunov theorem for constructing Lyapunov function (LF) for discontinuous time invariant dynamical systems with Caratheodory solutions. The origin is stable, if the method constructs a Nonpathological Lyapunov Function (NPLF) for the system. Copyright © 2010 John Wiley and Sons Asia Pte Ltd and Chinese Automatic Control Society     

Lyapunov functions and discontinuous stabilizing feedback

We study the controllability and stability of control systems that are nonlinear, and for which, for whatever reason, linearization fails. We begin by motivating the need for two seemingly exotic tools: nonsmooth control-Lyapunov functions, and discontinuous feedbacks. With the aid of nonsmooth analysis, we build a theory around these tools. We proceed to apply it in various contexts, focusing principally on the design of discontinuous stabilizing feedbacks.     

Strict Lyapunov functions for time-varying systems

Uniformly asymptotically stable periodic time-varying systems for which is known a Lyapunov function with a derivative along the trajectories non-positive and negative definite in the state variable on non-empty open intervals of the time are considered. For these systems, strict Lyapunov functions are constructed.     

Piecewise-affine Lyapunov functions for discrete-time linear systems with saturating controls

This paper is concerned with piecewise-affine (PWA) functions as Lyapunov function candidates for stability analysis of time-invariant discrete-time linear systems with saturating closed-loop control inputs. Using a PWA model of saturating closed-loop system, new necessary and sufficient conditions for a PWA function be a Lyapunov function are presented. Based on linear programming formulation of these conditions, an effective algorithm is proposed for construction of such Lyapunov functions for estimation of the region of local asymptotic stability. Compared to piecewise-linear functions, like Minkowski functions, PWA functions are more adequate to capture the dynamical effects of saturation nonlinearities, giving strictly less conservative results. The complexity of the proposed approach is polynomial in state dimension and exponential in saturating control dimension, being hence appropriate for problems with large state dimension but with few saturating inputs.     

On linear co-positive Lyapunov functions for sets of linear positive systems

In this paper we derive necessary and sufficient conditions for the existence of a common linear co-positive Lyapunov function for a finite set of linear positive systems. Both the state dependent and arbitrary switching cases are considered. Our results reveal an interesting characterisation of “linear” stability for the arbitrary switching case; namely, the existence of such a linear Lyapunov function can be related to the requirement that a number of extreme systems are Metzler and Hurwitz stable. Examples are given to illustrate the implications of our results.     

An invariance kernel representation of ISDS Lyapunov functions

We apply set valued analysis techniques in order to characterize the input-to-state dynamical stability (ISDS) property, a variant of the well known input-to-state stability (ISS) property. Using a suitable augmented differential inclusion we are able to characterize the epigraphs of minimal ISDS Lyapunov functions as invariance kernels. This characterization gives new insight into local ISDS properties and provides a basis for a numerical approximation of ISDS and ISS Lyapunov functions via set oriented numerical methods.     

Economic MPC of nonlinear systems with nonmonotonic Lyapunov functions and its application to HVAC control

This paper proposes a Lyapunov‐based economic model predictive control (MPC) scheme for nonlinear systems with nonmonotonic Lyapunov functions. Relaxed Lyapunov‐based constraints are used in the MPC formulation to improve the economic performance. These constraints will enforce a Lyapunov decrease after every few steps. Recursive feasibility and asymptotical convergence to the steady state can be achieved using Lyapunov‐like stability analysis. The proposed economic MPC can be applied to minimize energy consumption in heating ventilation and air conditioning control of commercial buildings. The Lyapunov‐based constraints in the online MPC problem enable the tracking of the desired set‐point temperature. The performance is demonstrated by a virtual building composed of 2 adjacent zones.     

线性多变量系统的控制Lyapunov函数构造

提出线性多变量系统控制Lyapunov函数(CLF)构造的一般方法. 先证明可以通过解一类Lyapunov方程, 得到线性系统二次型的CLF. 接着证明了对于线性系统, 这种方法可以提供所有二次型的CLF. 最后证明了若线性系统存在CLF, 那么必存在二次型的CLF. 由此完全解决了线性系统的CLF构造问题.     

具有零动态仿射非线性系统控制Lyapunov函数的构造

研究具有零动态仿射非线性系统控制Lyapunov函数的构造问题.提出通过求解一个Lyapunov方程获得可线性化部分的二次型控制Lyapunov函数.由可线性部分的控制Lyapunov函数和零动态部分的Lyapunov函数,通过构造一个正定函数,得到了整个系统的控制Lyapunov函数,且设计了可半全局镇定整个闭环系统的控制律.仿真实例说明了所提出方法的有效性.     

切换系统的二类共同Lyapunov 函数

研究切换系统的共同Lyapunov函数存在问题.对于一类正切换系统,给出了共同Lyapunov函数存在的充分条件.当系统矩阵集为二阶矩阵紧集时,给出了判断共同Lyapunov函数存在的方法,并给出了计算共同Lyapunov函数的算法.最后通过算例验证了所提出算法的有效性.     

Control Lyapunov functions for adaptive nonlinear stabilization

For the problem of stabilization of nonlinear systems linear in unknown constant parameters, we introduce the concept of an adaptive control Lyapunov function (aclf) and use Sontag's constructive proof of Artstein's theorem to design an adaptive controller. In this framework the problem of adaptive stabilization of a nonlinear system is reduced to the problem of nonadaptive stabilization of a modified system. To illustrate the construction of aclf's we give an adaptive backstepping lemma which recovers our earlier design.     

Constrained stabilization via smooth Lyapunov functions

We consider the problem of stabilizing a dynamic system by means of bounded controls. We show that the largest domain of attraction can be arbitrarily closely approximated by a “smooth” domain of attraction for which we provide an analytic expression. Such an expression allows for the determination of a (non-linear) control law in explicit form.     

Conjugate Lyapunov functions for saturated linear systems

Based on a recent duality theory for linear differential inclusions (LDIs), the condition for stability of an LDI in terms of one Lyapunov function can be easily derived from that in terms of its conjugate function. This paper uses a particular pair of conjugate functions, the convex hull of quadratics and the maximum of quadratics, for the purpose of estimating the domain of attraction for systems with saturation nonlinearities. To this end, the nonlinear system is locally transformed into a parametertized LDI system with an effective approach which enables optimization on the parameter of the LDI along with the optimization of the Lyapunov functions. The optimization problems are derived for both the convex hull and the max functions, and the domain of attraction is estimated with both the convex hull of ellipsoids and the intersection of ellipsoids. A numerical example demonstrates the effectiveness of this paper's methods.     

Stabilizability of switched linear systems does not imply the existence of convex Lyapunov functions

Counterexamples are given which show that a linear switched system (with controlled switching) that can be stabilized by means of a suitable switching law does not necessarily admit a convex Lyapunov function. Both continuous- and discrete-time cases are considered. This fact contributes in focusing the difficulties encountered so far in the theory of stabilization of switched system. In particular the result is in contrast with the case of uncontrolled switching in which it is known that if a system is stable under arbitrary switching then admits a polyhedral norm as a Lyapunov function.     

Further remarks on strict input-to-state stable Lyapunov functions for time-varying systems

We study the stability properties of a class of time-varying non-linear systems. We assume that non-strict input-to-state stable (ISS) Lyapunov functions for our systems are given and posit a mild persistency of excitation condition on our given Lyapunov functions which guarantee the existence of strict ISS Lyapunov functions for our systems. Next, we provide simple direct constructions of explicit strict ISS Lyapunov functions for our systems by applying an integral smoothing method. We illustrate our constructions using a tracking problem for a rotating rigid body.     

An implicit Lyapunov control for finite‐dimensional closed quantum systems

In this paper, the state convergence problem for closed quantum systems is investigated. We consider two degenerate cases, where the internal Hamiltonian of the system is not strongly regular or the linearized system around the target state is not controllable. Both the cases are closely related to practical systems such as one‐dimensional oscillators and coupled two spin systems. An implicit Lyapunov‐based control strategy is adopted for the convergence analysis. In particular, two kinds of Lyapunov functions are defined by implicit functions and their existences are guaranteed by a fixed point theorem. The convergence analysis is investigated by the LaSalle invariance principle for both cases. Moreover, the two Lyapunov functions are unified in a general form, and the characterization of the largest invariant set is presented. Finally, simulation studies are included to show the effectiveness and advantage of the proposed methods. Copyright © 2011 John Wiley & Sons, Ltd.     

Further results on Lyapunov functions for slowly time-varying systems

We provide general methods for explicitly constructing strict Lyapunov functions for fully nonlinear slowly time-varying systems. Our results apply to cases where the given dynamics and corresponding frozen dynamics are not necessarily exponentially stable. This complements our previous Lyapunov function constructions for rapidly time-varying dynamics. We also explicitly construct input-to-state stable Lyapunov functions for slowly time-varying control systems. We illustrate our findings by constructing explicit Lyapunov functions for a pendulum model, an example from identification theory, and a perturbed friction model.     

Construction of control Lyapunov functions for damping stabilization of control affine systems

This paper considers the stabilization of nonlinear control affine systems that satisfy Jurdjevic–Quinn conditions. We first obtain a differential one-form associated to the system by taking the interior product of a non vanishing two-form with respect to the drift vector field. We then construct a homotopy operator on a star-shaped region centered at a desired equilibrium point that decomposes the system into an exact part and an anti-exact one. Integrating the exact one-form, we obtain a locally-defined dissipative potential that is used to generate the damping feedback controller. Applying the same decomposition approach on the entire control affine system under damping feedback, we compute a control Lyapunov function for the closed-loop system. Under Jurdjevic–Quinn conditions, it is shown that the obtained damping feedback is locally stabilizing the system to the desired equilibrium point provided that it is the maximal invariant set for the controlled dynamics. The technique is also applied to construct damping feedback controllers for the stabilization of periodic orbits. Examples are presented to illustrate the proposed method.     

Asymptotic stabilization with locally semiconcave control Lyapunov functions on general manifolds

Asymptotic stabilization on noncontractible manifolds is a difficult control problem. If a configuration space is not a contractible manifold, we need to design a time-varying or discontinuous state feedback control for asymptotic stabilization at the desired equilibrium.