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.

Noise-Tolerant ZNN-Based Data-Driven Iterative Learning Control for Discrete Nonaffine Nonlinear MIMO Repetitive Systems

Aiming at the tracking problem of a class of discrete nonaffine nonlinear multi-input multi-output(MIMO) repetitive systems subjected to separable and nonseparable disturbances, a novel data-driven iterative learning control(ILC) scheme based on the zeroing neural networks(ZNNs) is proposed. First, the equivalent dynamic linearization data model is obtained by means of dynamic linearization technology, which exists theoretically in the iteration domain. Then, the iterative extended state observer(IESO) is developed to estimate the disturbance and the coupling between systems, and the decoupled dynamic linearization model is obtained for the purpose of controller synthesis. To solve the zero-seeking tracking problem with inherent tolerance of noise,an ILC based on noise-tolerant modified ZNN is proposed. The strict assumptions imposed on the initialization conditions of each iteration in the existing ILC methods can be absolutely removed with our method. In addition, theoretical analysis indicates that the modified ZNN can converge to the exact solution of the zero-seeking tracking problem. Finally, a generalized example and an application-oriented example are presented to verify the effectiveness and superiority of the proposed process.

Impulsive Predator-Prey Dynamic Systems with Beddington-DeAngelis Type Functional Response on the Unification of Discrete and Continuous Systems

In this study, the impulsive predator-prey dynamic systems on time scales calculus are studied. When the system has periodic solution is investigated, and three different conditions have been found, which are necessary for the periodic solution of the predator-prey dynamic systems with Beddington-DeAngelis type functional response. For this study the main tools are time scales calculus and coincidence degree theory. Also the findings are beneficial for continuous case, discrete case and the unification of both these cases. Additionally, unification of continuous and discrete case is a good example for the modeling of the life cycle of insects.

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.

NECESSARY AND SUFFICIENT CONDITIONS FOR QUADRATIC STABILITY OF UNCERTAIN DISCRETE TIME SYSTEMS

The robust stability analysis of discrete time systems with fast time varying uncertainties is considered in this paper. The necessary and sufficient conditions for quadratic stability are presented. Moreover, the stability robustness index is introduced as the measurement of the stability robustness. For the systems with given uncertain parameter bounds, checking the necessary and sufficient conditions and calculating the stability robust index are converted to solving minimax problems. It is shown that the maximization can be reduced to comparisons between the functional values of the corners when the parameter region is bounded by hyperpolydredon, and any local minimum value in the minimization is exactly the global minimum.

Qualitative Properties of Equilibrium Point in a Discrete Predator-Prey Model

In this paper, the dynamic properties of a discrete predator-prey model are discussed. The properties of non-hyperbolic fixed points and hyperbolic fixed points of the model are analyzed. First, by using the classic Shengjin formula, we find the existence conditions for fixed points of the model. Then, by using the qualitative theory of ordinary differential equations and matrix theory we indicate which points are hyperbolic and which are non-hyperbolic and the associated conditions.

Discrete variational principle and first integrals for Lagrange-Maxwell mechanico-electrical systems

This paper presents a discrete vaxiational principle and a method to build first-integrals for finite dimensional Lagrange-Maxwell mechanico-electrical systems with nonconservative forces and a dissipation function. The discrete variational principle and the corresponding Euler-Lagrange equations are derived from a discrete action associated to these systems. The first-integrals are obtained by introducing the infinitesimal transformation with respect to the generalized coordinates and electric quantities of the systems. This work also extends discrete Noether symmetries to mechanico-electrical dynamical systems. A practical example is presented to illustrate the results.

Robust Stability and Stabilization of Discrete Singular Systems with Interval Time-varying Delay and Linear Fractional Uncertainty

The robust stability and robust stabilization problems for discrete singular systems with interval time-varying delay and linear fractional uncertainty are discussed. A new delay-dependent criterion is established for the nominal discrete singular delay systems to be regular, causal and stable by employing the linear matrix inequality （LMI） approach. It is shown that the newly proposed criterion can provide less conservative results than some existing ones. Then, with this criterion, the problems of robust stability and robust stabilization for uncertain discrete singular delay systems are solved, and the delay-dependent LMI conditions are obtained. Finally, numerical examples are given to illustrate the effectiveness of the proposed approach.

Iterative Learning Control for Discrete-time Stochastic Systems with Quantized Information

An iterative learning control (ILC) algorithm using quantized error information is given in this paper for both linear and nonlinear discrete-time systems with stochastic noises. A logarithmic quantizer is used to guarantee an adaptive improvement in tracking performance. A decreasing learning gain is introduced into the algorithm to suppress the effects of stochastic noises and quantization errors. The input sequence is proved to converge strictly to the optimal input under the given index. Illustrative simulations are given to verify the theoretical analysis. © 2014 Chinese Association of Automation.

Discrete symmetrical perturbation and variational algorithm of disturbed Lagrangian systems

We investigate the perturbation to discrete conformal invariance and the adiabatic invariants of Lagrangian systems. A variational algorithm is proposed for a system subjected to the perturbation quantities. The discrete determining equations of the perturbations to conformal invariance are established. For perturbed Lagrangian systems, the condition of the existence of adiabatic invariant is derived from the discrete perturbation to conformal invariance. The numerical simulations demonstrate that the variational algorithm has the higher precision and the longer time stability than the standard numerical method.

Stabilization of Discrete-time 2-D T-S Fuzzy Systems Based on New Relaxed Conditions

This paper is concerned with the problem of stabilization of the Roesser type discrete-time nonlinear 2-D system that plays an important role in many practical applications. First, a discrete-time 2-D T-S fuzzy model is proposed to represent the underlying nonlinear 2-D system. Second, new quadratic stabilization conditions are proposed by applying relaxed quadratic stabilization technique for 2-D case. Third, for sake of further reducing conservatism, new non-quadratic stabilization conditions are also proposed by applying a new parameter-dependent Lyapunov function, matrix transformation technique, and relaxed technique for the underlying discrete-time 2-D T-S fuzzy system. Finally, a numerical example is provided to illustrate the effectiveness of the proposed results.

Symmetries and variational calculation of discrete Hamiltonian systems

We present a numerical simulation method of Noether and Lie symmetries for discrete Hamiltonian systems. The Noether and Lie symmetries for the systems are proposed by investigating the invariance properties of discrete Lagrangian in phase space. The numerical calculations of a two-degree-of-freedom nonlinear harmonic oscillator show that the difference discrete variational method preserves the exactness and the invariant quantity.

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.

Stabilization of discrete nonlinear systems based on control Lyapunov functions

The stabilization of discrete nonlinear systems is studied. Based on control Lyapunov functions, a sufficient and necessary condition for a quadratic function to be a control Lyapunov function is given. From this condition, a continuous state feedback law is constructed explicitly. It can globally asymptotically stabilize the equilibrium of the closed-loop system. A simulation example shows the effectiveness of the proposed method.

H_∞ controller synthesis of piecewise discrete time linear systems

This paper presents an H∞ controller design method for piecewise discrete time linear systems based on a piecewise quadratic Lyapunov function. It is shown that the resulting closed loop system is globally stable with guaranteed H∞ performance and the controller can be obtained by solving a set of bilinear matrix inequalities. It has been shown that piecewise quadratic Lyapunov functions are less conservative than the global quadratic Lyapunov functions. A simulation example is also given to illustrate the advantage of the proposed approach.

The Relation between the Stabilization Problem for Discrete Event Systems Modeled with Timed Petri Nets via Lyapunov Methods and Max-Plus Algebra

A discrete event system is a dynamical system whose state evolves in time by the occurrence of events at possibly irregular time intervals. Timed Petri nets are a graphical and mathematical modeling tool applicable to discrete event systems in order to represent its states evolution where the timing at which the state changes is taken into consideration. One of the most important performance issues to be considered in a discrete event system is its stability. Lyapunov theory provides the required tools needed to aboard the stability and stabilization problems for discrete event systems modeled with timed Petri nets whose mathematical model is given in terms of difference equations. By proving stability one guarantees a bound on the discrete event systems state dynamics. When the system is unstable, a sufficient condition to stabilize the system is given. It is shown that it is possible to restrict the discrete event systems state space in such a way that boundedness is achieved. However, the restriction is not numerically precisely known. This inconvenience is overcome by considering a specific recurrence equation, in the max-plus algebra, which is assigned to the timed Petri net graphical model.

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.

Existence and Stability Property of Almost Periodic Solutions in Discrete Almost Periodic Systems

In this paper, we consider an almost periodic system which includes a system of the type , where k is a positive integer, aij are almost periodic in n and satisfy aij(n)≥0 for i≠j,? for 1≤j≤m. In the special case where aij(n) are constant functions, above system is a mathematical model of gas dynamics and was treated by T. Carleman and R. D. Jenks for differential systems. In the main theorem, we show that if the m X m matrix (aij(n)) is irreducible, then there exists a positive almost periodic solution which is unique and has some stability. Moreover, we can see that this result gives R. D. Jenks’ result for differential model in the case where aij(n) are constant functions. In Section 3, we consider the linear system with variable cofficients . Even in nonlinear problems, this linear system plays an important role, as their variational equations, and it is requested to determine the uniform asymptotically stability of the zero solution from the information about A(n). In order to obtain the existence of almost periodic solutions of both linear and nonlinear almost periodic discrete systems: above linear system and? for 1≤i≤m, respectively, we shall consider between certain stability properties, which are referred to as uniformly asymptotically stable, and the diagonal dominance matrix condition.

The discrete variational principle and the first integrals of Birkhoff systems＊

This paper shows that first integrals of discrete equation of motion for Birkhoff systems can be determined explicitly by investigating the invariance properties of the discrete Pfaffian. The result obtained is a discrete analogue of theorem of Noether in the calculus of variations. An example is given to illustrate the application of the results.