Deterministic and Stochastic Fixed-Time Stability of Discrete-time Autonomous Systems

This paper studies deterministic and stochastic fixedtime stability of autonomous nonlinear discrete-time(DT)systems.Lyapunov conditions are first presented under which the fixed-time stability of deterministic DT systems is certified.Extensions to systems under deterministic perturbations as well as stochastic noise are then considered.For the former,sensitivity to perturbations for fixed-time stable DT systems is analyzed,and it is shown that fixed-time attractiveness results from the presented Lyapunov conditions.For the latter,sufficient Lyapunov conditions for fixed-time stability in probability of nonlinear stochastic DT systems are presented.The fixed upper bound of the settling-time function is derived for both fixed-time stable and fixed-time attractive systems,and a stochastic settling-time function fixed upper bound is derived for stochastic DT systems.Illustrative examples are given along with simulation results to verify the introduced results.

Dynamics in a Discrete-time Predator-prey System with Allee Effect

In this paper, dynamics of the discrete-time predator-prey system with Allee effect are investigated in detail. Conditions of the existence for flip bifurcation and Hopf bifurcation are derived by using the center manifold theorem and bifurcation theory, and then further illustrated by numerical simulations. Chaos in the sense of Marotto is proved by both analytical and numerical methods. Numerical simulations included bifurcation diagrams, Lyapunov exponents, phase portraits, fractal dimensions display new and rich dynamical behavior. More specifically, apart from stable dynamics, this paper presents the finding of chaos in the sense of Marotto together with a host of interesting phenomena connected to it. The analytic results and numerical simulations demostrates that the Allee constant plays a very important role for dynamical behavior. The dynamical behavior can move from complex instable states to stable states as the Allee constant increases （within a limited value）. Combining the existing results in the current literature with the new results reported in this paper, a more complete understanding of the discrete-time predator-prey with Allee effect is given.

Event-Triggered Finite-Time H∞ Filtering for Discrete-Time Nonlinear Stochastic Systems

This paper addresses the problem of event-triggered finite-time H∞ filter design for a class of discrete-time nonlinear stochastic systems with exogenous disturbances. The stochastic Lyapunov-Krasoviskii functional method is adopted to design a filter such that the filtering error system is stochastic finite-time stable (SFTS) and preserves a prescribed performance level according to the pre-defined event-triggered criteria. Based on stochastic differential equations theory, some sufficient conditions for the existence of H∞ filter are obtained for the suggested system by employing linear matrix inequality technique. Finally, the desired H∞ filter gain matrices can be expressed in an explicit form.

THE PERSISTENCE OF SOLUTIONS IN A NONLOCAL PREDATOR-PREY SYSTEM WITH A SHIFTING HABITAT

In this paper,we mainly study the propagation properties of a nonlocal dispersal predator-prey system in a shifting environment.It is known that Choi et al.[J Differ Equ,2021,302:807-853]studied the persistence or extinction of the prey and of the predator separately in various moving frames.In particular,they achieved a complete picture in the local diffusion case.However,the question of the persistence of the prey and of the predator in some intermediate moving frames in the nonlocal diffusion case was left open in Choi et al.'s paper.By using some a prior estimates,the Arzelà-Ascoli theorem and a diagonal extraction process,we can extend and improve the main results of Choi et al.to achieve a complete picture in the nonlocal diffusion case.

Complex Dynamics in a Discrete-time Predator-prey System without Allee Effect

In this paper, complex dynamics of the discrete-time predator-prey system without Allee effect are investigated in detail. Conditions of the existence for flip bifurcation and Hopf bifurcation are derived by using center manifold theorem and bifurcation theory and checked up by numerical simulations. Chaos, in the sense of Marotto, is also proved by both analytical and numerical methods. Numerical simulations included bifurcation diagrams, Lyapunov exponents, phase portraits, fractal dimensions display new and richer dynamics behaviors. More specifically, this paper presents the finding of period-one orbit, period-three orbits, and chaos in the sense of Marotto, complete period-doubling bifurcation and invariant circle leading to chaos with a great abundance period-windows, simultaneous occurrance of two different routes （invariant circle and inverse period- doubling bifurcation, and period-doubling bifurcation and inverse period-doubling bifurcation） to chaos for a given bifurcation parameter, period doubling bifurcation with period-three orbits to chaos, suddenly appearing or disappearing chaos, different kind of interior crisis, nice chaotic attractors, coexisting （2,3,4） chaotic sets, non-attracting chaotic set, and so on, in the discrete-time predator-prey system. Combining the existing results in the current literature with the new results reported in this paper, a more complete understanding is given of the discrete-time predator-prey systems with Allee effect and without Allee effect.

Dynamical Behavior of Discrete Ratio-Dependent Predator-Prey System

In this paper, we propose a discrete ratio-dependent predator-prey system. The stability of the fixed points of this model is studied. At the same time, it is shown that the discrete model undergoes fold bifurcation and flip bifurcation by using bifurcation theory and the method of approximation by a flow. Numerical simulations are presented not only to demonstrate the consistence with our theoretical analyses, but also to exhibit the complex dynamical behaviors, such as the cascade of period-doubling bifurcation in period-2 and the chaotic sets. The Maximum Lyapunov exponents are numerically computed to confirm further the complexity of the dynamical behaviors. These results show that the direct discrete method has more rich dynamic behaviors than the discrete model obtained by Euler method.

Attitude sensor fault diagnosis based on Kalman filter of discrete-time descriptor system

To diagnose the fault of attitude sensors in satellites, this paper proposes a novel approach based on the Kalman filter of the discrete-time descriptor system. By regarding the sensor fault term as the auxiliary state vector, the attitude measurement system subjected to the attitude sensor fault is modeled by the discrete-time descriptor system. The condition of estimability of such systems is given. And then a Kalman filter of the discrete-time descriptor system is established based on the methodology of the maximum likelihood estimation. With the descriptor Kalman filter, the state vector of the original system and sensor fault can be estimated simultaneously. The proposed method is able to esti-mate an abrupt sensor fault as well as the incipient one. Moreover, it is also effective in the multiple faults scenario. Simulations are conducted to confirm the effectiveness of the proposed method.

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.

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.

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.

Variable structure control with sliding mode prediction for discrete-time nonlinear systems

A new variable structure control algorithm based on sliding mode prediction for a class of discrete-time nonlinear systems is presented. By employing a special model to predict future sliding mode value, and combining feedback correction and receding horizon optimization methods which are extensively applied on predictive control strategy, a discrete-time variable structure control law is constructed. The closed-loop systems are proved to have robustness to uncertainties with unspecified boundaries. Numerical simulation and pendulum experiment results illustrate that the closed-loop systems possess desired performance, such as strong robustness, fast convergence and chattering elimination.

Robust stability and H-infinity control for uncertain discrete-time Markovian jump singular systems

The robust stability and stabilization, and H-infinity control problems for discrete-time Markovian jump singular systems with parameter uncertainties are discussed. Based on the restricted system equivalent （r.s.e.） transformation and by introducing new state vectors, the singular system is transformed into a discrete-time Markovian jump standard linear system, and the linear matrix inequality （LMI） conditions for the discrete-time Markovian jump singular systems to be regular, causal, stochastically stable, and stochastically stable with 7- disturbance attenuation are obtained, respectively. With these conditions, the robust state feedback stochastic stabilization problem and H-infinity control problem are solved, and the LMI conditions are obtained. A numerical example illustrates the effectiveness of the method given in the oaoer.

Discrete-time movement model of a group of trains on a rail line with stochastic disturbance

This paper presents a discrete-time model to describe the movements of a group of trains, in which some operational strategies, including traction operation, braking operation and impact of stochastic disturbance, are defined. To show the dynamic characteristics of train traffic flow with stochastic disturbance, some numerical experiments on a railway line are simulated. The computational results show that the discrete-time movement model can well describe the movements of trains on a rail line with the moving-block signalling system. Comparing with the results of no disturbance, it finds that the traffic capacity of the rail line will decrease with the influence of stochastic disturbance. Additionally, the delays incurred by stochastic disturbance can be propagated to the subsequent trains, and then prolong their traversing time on the rail line. It can provide auxiliary information for rescheduling trains When the stochastic disturbance occurs on the railway.

Suboptimal Robust Stabilization of Discrete-time Mismatched Nonlinear System

This paper proposes a discrete-time robust control technique for an uncertain nonlinear system. The uncertainty mainly affects the system dynamics due to mismatched parameter variation which is bounded by a predefined known function. In order to compensate the effect of uncertainty, a robust control input is derived by formulating an equivalent optimal control problem for a virtual nominal system with a modified costfunctional. To derive the stabilizing control law for a mismatched system, this paper introduces another control input named as virtual input. This virtual input is not applied directly to stabilize the uncertain system, rather it is used to define a sufficient condition. To solve the nonlinear optimal control problem, a discretetime general Hamilton-Jacobi-Bellman(DT-GHJB) equation is considered and it is approximated numerically through a neural network(NN) implementation. The approximated solution of DTGHJB is used to compute the suboptimal control input for the virtual system. The suboptimal inputs for the virtual system ensure the asymptotic stability of the closed-loop uncertain system. A numerical example is illustrated with simulation results to prove the efficacy of the proposed control algorithm.

Composite nonlinear feedback control for output regulation problem of linear discrete-time systems with input saturation

Transient performance for output regulation problems of linear discrete-time systems with input saturation is addressed by using the composite nonlinear feedback（CNF） control technique. The regulator is designed to be an additive combination of a linear regulator part and a nonlinear feedback part. The linear regulator part solves the regulation problem independently which produces a quick output response but large oscillations. The nonlinear feedback part with well-tuned parameters is introduced to improve the transient performance by smoothing the oscillatory convergence. It is shown that the introduction of the nonlinear feedback part does not change the solvability conditions of the linear discrete-time output regulation problem. The effectiveness of transient improvement is illustrated by a numeric example.

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.

Robustness Analysis of Discrete-time Indirect Model Reference Adaptive Control with Normalized Adaptive Laws

For a class of discrete-time systems with unmodeled dynamics and bounded disturbance, the design and analysis of robust indirect model reference adaptive control （MRAC） with normalized adaptive law are investigated. The main work includes three parts. Firstly, it is shown that the constructed parameter estimation algorithm not only possesses the same properties as those of traditional estimation algorithms, but also avoids the possibility of division by zero. Secondly, by establishing a relationship between the plant parameter estimate and the controller parameter estimate, some similar properties of the latter are also established. Thirdly, by using the relationship between the normalizing signal and all the signals of the closed-loop system, and some important mathematical tools on discrete-time systems, as in the continuous-time case, a systematic stability and robustness analysis approach to the discrete indirect robust MRAC scheme is developed rigorously.

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.

Decentralized H-infinity state feedback control for discrete-time singular large-scale systems

The decentralized H-infinity control problem for discrete-time singular large-scale systems is considered. Based on the bounded real lemma of discrete-time singular systems, a sufficient condition for the existence of decentralized H-infinity controller for discrete-time singular large-scale systems is presented in terms of the solvability to a certain system of linear matrix inequalities by linear matrix inequality (LMI) approach, and the feasible solutions to the system of LMIs provide a parameterized representation of a set of decentralized H-infinity controller. The given example shows the application of the method.