Feedback stabilization for a class of discontinuous systems driven by integrator

This paper investigates the feedback stabilization problem for a class of discontinuous systems which is characterized by Filippov differential inclusion. Lyapunov-based backstepping design method is generalized with nonsmooth Lyapunov functions to solve the control problem. A set-valued time derivative is introduced first for nonsmooth function along discontinuous vector fields, which enables us to perform Lyapunov-based design with nondifferentiable Lyapunov function. Conditions for designing a virtual control law which is shown nondifferentiable in general in the recursive design problem are proposed. Finally, as a special case, piecewise linear system is discussed to demonstrate the application of the presented design approach.     

Passivity Analysis and Passification of Discrete-Time Hybrid Systems

For discrete-time hybrid systems in piecewise affine or piece-wise polynomial (PWP) form, this note proposes sufficient passivity analysis and synthesis criteria based on the computation of piecewise quadratic or PWP storage functions. By exploiting linear matrix inequality techniques and sum of squares decomposition methods, passivity analysis and synthesis of passifying controllers can be carried out through standard semidefinite programming packages, providing a tool particularly important for stability of interconnected heterogeneous dynamical systems.     

Tracking and synchronisation for a class of PWA systems

In this paper, the tracking problem for a class of discontinuous piecewise affine (PWA) systems is addressed. We propose an observer-based output-feedback control design, consisting of a feedforward, a piecewise affine feedback law and a model-based observer, solving the tracking problem. These synthesis results can also be employed to tackle the master-slave synchronisation problem for PWA systems. It is shown that for certain classes of PWA systems the design is characterised in terms of linear matrix inequalities. The results are illustrated by application to mechanical systems with discontinuous friction characteristics.     

A duality-based convex optimization approach to L2 -gain control of piecewise affine slab differential inclusions

This paper introduces the dual parameter set of a piecewise affine (PWA) system. This is a key concept to enable a convex formulation of PWA controller synthesis for PWA slab differential inclusions using a new convex relaxation. Another important contribution of the paper is to present PWA L₂-gain analysis and synthesis results for PWA systems whose output is also a PWA function of the state (as opposed to a piecewise-linear (PWL) function). Unlike other results existing in the literature, the sufficient LMI conditions in this paper are valid for synthesis, even when the PWA systems include sliding modes. A numerical example with sliding modes illustrates the new approach.     

Stability and stabilization of piecewise‐affine slab systems subject to Wiener process noise

The main contribution of this paper is to propose a convex formulation of sufficient conditions for both stability analysis and synthesis of stabilizing controllers for stochastic piecewise affine (PWA) systems with multiplicative noise. One of the main difficulties in PWA systems is the fact that the affine terms in the dynamics make it extremely difficult to formulate the synthesis problem as a convex optimization or even convex feasibility program. The presence of multiplicative noise modeled as a Wiener process adds an additional level of difficulty to the analysis and synthesis procedures. Sufficient conditions for stability of stochastic PWA slab systems in the mean square sense are developed first using a stochastic globally quadratic Lyapunov function. Second, PWA state feedback controllers are designed such that the closed‐loop system is stochastically exponentially mean square stable. The conditions for both stability and stabilization are formulated as LMIs, which can then be solved efficiently using currently available software packages. A numerical example shows the effectiveness of the approach. Copyright © 2013 John Wiley & Sons, Ltd.     

Piecewise-affine state feedback for piecewise-affine slab systems using convex optimization

This paper shows that Lyapunov-based state feedback controller synthesis for piecewise-affine (PWA) slab systems can be cast as an optimization problem subject to a set of linear matrix inequalities (LMIs) analytically parameterized by a vector. Furthermore, it is shown that continuity of the control inputs at the switchings can be guaranteed by adding equality constraints to the problem without affecting its parameterization structure. Finally, it is shown that piecewise-affine state feedback controller synthesis for piecewise-affine slab systems to maximize the decay rate of a quadratic control Lyapunov function can be cast as a set of quasi-concave optimization problems analytically parameterized by a vector. Before casting the synthesis in the format presented in this paper, Lyapunov-based piecewise-affine state feedback controller synthesis could only be formulated as a bi-convex optimization program, which is very expensive to solve globally. Thus, the fundamental importance of the contributions of the paper relies on the fact that, for the first time, the piecewise-affine state feedback synthesis problem has been formulated as a convex problem with a parameterized set of LMIs that can be relaxed to a finite set of LMIs and solved efficiently to a point near the global optimum using available software. Furthermore, it is shown for the first time that, in some situations, the global can be exactly found by solving only one concave problem.     

Nonlinear H ∞ output feedback control with integrator for polynomial discrete‐time systems

This paper investigates the problem of designing a nonlinear H _∞ output feedback controller for a class of polynomial discrete‐time systems. In general, this problem is hard to be formulated in a convex form because the relation between the control input and the Lyapunov function is always not jointly convex. Therefore, the problem cannot be solved via semidefinite programming (SDP). On the basis of the sum of squares (SOS) approach and incorporation of an integrator into the controller, sufficient conditions for the existence of a nonlinear H _∞ output feedback controller are given in terms of SOS conditions, which can be solved by an SDP solver. In contrast to the existing methods, a less conservative result is obtained. Finally, numerical examples are used to demonstrate the validity of this integrator approach. Copyright © 2013 John Wiley & Sons, Ltd.     

Markov跳跃非线性系统逆最优增益设计

证明了一类严格反馈Markov跳跃系统是依概率输入–状态可稳定的.其次,证明了逆最优增益设计问题可解的一个充分条件是存在一组满足小控制量的依概率输入–状态稳定控制李雅普诺夫函数.最后,利用积分反推方法,给出了严格反馈Markov跳跃系统逆最优增益设计问题的一个构造性解.其中,为了克服由于Markov跳跃引起的耦合项所带来的困难,所设计的李雅普诺夫函数以及控制器是与模态无关的.     

A unified dissipativity approach for stability analysis of piecewise smooth systems

The main objective of this paper is to present a unified dissipativity approach for stability analysis of piecewise smooth (PWS) systems with continuous and discontinuous vector fields. The Filippov definition is considered for the solution of these systems. Using the concept of generalized gradients for nonsmooth functions, sufficient conditions for the stability of a PWS system are formulated based on Lyapunov theory. The importance of the proposed approach is that it does not need any a-priori information about attractive sliding modes on switching surfaces, which is in general difficult to obtain. A section on application of the main results to piecewise affine (PWA) systems followed by a section with extensive examples clearly show the usefulness of the proposed unified methodology. In particular, we present an example with a stable sliding mode where the proposed method works and previously suggested methods fail.     

On convergence properties of piecewise affine systems

In this paper convergence properties of piecewise affine (PWA) systems are studied. In general, a system is called convergent if all its solutions converge to some bounded globally asymptotically stable steady-state solution. The notions of exponential, uniform and quadratic convergence are introduced and studied. It is shown that for non-linear systems with discontinuous right-hand sides, quadratic convergence, i.e., convergence with a quadratic Lyapunov function, implies exponential convergence. For PWA systems with continuous right-hand sides it is shown that quadratic convergence is equivalent to the existence of a common quadratic Lyapunov function for the linear parts of the system dynamics in every mode. For discontinuous bimodal PWA systems it is proved that quadratic convergence is equivalent to the requirements that the system has some special structure and that certain passivity-like condition is satisfied. For a general multimodal PWA system these conditions become sufficient for quadratic convergence. An example illustrating the application of the obtained results to a mechanical system with a one-sided restoring characteristic, which is equivalent to an electric circuit with a switching capacitor, is provided. The obtained results facilitate bifurcation analysis of PWA systems excited by periodic inputs, substantiate numerical methods for computing the corresponding periodic responses and help in controller design for PWA systems.     

Control design for discrete‐time bilinear systems using the scalarized Schur complement

In this paper, controller design for discrete‐time bilinear systems is investigated by using sum of squares programming methods and quadratic Lyapunov functions. The class of rational polynomial controllers is considered, and necessary conditions on the degree of controller polynomials for quadratic stability are derived. Next, a scalarized version of the Schur complement is proposed. For controller design, the Lyapunov difference inequality is converted to a sum of squares problem, and an optimization problem is proposed to design a controller, which maximizes the region of quadratic stability of the bilinear system. Input constraints can also be accounted for. Copyright © 2017 John Wiley & Sons, Ltd.     

基于观测器的受扰多项式系统H∞输出跟踪控制

考虑一类受到外部扰动影响的多项式系统在状态不完全可测情况下的H_∞输出跟踪控制问题.首先,综合前馈-反馈复合控制思想,设计基于观测器的输出跟踪控制器,其中反馈镇定控制器用于保证闭环系统稳定,前馈补偿控制器用以实现对参考模型输出信号的跟踪;然后,提出具有输出反馈结构的跟踪控制方法,其优势在于实现了分离原则,可单独设计观测器和控制器,降低计算复杂度;接着,利用依赖全状态的齐次多项式Lyapunov函数导出使得闭环系统渐近稳定且满足H_∞跟踪性能的充分条件,借助多项式平方和凸优化技术可直接求得相应的观测器和控制器;最后,通过数值仿真实例验证所提出设计方法的有效性和优越性.     

Output feedback optimal guaranteed cost control of uncertain piecewise linear systems

This paper proposes the output feedback optimal guaranteed cost controller design method for uncertain piecewise linear systems based on the piecewise quadratic Lyapunov functions technique. By constructing piecewise quadratic Lyapunov functions for the closed‐loop augmented systems, the existence of the guaranteed cost controller for closed‐loop uncertain piecewise linear systems is cast as the feasibility of a set of bilinear matrix inequalities (BMIs). Some of the variables in BMIs are set to be searched by genetic algorithm (GA), then for a given chromosome corresponding to the variables in BMIs, the BMIs turn to be linear matrix inequalities (LMIs), and the corresponding non‐convex optimization problem, which minimizes the upper bound on cost function, reduces to a semidefinite programming (SDP) which is convex and can be solved numerically efficiently with the available software. Thus, the output feedback optimal guaranteed cost controller can be obtained by solving the non‐convex optimization problem using the mixed algorithm that combines GA and SDP. Numerical examples show the effectiveness of the proposed method. Copyright © 2008 John Wiley & Sons, Ltd.     

Lyapunov-based exact stability analysis and synthesis for linear single-parameter dependent systems

We propose a class of polynomially parameter-dependent quadratic (PPDQ) Lyapunov functions for assessing the stability of single-parameter-dependent linear, time-invariant, (s-PDLTI) systems in a non-conservative manner. It is shown that the stability of s-PDLTI systems is equivalent to the existence of a PPDQ Lyapunov function. A bound on the degree of the polynomial dependence of the Lyapunov function in the system parameter is given explicitly. The resulting stability conditions are expressed in terms of a set of matrix inequalities whose feasibility over a compact and connected set can be cast as a convex, finite-dimensional optimisation problem. Extensions of the approach to state-feedback controller synthesis are also provided.     

PWL and PWA ℋ ∞ controller synthesis for uncertain PWA slab systems: LMI approach

This article presents new piecewise-affine (PWA) and piecewise-linear (PWL) ?_∞ controller synthesis methods for uncertain PWA slab systems. The synthesis problems are formulated as convex programs subject to a set of Linear Matrix Inequalities (LMIs), which can then be solved efficiently using available software. No other synthesis methods available in the literature can design a PWA controller for an uncertain PWA system using convex optimisation without constraining the controller gain matrix. Therefore this is the main contribution of the article. The proposed controller synthesis methodologies are applied to a circuit example.     

一类多项式非线性系统鲁棒H∞控制

针对一类具有多项式向量场的仿射型不确定非线性系统,给出一种基于多项式平方和(sum of squares,SOS)技术的鲁棒H∞状态反馈控制器设计方法.该方法的优点在于控制器的设计避开了直接求解复杂的哈密尔顿-雅可比不等式(Hamilton Jacobi inequality,HJI)和构造Lyapunov函数带来的困难.将鲁棒稳定性分析和控制器设计问题转化为求解以Lyapunov函数为参数的矩阵不等式,该类不等式可利用SOS技术直接求解.此外,在前文基础上研究了基于SOS规划理论与S-procedure技术的局部稳定鲁棒H∞控制器设计方法.最后以非线性质量弹簧阻尼系统作为仿真算例验证该方法的有效性.     

Backstepping for nonsmooth systems

The paper presents a constructive control design for integrator backstepping in nonsmooth systems. The approach is based on non smooth analysis and Lyapunov stability for nonsmooth systems and is similar in spirit with the robust control designs that have appeared in literature, but is applicable to a larger class of systems. The backstepping controller is first applied to the case of a unicycle driven by a new discontinuous kinematic controller yielding global asymptotic convergence with bounded inputs. Then it is used to implement a sliding mode controller in a hybrid system. Simulations results not only verify the convergence properties but also reveal the ability of the new backstepping controller to suppress chattering.     

Output feedback controller design for uncertain piecewise linear systems

This paper proposes output feedback controller design methods for uncertain piecewise linear systems based on piecewise quadratic Lyapunov function. The α-stability of closed-loop systems is also considered. It is shown that the output feedback controller design procedure of uncertain piecewise linear systems with α-stability constraint can be cast as solving a set of bilinear matrix inequalities （BMIs）. The BMIs problem in this paper can be solved iteratively as a set of two convex optimization problems involving linear matrix inequalities （LMIs） which can be solved numerically efficiently. A numerical example shows the effectiveness of the proposed methods.     

Inf–sup control of discontinuous piecewise affine systems

This paper considers the worst‐case optimal control of discontinuous piecewise affine (PWA) systems, which are subjected to constraints and disturbances. We seek to pre‐compute, via dynamic programming, an explicit control law for these systems when a PWA cost function is utilized. One difficulty with this problem class is that, even for initial states for which the value function of the optimal control problem is finite, there might not exist a control law that attains the infimum. Hence, we propose a method that is guaranteed to obtain a sub‐optimal solution, and where the degree of sub‐optimality can be specified a priori. This is achieved by approximating the underlying sub‐problems with a parametric piecewise linear program. Copyright © 2008 John Wiley & Sons, Ltd.