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.     

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.     

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

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

Asymptotic stabilization with group-wise sparse input based on control Lyapunov function approach

This study proposes a novel stabilizing controller for nonlinear systems using group-wise sparse inputs. The input variables are divided into several groups. In the situations when the input constraints can be ignored, one input becomes active for each group at each moment. Our method improves energy efficiency, as sparse input vectors often reduce the standby power of inactive actuators. Large-scale systems, such as those consisting of multiple subsystems, often require the manipulation of multiple inputs simultaneously to be controlled. Our method can be applied to such systems due to the group-wise sparsity of the inputs. The proposed controller is based on the control Lyapunov function approach and includes Sontag's universal formula as a special case. The controllers designed in our method have best-effort property, which means even when a restriction for the decreasing rate of the Lyapunov function cannot be fulfilled, the controller minimizes the time derivative of the Lyapunov function within the input constraint. The effectiveness of the proposed method can be confirmed through simulations.     

Homogeneous Lyapunov functions and necessary conditions for stabilization

We provide necessary conditions for the stabilization of nonlinear control systems with the additional requirement that a time-invarianthomogeneous Lyapunov function exists for the closed-loop system.The authors gratefully acknowledge research support from the Belgian Programme on Interuniversity Poles of Attraction, initiated by the Belgian State, Prime Minister's Office for Science, Technology, and Culture, and from the EC-Science Project SC1-0433-C(A). The first author is Charge de recherches F.N.R.S, on leave from CESAME, Université Catholique de Louvain, Belgium. He acknowledges partial support from the following organizations: National Science Foundation under Grant ECS-9203491, Air Force Office of Scientific Research under Grant F-49620-92-J-0495, Belgian American Educational Foundation, and North Atlantic Treaty Organization. The scientific responsibility rests with the authors.     

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.     

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

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

Output feedback control of switched nonlinear systems using multiple Lyapunov functions

This work presents a hybrid nonlinear control methodology for a broad class of switched nonlinear systems with input constraints. The key feature of the proposed methodology is the integrated synthesis, via multiple Lyapunov functions, of “lower-level” bounded nonlinear feedback controllers together with “upper-level” switching laws that orchestrate the transitions between the constituent modes and their respective controllers. Both the state and output feedback control problems are addressed. Under the assumption of availability of full state measurements, a family of bounded nonlinear state feedback controllers are initially designed to enforce asymptotic stability for the individual closed-loop modes and provide an explicit characterization of the corresponding stability region for each mode. A set of switching laws are then designed to track the evolution of the state and orchestrate switching between the stability regions of the constituent modes in a way that guarantees asymptotic stability of the overall switched closed-loop system. When complete state measurements are unavailable, a family of output feedback controllers are synthesized, using a combination of bounded state feedback controllers, high-gain observers and appropriate saturation filters to enforce asymptotic stability for the individual closed-loop modes and provide an explicit characterization of the corresponding output feedback stability regions in terms of the input constraints and the observer gain. A different set of switching rules, based on the evolution of the state estimates generated by the observers, is designed to orchestrate stabilizing transitions between the output feedback stability regions of the constituent modes. The differences between the state and output feedback switching strategies, and their implications for the switching logic, are discussed and a chemical process example is used to demonstrate the proposed approach.     

Topological necessary conditions of smooth stabilization in the large

Topological necessary conditions of smooth stabilization in the large are obtained. In particular, if a smooth single-input nonlinear system is smoothly stabilizable in the large at some point of a connected component of an equilibrium set, then the connected component is an unbounded curve.     

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.     

Simultaneous stabilization for a collection of nonlinear control systems in canonical form

A controller design method is provided to simultaneously stabilize a collection of nonlinear control systems in canonical form. It is shown that, under a mild assumption, any collection of nonlinear systems in canonical form can be simultaneously stabilized by one continuous state feedback controller. A constructive universal formula is presented explicitly. An illustrative example is given to demonstrate the validity of the method. Copyright © 2009 John Wiley and Sons Asia Pte Ltd and Chinese Automatic Control Society     

Optimal controllers and output feedback stabilization

In this paper the output feedback stabilizability problem is explored in terms of control Lyapunov functions. Sufficient conditions for stabilization are provided for a certain class of systems by means of output feedback stabilizers that can be obtained from an optimization problem. Our main results extends those developed in [31] and generalize a theorem due to Sontag [23].     

A unifying point of view on output feedback designs for global asymptotic stabilization

The design of output feedback for ensuring global asymptotic stability is a difficult task which has attracted the attention of many researchers with very different approaches. We propose a unifying point of view aiming at covering most of these contributions.We start with a necessary condition on the structure of the Lyapunov functions for the closed loop system. This motivates the distinction of two classes of designs:-the direct approach, also called control error model analysis, in which the attention is focused on directly estimating a stabilizer, and-the indirect approach, also called dynamic error model analysis, in which the stabilization task is fulfilled for an estimated model of the system and not directly for the system itself.We show how most available results on this topic can be reinterpreted along these lines.     

同时镇定一族带有不确定参数的多输入非线性系统

Simultaneous stabilization for a collection of multi-input nonlinear systems with uncertain parameters is dealt with in this paper. A systematic method for obtaining a control Lyapunov function (CLF) is presented by solving the Lyapunov equation. A sufficient condition that a quadratic CLF is a common CLF for these systems is acquired. A continuous state feedback is designed to simultaneously stabilize these systems. Finally, the effectiveness of the proposed scheme is illustrated by a simulation example.     

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.     

Asymptotic stabilization of the bilinear time-invariant system via piecewise-constant feedback

Sufficient conditions for the asymptotic stabilization in a preassigned domain of the nonhomogeneous bilinear system (BLS) via piecewise-constant feedback are given, based on those for an auxillary BLS with additional control in the drift term. Application to the swing equation is also discussed.     

一类不确定切换系统的鲁棒状态反馈镇定

研究了一类扰动项不满足匹配条件的不确定切换系统的鲁棒镇定问题.在每个子系统均不能镇定的情况下,利用完备性条件和多李雅普诺夫函数方法,分别得到了不确定切换系统可镇定的充分条件.状态矩阵和控制输入矩阵同时带有时变、未知且有界的不确定性,基于凸组合技术和LMI方法,设计出鲁棒状态反馈控制器及相应的切换策略,使得闭环系统在其平衡点处是渐近稳定的.最后仿真结果表明所设计的控制器及切换策略的正确有效性.     

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.     

一类非线性系统控制Lyapunov函数的构造

The construction of control Lyapunov functions for a class of nonlinear systems is considered. We develop a method by which a control Lyapunov function for the feedback linearizable part can be constructed systematically via Lyapunov equation. Moreover, by a control Lyapunov function of the feedback linearizable part and a Lyapunov function of the zero dynamics, a control Lyapunov function for the overall nonlinear system is established.