不确定离散时间系统积分滑模保性能控制

针对不确定离散时间系统,研究其积分滑模（ＩＳＭ）保性能控制的设计问题．将最优保性能积分滑模面设计问题,转化为一个具有线性矩阵不等式（ＬＭＩ）约束的目标函数凸优化问题,给出了最优保性能积分滑模面存在的充分条件,并结合干扰估计器设计相应的保性能控制器．与传统滑模控制相比较,积分滑模保性能控制系统具有全阶滑动模态,系统的鲁棒性得到加强,消除了控制抖振和稳态抖振．仿真结果验证了该方法的有效性．     

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.     

Anti-windup control design for exponentially unstable LTI systems with actuator saturation

In this paper, a new saturation control technique in the framework of anti-windup compensation is developed for exponentially unstable linear time-invariant systems subject to input nonlinearities. The proposed control algorithm guarantees regional stability in the existence of input saturation, and provides less conservative performance than most existing anti-windup schemes. Moreover, an explicit form of anti-windup controller with its order no more than the order of the plant is derived. An inverted pendulum example is used to demonstrate the advantages of the newly proposed anti-windup control technique.     

The anti-windup problem for discrete-time linear systems: Definition and solutions

The anti-windup problem for discrete-time linear systems is formalized in terms of the l₂ norm of the deviation of the actual response of the system with saturation and anti-windup compensation from the (ideal) unconstrained response. We show that, paralleling continuous-time results [A.R. Teel, N. Kapoor, The anti-windup problem: its definition and solution, in: Proceedings of the 4th ECC, Brussels, Belgium, July 1997], the problem is globally solvable if and only if the plant is non-exponentially unstable and it is robustly globally solvable if and only if the plant is exponentially stable. We provide a constructive solution whenever the problem is solvable. Also offered is a high-performance global solution for exponentially stable plants based on receding horizon control. Illustrative simulations are included.     

Observer design for discrete-time systems subject to time-delay nonlinearities

In this paper, we address the problem of designing nonlinear observers for dynamical discrete-time systems with both constant and time-varying delay nonlinearities. The nonlinear system is assumed to verify the usual Lipschitz condition that permits us to transform the nonlinear system into a linear time-delay system with structured uncertainties. The existence of the observer-gain is ensured by the solution of a one linear matrix inequality. An illustrative example is included to demonstrate the advantage of the proposed observation technique.     

Periodically time-varying memory state-feedback controller synthesis for discrete-time linear systems

In this paper, we deal with discrete-time linear periodic/time-invariant systems with polytopic-type uncertainties and propose a new linear matrix inequality (LMI)-based method for robust state-feedback controller synthesis. In stark contrast with existing approaches that are confined to memoryless static controller synthesis, we explore dynamical controller synthesis and reveal a particular periodically time-varying memory state-feedback controller (PTVMSFC) structure that allows LMI-based synthesis. In the context of robust controller synthesis, we prove rigorously that the proposed design method encompasses the well-known extended-LMI-based static controller synthesis methods as particular cases. Through numerical experiments, we demonstrate that the suggested design method is indeed effective in achieving less conservative results, under both periodic and time-invariant settings. We finally derive a viable test to verify that the designed robust PTVMSFC is “exact” in the sense that it attains the best achievable robust performance. This exactness verification test works fine in practice, and we will show via a numerical example that exact robust control is indeed attained by designing PTVMSFCs, even for such a problem where the standard memoryless static state-feedback fails.     

Input-output-to-state stability for discrete-time systems

This paper presents Lyapunov characterizations of uniform output-to-state stability and uniform input-output-to-state stability (IOSS) (with respect to disturbances) for discrete-time (DT) nonlinear systems. We show the equivalence of the following three properties for DT systems: uniform IOSS, existence of a smooth Lyapunov function for uniform IOSS, and existence of a (state-)norm estimator. This equivalence result is a DT counterpart of Krichman et al. [2001. Input-output-to-state stability. SIAM Journal on Control and Optimization 39, 1874-1928. Theorem 2.4] and a generalization of Jiang and Wang [2002. A converse Lyapunov theorem for discrete-time systems with disturbances. Systems and Control Letters 45, 49-58. Theorem 1.1] and Jiand and Wang [2001. Input-to-state stability for discrete-time nonlinear systems. Automatica 37, 857-869. Theorem 1, 1⇔4].     

Decentralized observers with consensus filters for distributed discrete-time linear systems

This paper presents a decentralized observer with a consensus filter for the state observation of discrete-time linear distributed systems. Each agent in the distributed system has an observer with a model of the plant that utilizes the set of locally available measurements, which may not make the full plant state detectable. This lack of detectability is overcome by utilizing a consensus filter that blends the state estimate of each agent with its neighbors’ estimates. It is proven that the state estimates of the proposed observer exponentially converge to the actual plant states under arbitrarily changing, but connected, communication and pseudo-connected sensing graph topologies. Except these connectivity properties, full knowledge of the sensing and communication graphs is not needed at the design time. As a byproduct, we obtained a result on the location of eigenvalues, i.e., the spectrum, of the Laplacian for a family of graphs with self-loops.     

H2 guaranteed cost fuzzy control design for discrete-time nonlinear systems with parameter uncertainty

This paper presents a design method of H₂ guaranteed cost (GC) fuzzy controllers for discrete-time nonlinear systems with parameter uncertainties. The Takagi and Sugeno (T-S) fuzzy model with parameter uncertainties is employed to represent an uncertain discrete-time nonlinear system. A sufficient condition for the existence of H₂ GC fuzzy controllers is presented in terms of linear matrix inequalities (LMIs). The resulting fuzzy controllers not only guarantee that the closed-loop fuzzy system is quadratically stable, but also provide a guaranteed cost on the H₂ performance index. Furthermore, an optimal H₂ GC fuzzy controller in the sense of minimizing a bound on the guaranteed cost is provided by means of an LMI optimization procedure. Finally, it is also demonstrated, through numerical simulations on the backing up control of a truck-trailer, that the proposed design method is effective.     

Robust H∞ control for discrete-time polytopic uncertain systems with linear fractional vertices

The robust H∞ control problem for discrete-time uncertain systems is investigated in this paper. The uncertain systems are modelled as a polytopic type with linear fractional uncertainty in the vertices. A new linear matrix inequality (LMI) characterization of the H∞ performance for discrete systems is given by introducing a matrix slack variable which decouples the matrix of a Lyapunov function candidate and the parametric matrices of the system. This feature enables one to derive sufficient conditions for discrete uncertain systems by using parameter-dependent Lyapunov functions with less conservativeness. Based on the result, H∞ performance analysis and controller design are carried out. A numerical example is included to demonstrate the effectiveness of the proposed results.     

Robust stabilization and guaranteed cost control for discrete-time linear systems by static output feedback

This paper proposes a systematic approach for the static output feedback control design for discrete-time uncertain linear systems. It is shown that if the open-loop system satisfies some particular structural conditions and the uncertainty has a specific structure, a static output feedback gain can be calculated easily, using a formula only involving the original system matrices. Among the conditions the system has to satisfy, the strongest one relies on a minimum phase argument. Square and nonsquare systems are considered. The performance problem through a quadratic criterion is also discussed (guaranteed cost control).     

Robust static output feedback control for linear discrete-time systems with time-varying uncertainties

This paper is concerned with the problem of designing robust static output feedback controllers for linear discrete-time systems with time-varying polytopic uncertainties. Sufficient conditions for robust static output feedback stabilizing controller designs are given in terms of solutions to a set of linear matrix inequalities, and the results are extended to H₂ and H_∞ static output feedback controller designs. Numerical examples are given to illustrate the effectiveness of the proposed design methods.     

A second-order maximum principle for discrete-time bilinear control systems with applications to discrete-time linear switched systems

A powerful approach for analyzing the stability of continuous-time switched systems is based on using optimal control theory to characterize the “most unstable” switching law. This reduces the problem of determining stability under arbitrary switching to analyzing stability for the specific “most unstable” switching law. For discrete-time switched systems, the variational approach received considerably less attention. This approach is based on using a first-order necessary optimality condition in the form of a maximum principle (MP), and typically this is not enough to completely characterize the “most unstable” switching law. In this paper, we provide a simple and self-contained derivation of a second-order necessary optimality condition for discrete-time bilinear control systems. This provides new information that cannot be derived using the first-order MP. We demonstrate several applications of this second-order MP to the stability analysis of discrete-time linear switched systems.     

Finite-time control of discrete-time linear systems: Analysis and design conditions

In this paper we deal with some finite-time control problems for discrete-time, time-varying linear systems. First we provide necessary and sufficient conditions for finite-time stability; these conditions require either the computation of the state transition matrix of the system or the solution of a certain difference Lyapunov inequality. Then we address the design problem. The proposed conditions allow us to find output feedback controllers which stabilize the closed loop system in the finite-time sense; all these conditions can be expressed in terms of LMIs and therefore are numerically tractable, as shown in the example included in the paper.     

A new LMI condition for robust stability of discrete-time uncertain systems

In this paper, a new robust stability condition is derived for uncertain discrete-time linear systems with convex polytopic uncertainties. The condition is expressed in terms of a set of linear matrix inequalities (LMIs) involving only the vertices of the polytope domain. It enables us to determine robust stability of uncertain systems easily by solving some LMIs. A rigorous proof is given to show that an interesting result appeared recently is a special case of the proposed condition. Numerical examples also demonstrate the merit of the present condition in the aspect of conservativeness over other results in the literature.     

Time-varying discrete-time linear systems with bounded rates of variation: Stability analysis and control design

This paper investigates the problems of robust stability analysis and state feedback control design for discrete-time linear systems with time-varying parameters. It is assumed that the time-varying parameters lie inside a polytopic domain and have known bounds on their rate of variation. A convex model is proposed to represent the parameters and their variations as a polytope and linear matrix inequality relaxations that take into account the bounds on the rates of parameter variations are proposed. A feasible solution provides a parameter-dependent Lyapunov function with polynomial dependence on the parameters assuring the robust stability of this class of systems. Extensions to deal with robust control design as well as gain-scheduling by state feedback are also provided in terms of linear matrix inequalities. Numerical examples illustrate the results.     

Stochastic linear quadratic regulation for discrete-time linear systems with input delay

This paper considers the stochastic LQR problem for systems with input delay and stochastic parameter uncertainties in the state and input matrices. The problem is known to be difficult due to the presence of interactions among the delayed input channels and the stochastic parameter uncertainties in the channels. The key to our approach is to convert the LQR control problem into an optimization one in a Hilbert space for an associated backward stochastic model and then obtain the optimal solution to the stochastic LQR problem by exploiting the dynamic programming approach. Our solution is given in terms of two generalized Riccati difference equations (RDEs) of the same dimension as that of the plant.