Stability analysis for discrete linear systems with state saturation by a saturation-dependent Lyapunov functional

This paper concerns the stability analysis problem of discrete linear systems with state saturation using a saturation-dependent Lyapunov functional. We introduce a free matrix characterized by the sum of the absolute value of each elements for each row less than 1, which makes the state with saturation constraint reside in a convex polyhedron. A saturation-dependent Lyapunov functional is then designed to obtain a sufficient condition for such systems to be globally asymptotically stable. Based on this stability criterion, the state feedback control law synthesis problem is also studied. The obtained results are formulated in terms of bilinear matrix inequalities that can be solved by the presented iterative linear matrix ineoualitv algorithm. Two numerical examoles are used to demonstrate the effectiveness of the nronosed method_

Reachability analysis of switched linear discrete singular systems

This paper studies the reachability problem of the switched linear discrete singular （SLDS） systems. Under the condition that all subsystems are regular, the reachability of the SLDS systems is characterized based on a peculiar repeatedly introduced switching sequence. The necessary and sufficient conditions are obtained for the reachability of the SLDS systems.

Iterative learning based fault diagnosis for discrete linear uncertain systems

In order to detect and estimate faults in discrete lin-ear time-varying uncertain systems, the discrete iterative learning strategy is applied in fault diagnosis, and a novel fault detection and estimation algorithm is proposed. And the threshold limited technology is adopted in the proposed algorithm. Within the chosen optimal time region, residual signals are used in the proposed algorithm to correct the introduced virtual faults with iterative learning rules, making the virtual faults close to these occurred in practical systems. And the same method is repeated in the rest optimal time regions, thereby reaching the aim of fault diagnosis. The proposed algorithm not only completes fault detection and estimation for discrete linear time-varying uncertain systems, but also improves the reliability of fault detection and decreases the false alarm rate. The final simulation results verify the validity of the proposed algorithm.

Fault detection filter design for linear discrete time-varying systems with multiplicative noise

The problem of fault detection for linear discrete timevarying systems with multiplicative noise is dealt with.By using an observer-based robust fault detection filter（FDF） as a residual generator,the design of the FDF is formulated in the framework of H ∞ filtering for a class of stochastic time-varying systems.A sufficient condition for the existence of the FDF is derived in terms of a Riccati equation.The determination of the parameter matrices of the filter is converted into a quadratic optimization problem,and an analytical solution of the parameter matrices is obtained by solving the Riccati equation.Numerical examples are given to illustrate the effectiveness of the proposed method.

On necessity proof of strict bounded real lemma for generalized linear systems with finite discrete jumps

Some preliminary results on strict bounded real lemma for time-varying continuous linear systems are proposed, where uncertainty in initial conditions, terminal cost and extreme of the cost function are dealt with explicitly. Based on these results, a new recursive approach is proposed in the necessity proof of strict bounded real lemma for generalized linear system with finite discrete jumps.

Scheme of optimal fault detection for linear discrete time-varying systems with delayed state

This paper deals with the problem of the optimal fault detection (FD) for linear discrete time-varying (LDTV) systems with delayed state and l(2)-norm bounded unknown input. The novelty lies in the designing of an evaluation function for the robust FD. The basic idea is to directly construct an evaluation function by using a weighted l(2)-norm of the measurement output, which achieves an optimal trade-off between the sensitivity to fault and the robustness to l(2)-norm bounded unknown input. To avoid complex computation, a feasible solution is obtained via the recursive computation by applying the orthogonal projection. It is shown that such an evaluation function provides a unified scheme for both the cases of unknown input being l(2)-norm bounded and jointly normal distribution, while a threshold may be chosen based on a priori knowledge of unknown input. A numerical example is given to demonstrate the effectiveness of the proposed method.

Certain Algebraic Test for Analyzing Aperiodic Stability of Two-Dimensional Linear Discrete Systems

This paper addresses the new algebraic test to check the aperiodic stability of two dimensional linear time invariant discrete systems. Initially, the two dimensional characteristics equations are converted into equivalent one-dimensional equation. Further Fuller’s idea is applied on the equivalent one-dimensional characteristics equation. Then using the co-efficient of the characteristics equation, the routh table is formed to ascertain the aperiodic stability of the given two-dimensional linear discrete system. The illustrations were presented to show the applicability of the proposed technique.

A Modified Stability Analysis of Two-Dimensional Linear Time Invariant Discrete Systems within the Unity-Shifted Unit Circle

This paper proposes a method to ascertain the stability of two dimensional linear time invariant discrete system within the shifted unit circle which is represented by the form of characteristic equation. Further an equivalent single dimensional characteristic equation is formed from the two dimensional characteristic equation then the stability formulation in the left half of Z-plane, where the roots of characteristic equation f(Z) = 0 should lie within the shifted unit circle. The coefficient of the unit shifted characteristic equation is suitably arranged in the form of matrix and the inner determinants are evaluated using proposed Jury’s concept. The proposed stability technique is simple and direct. It reduces the computational cost. An illustrative example shows the applicability of the proposed scheme.

Optimal Guaranteed Cost Control via Static Output Feedback for Uncertain Discrete Time Systems

Aim To study the optimal guaranteed cost control problem via static output feedback for uncertain linear discrete time systems with norm bounded parameter uncertainty in both the state and the control input matrices of the state space model. Methods\ An upper bound on a quadratic cost index was found for all admissible parameter uncertainties and minimized by using Lagrange multiplier approach. Results and Conclusion\ Sufficient conditions are given for the existence of a controller guaranteeing the closed loop system quadratic stability and providing an optimized bound. A numerical algorithm for solving the output feedback gain is also presented.

Mixed Gl2／GH2 multi-channel multi-objective control synthesis for discrete time systems

This paper proposes a new approach for multi-objective robust control. The approach extends the standard generalized l2 (Gl2) and generalized H2 (GH2) conditions to a set of new linear matrix inequality (LMI) constraints based on a new stability condition. A technique for variable parameterization is introduced to the multi-objective control problem to preserve the linearity of the synthesis variables. Consequently, the multi-channel multi-objective mixed Gl2/GH2 control problem can be solved less conservatively using computationally tractable algorithms developed in the paper.

Discrete differential evolution algorithm for integer linear bilevel programming problems

A discrete differential evolution algorithm combined with the branch and bound method is developed to solve the integer linear bilevel programming problems, in which both upper level and lower level variables are forced to be integer. An integer coding for upper level variables is adopted, and then a discrete differential evolution algorithm with an improved feasibility-based comparison is developed to directly explore the integer solution at the upper level. For a given upper level integer variable, the lower level integer programming problem is solved by the existing branch and bound algorithm to obtain the optimal integer solution at the lower level. In the same framework of the algorithm, two other constraint handling methods, i.e. the penalty function method and the feasibility-based comparison method are also tested. The experimental results demonstrate that the discrete differential evolution algorithm with different constraint handling methods is effective in finding the global optimal integer solutions, but the improved constraint handling method performs better than two compared constraint handling methods.

Robust impulsive synchronization of linear discrete dynamical networks

This paper aims to study robust impulsive synchronization problem foruncertain linear discrete dynamical network. For the discrete dynamical networks with unknown butbounded linear coupling, by introducing the concept of uniformly positive definite matrix functions,some robust impulsive controllers are designed, which ensure that the state of a discrete dynamicalnetwork globally asymptotically synchronizes with an arbitrarily assigned state of an isolate nodeof the network. This paper also investigates the synchronization problem where the network couplingfunctions are uncertain but bounded nonlinear functions. Finally, two examples are simulated toillustrate our results.

Design of observer-based discrete repetitive-control system based on 2D model

A discrete observer-based repetitive control(RC) design method for a linear system with uncertainties was presented based on two-dimensional(2D) system theory. Firstly, a 2D discrete model was established to describe both the control behavior within a repetition period and the learning process taking place between periods. Next, by converting the designing problem of repetitive controller into one of the feedback gains of reconstructed variables, the stable condition was obtained through linear matrix inequality(LMI) and also the gain coefficient of repetitive system. Numerical simulation shows an exceptional feasibility of this proposal with remarkable robustness and tracking speed.

Model Order Reduction Methods for Discrete Systems via Discrete Pulse Orthogonal Functions

This paper explores model order reduction(MOR)methods for discrete linear and discrete bilinear systems via discrete pulse orthogonal functions(DPOFs).Firstly,the discrete linear systems and the discrete bilinear systems are expanded in the space spanned by DPOFs,and two recurrence formulas for the expansion coefficients of the system’s state variables are obtained.Then,a modified Arnoldi process is applied to both recurrence formulas to construct the orthogonal projection matrices,by which the reduced-order systems are obtained.Theoretical analysis shows that the output variables of the reducedorder systems can match a certain number of the expansion coefficients of the original system’s output variables.Finally,two numerical examples illustrate the feasibility and effectiveness of the proposed methods.

Research Progress on Discretization of Linear Canonical Transform

Linear canonical transformation(LCT)is a generalization of the Fourier transform and fractional Fourier transform.The recent research has shown that the LCT is widely used in signal processing and applied mathematics,and the discretization of the LCT becomes vital for the applic-ations of LCT.Based on the development of discretization LCT,a review of important research progress and current situation is presented,which can help researchers to further understand the discretization of LCT and can promote its engineering application.Meanwhile,the connection among different discretization algorithms and the future research are given.

Output regulation problem for discrete-time linear time-delay systems by output feedback control

In this paper, we study the output regulation problem of discrete linear time-delay systems by output feedback control. We have established some results parallel to those for the output regulation problem of continuous linear time-delay systems.

Robust Fault-tolerant Iterative Learning Control for Discrete Systems via Linear Repetitive Processes Theory

This paper addresses the problem of robust iterative learning control design for a class of uncertain multiple-input multipleoutput discrete linear systems with actuator faults. The stability theory for linear repetitive processes is used to develop formulas for gain matrices design, together with convergent conditions in terms of linear matrix inequalities. An extension to deal with model uncertainty of the polytopic or norm bounded form is also developed and an illustrative example is given.

A High-order Internal Model Based Iterative Learning Control Scheme for Discrete Linear Time-varying Systems

In this paper, an iterative learning control algorithm is proposed for discrete linear time-varying systems to track iterationvarying desired trajectories. A high-order internal model(HOIM) is utilized to describe the variation of desired trajectories in the iteration domain. In the sequel, the HOIM is incorporated into the design of learning gains. The learning convergence in the iteration axis can be guaranteed with rigorous proof. The simulation results with permanent magnet linear motors(PMLM) demonstrate that the proposed HOIM based approach yields good performance and achieves perfect tracking.

A New Method of State Estimation for Singular Discrete-time Stochastic Linear System

Using theory of Bayesian Dynamic Models and Forecasting , this paper mainly deals with the problem on state estimation for singular discrete time stochastic linear system. And a new method of state estimation linear Bayes estimation (LBE for short) has been proposed.

Necessary exponential stability conditions for linear discrete time-delay systems and application

Necessary conditions for the exponential stability of the linear discrete time-delay systems are presented by employing the so-called Lyapunov–Krasovskii functional approach.These conditions not only provide a new tool for stability analysis of the linear discrete timedelay system by characterising instability domains,but also extend the existing results of the linear discrete time-delay system.Simultaneously,we investigate several crucial properties that connect the Lyapunov matrix and the fundamental matrix of the system.Finally,the robust stability analysis of the linear discrete time-delay systems with norm-bounded uncertainties is presented.Numerical examples illustrate the validity of the obtained results.