Positive-Controllability,Positive-Near-Controllability,and Canonical Forms of Driftless Discrete-Time Bilinear Systems

Controllable canonical forms play important roles in the analysis and design of control systems.In this paper,a fundamental class of discrete-time bilinear systems are considered.Such systems are of interest since,on one hand,they have the most complete controllability theory.On the other hand,they can be nearly-controllable even if controllability fails.Firstly,controllability of the systems with positive control inputs is studied and necessary and sufficient algebraic criteria for positive-controllability and positive-near-controllability are derived.Then,controllable canonical forms and nearly-controllable canonical forms of the systems are presented,respectively,where the corresponding transformation matrices are also explicitly constructed.Examples are given to demonstrate the effectiveness of the derived controllability criteria and controllable canonical forms.

ON NEARLY-CONTROLLABLE SUBSPACES OF A CLASS OF DISCRETE-TIME BILINEAR SYSTEMS

If a linear time-invariant system is uncontrollable,then the state space can be decomposed as a direct sum of a controllable subspace and an uncontrollable subspace.In this paper,for a class of discrete-time bilinear systems which are uncontrollable but can be nearly controllable,by studying the nearly-controllable subspaces and defining the near-controllability index,the controllability properties of the systems are fully characterized.Examples are provided to illustrate the conceptions and results of the paper.

Non-fragile guaranteed cost control of discrete-time fuzzy bilinear system

This paper focuses on the problem of non-fragile guaranteed cost control for a class of T-S discrete-time fuzzy bilinear systems（DFBS）.Based on the parallel distributed compensation（PDC） approach,the sufficient conditions are derived such that the closed-loop system is asymptotically stable and the cost function value is no more than a certain upper bound in the presence of the additive controller gain perturbations.The non-fragile guaranteed cost controller can be obtained by solving a set of bilinear matrix inequalities（BMIs）.The Van de Vusse model is utilized to demonstrate the validity and effectiveness of the proposed approach.

LMI-based robust control of uncertain discrete-time piecewise affine systems

The main contribution of this paper is to present stability synthesis results for discrete-time piecewise affine （PWA） systems with polytopic time-varying uncertainties and for discrete-time PWA systems with norm-bounded uncertainties respectively.The basic idea of the proposed approaches is to construct piecewise-quadratic （PWQ） Lyapunov functions to guarantee the stability of the closed-loop systems.The partition information of the PWA systems is taken into account and each polytopic operating region is outer approximated by an ellipsoid,then sufficient conditions for the robust stabilization are derived and expressed as a set of linear matrix inequalities （LMIs）.Two examples are given to illustrate the proposed theoretical results.

LMI Consensus Condition for Discrete-time Multi-agent Systems

This paper examines a consensus problem in multiagent discrete-time systems, where each agent can exchange information only from its neighbor agents. A decentralized protocol is designed for each agent to steer all agents to the same vector. The design condition is expressed in the form of a linear matrix inequality. Finally, a simulation example is presented and a comparison is made to demonstrate the effectiveness of the developed methodology.

Static output feedback control for discrete-time fuzzy bilinear system

The problem of designing fuzzy static output feedback controller for T-S discrete-time fuzzy bilinear system （DFBS） is presented. Based on parallel distribution compensation method, some sufficient conditions are derived to guarantee the stability of the overall fuzzy system. The stabilization conditions are further formulated into linear matrix inequality （LMI） so that the desired controller can be easily obtained by using the Matlab LMI toolbox. In comparison with the existing results, the drawbacks, such as coordinate transformation, same output matrices, have been elim- inated. Finally, a simulation example shows that the approach is effective.

Approximation law for discrete-time variable structure control systems

Two approximation laws of sliding mode for discrete-time variable structure control systems are proposed to overcome the limitations of the exponential approximation law and the variable rate approximation law. By applying the proposed approximation laws of sliding mode to discrete-time variable structure control systems, the stability of origin can be guaranteed, and the chattering along the switching surface caused by discrete-time variable structure control can be restrained effectively. In designing of approximation laws, the problem that the system control input is restricted is also considered, which is very important in practical systems. Finally a simulation example shows the effectiveness of the two approximation laws proposed.

Stability analysis and stabilization for discrete-time singular delay systems

Stability analysis and stabilization for discrete-time singular delay systems are addressed,respectively.Firstly,a sufficient condition for regularity,causality and stability for discrete-time singular delay systems is derived.Then,by applying the skill of matrix theory,the state feedback controller is designed to guarantee the closed-loop discrete-time singular delay systems to be regular,casual and stable.Finally,numerical examples are given to demonstrate the effectiveness of the proposed method.

Stability Criterion with Less LMI Variables for Linear Discrete-time Systems with Additive Time-delays

In this correspondence paper, an equivalent stability criterion with minimal number of linear matrix inequality （LMI） variables is presented for a delay-dependent stability criterion reported recently in the International Journal of Automation and Computing for a class of linear discrete-time systems with additive time delays. The reported stability criterion for the additive timedelay systems has more number of matrix variables in the LMI and, hence, demand additional computational burden. The proposed equivalent stability criterion, unlike the reported one, does not involve free-weighing matrices and encompass only the matrix variables that are associated in the Lyapunov-Krasovskii functional, making the criterion mathematically less complex and computationally more 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 reliable H_∞ control for discrete-time Markov jump linear systems with actuator failures

The robust reliable H∞ control problem for discrete-time Markovian jump systems with actuator failures is studied. A more practical model of actuator failures than outage is considered. Based on the state feedback method, the resulting closed-loop systems are reliable in that they remain robust stochastically stable and satisfy a certain level of H∞ disturbance attenuation not only when all actuators are operational, but also in case of some actuator failures, The solvability condition of controllers can be equivalent to a feasibility problem of coupled linear matrix inequalities （LMIs）. A numerical example is also given to illustrate the design procedures and their effectiveness.

Leader-following consensus of discrete-time fractional-order multi-agent systems

Leader-following consensus of fractional order multi-agent systems is investigated. The agents are considered as discrete-time fractional order integrators or fractional order double-integrators. Moreover, the interaction between the agents is described with an undirected communication graph with a fixed topology. It is shown that the leader-following consensus problem for the considered agents could be converted to the asymptotic stability analysis of a discrete-time fractional order system. Based on this idea, sufficient conditions to reach the leader-following consensus in terms of the controller parameters are extracted. This leads to an appropriate region in the controller parameters space. Numerical simulations are provided to show the performance of the proposed leader-following consensus approach.

Improved Results on Robust H_∞ Control of Uncertain Discrete-time Systems with Time-varying Delay

In this paper, the robust H∞ control problem for uncertain discrete-time systems with time-varying state delay is con- sidered. Based on the Lyapunov functional method, and by resorting to the new technique for estimating the upper bound of the difference of the Lyapunov functional, a new less conservative sufficient condition for the existence of a robust H∞ controller is obtained. Moreover, the cone complementary linearisation procedure is employed to solve the nonconvex feasibility problem. Finally, several numerical examples are presented to show the effectiveness and less conservativeness of the proposed method.

Reduced-Order Observer-Based Leader-Following Formation Control for Discrete-Time Linear Multi-Agent Systems

Formation control of discrete-time linear multi-agent systems using directed switching topology is considered in this work via a reduced-order observer, in which a formation control protocol is proposed under the assumption that each directed communication topology has a directed spanning tree. By utilizing the relative outputs of neighboring agents, a reduced-order observer is designed for each following agent. A multi-step control algorithm is established based on the Lyapunov method and the modified discrete-time algebraic Riccati equation. A sufficient condition is given to ensure that the discrete-time linear multi-agent system can achieve the expected leader-following formation.Finally, numerical examples are provided so as to demonstrate the effectiveness of the obtained results.

H-infinity measurement-feedback control for discrete-time systems with a single measurement delay

H-infinity control problem for linear discrete-time systems with instantaneous and delayed measurements is studied. A necessary and sufficient condition for the existence of the H-infinity controller is derived by applying reorganized innovation analysis approach in Krein space. The measurement-feedback controller is designed by performing two Riccati equations. The presented approach does not require the state augmentation.

Indirect adaptive fuzzy control for a class of nonlinear discrete-time systems

An indirect adaptive fuzzy control scheme is developed for a class of nonlinear discrete-time systems. In this method, two fuzzy logic systems are used to approximate the unknown functions, and the parameters of membership functions in fuzzy logic systems are adjusted according to adaptive laws for the purpose of controlling the plant to track a reference trajectory. It is proved that the scheme can not only guarantee the boundedness of the input and output of the closed-loop system, but also make the tracking error converge to a small neighborhood of the origin. Simulation results indicate the effectiveness of this scheme.

Adaptive control for a class of discrete-time time-delay systems with regard to delay parameter

The memory state feedback control problem for a class of discrete-time systems with input delay and unknown state delay is addressed based on LMIs and Lyapunov-Krasovskii functional method. Under the action of our designed adaptive control law, the unknown time-delay parameter is included in memory state feedback controller. Using LMI technique, delay-dependent sufficient conditions for the existence of the feedback controller are obtained. Finally, the effectiveness of the proposed design method is demonstrated by a numerical example.

Exponential stability for networked control systems based on the model of nonlinear discrete-time system with time-varying delay

An uncertain nonlinear discrete-time system model with time-varying input delays for networked control systems (NCSs) is presented. The problem of exponential stability for the system is considered and some new criteria of exponential stability are obtained based on norm inequality methods. A numerical example is given todemonstrate that those criteria are useful to analyzing the stability of nonlinear NCSs.

Global Practical Stabilization of Discrete-Time Switched Affine Systems via a General Quadratic Lyapunov Function and a Decentralized Ellipsoid

This paper addresses the problem of global practical stabilization of discrete-time switched affine systems via statedependent switching rules.Several attempts have been made to solve this problem via different types of a common quadratic Lyapunov function and an ellipsoid.These classical results require either the quadratic Lyapunov function or the employed ellipsoid to be of the centralized type.In some cases,the ellipsoids are defined dependently as the level sets of a decentralized Lyapunov function.In this paper,we extend the existing results by the simultaneous use of a general decentralized Lyapunov function and a decentralized ellipsoid parameterized independently.The proposed conditions provide less conservative results than existing works in the sense of the ultimate invariant set of attraction size.Two different approaches are proposed to extract the ultimate invariant set of attraction with a minimum size,i.e.,a purely numerical method and a numerical-analytical one.In the former,both invariant and attractiveness conditions are imposed to extract the final set of matrix inequalities.The latter is established on a principle that the attractiveness of a set implies its invariance.Thus,the stability conditions are derived based on only the attractiveness property as a set of matrix inequalities with a smaller dimension.Illustrative examples are presented to prove the satisfactory operation of the proposed stabilization methods.

Stabilization of a class of discrete-time switched systems via observer-based output feedback

In this paper, observer-based static output feedback control problem for discrete-time uncertain switched systems is investigated under an arbitrary switching rule. The main method used in this note is combining switched Lyapunov function （SLF） method with Finsler＇s Lemma. Based on linear matrix inequality （LMI） a less conservative stability condition is established and this condition allows extra degree of freedom for stability analysis. Finally, a simulation example is given to illustrate the efficiency of the result.