An explicit criterion for finite-time stability of linear nonautonomous systems with delays

In this paper, the problem of finite-time stability of linear nonautonomous systems with time-varying delays is considered. Using a novel approach based on some techniques developed for linear positive systems, we derive new explicit conditions in terms of matrix inequalities ensuring that the state trajectories of the system do not exceed a certain threshold over a pre-specified finite time interval. These conditions are shown to be relaxed for the Lyapunov asymptotic stability. A numerical example is given to illustrate the effectiveness of the obtained result.

Blind equalization of nonirreducible systems using the CM criterion

We address the blind equalization of finite-impulse-response (FIR) and multiple-input multiple-output (MIMO) channel systems excited by constant modulus (CM) signals. It is known that the algorithms based on the CM criterion can equalize an FIR MIMO system that is irreducible. The irreducible condition is restrictive as it requires all source signals to be received at sensors simultaneously. In this paper, we further show that the CM property of signals can be exploited to construct a zero-forcing equalizer for a system that is nonirreducible. Simulation examples demonstrate the proposed result.

Finite-time consensus algorithm of multi-agent networks

This paper is concerned with leader-follower finite-time consensus control of multi-agent networks with input disturbances. Terminal sliding mode control scheme is used to design the distributed control law. A new terminal sliding mode surface is proposed to guarantee finite-time consensus under fixed topology, with the common assumption that the position and the velocity of the active leader is known to its neighbors only. By using the finite-time Lyapunov stability theorem, it is shown that if the directed graph of the network has a directed spanning tree, then the terminal sliding mode control law can guarantee finite-time consensus even under the assumption that the time-varying control input of the active leader is unknown to any follower.

Stability theory and numerical analysis of non-autonomous dynamical systems

The development and use of cocycles for analysis of non-autonomous behaviour is a technique that has been known for several years. Initially developed as an extension to semi-group theory for studying rion-autonornous behaviour, it was extensively used in analysing random dynamical systems [2, 9, 10, 12]. Many of the results regarding asymptotic behaviour developed for random dynamical systems, including the concept of cocycle attractors were successfully transferred and reinterpreted for deterministic non-autonomous systems primarily by P. Kloeden and B. Schmalfuss [20, 21, 28, 29]. The theory concerning cocycle attractors was later developed in various contexts specific to particular classes of dynamical systems [6, 7, 13], although a comprehensive understanding of cocycle attractors (redefined as pullback attractors within this thesis) and their role in the stability of non-autonomous dynamical systems was still at this stage incomplete. It was this purpose that motivated Chapters 1-3 to define and formalise the concept of stability within non-autonomous dynamical systems. The approach taken incorporates the elements of classical asymptotic theory, and refines the notion of pullback attraction with further development towards a study of pull-back stability arid pullback asymptotic stability. In a comprehensive manner, it clearly establishes both pullback and forward (classical) stability theory as fundamentally unique and essential components of non-autonomous stability. Many of the introductory theorems and examples highlight the key properties arid differences between pullback and forward stability. The theory also cohesively retains all the properties of classical asymptotic stability theory in an autonomous environment. These chapters are intended as a fundamental framework from which further research in the various fields of non-autonomous dynamical systems may be extended. A preliminary version of a Lyapunov-like theory that characterises pullback attraction is created as a tool for examining non-autonomous behaviour in Chapter 5. The nature of its usefulness however is at this stage restricted to the converse theorem of asymptotic stability. Chapter 7 introduces the theory of Loci Dynamics. A transformation is made to an alternative dynamical system where forward asymptotic (classical asymptotic) behaviour characterises pullback attraction to a particular point in the original dynamical system. This has the advantage in that certain conventional techniques for a forward analysis may be applied. The remainder of the thesis, Chapters 4, 6 and Section 7.3, investigates the effects of perturbations and discretisations on non-autonomous dynamical systems known to possess structures that exhibit some form of stability or attraction. Chapter 4 investigates autonomous systems with semi-group attractors, that have been non-autonomously perturbed, whilst Chapter 6 observes the effects of discretisation on non-autonomous dynamical systems that exhibit properties of forward asymptotic stability. Chapter 7 explores the same problem of discretisation, but for pullback asymptotically stable systems. The theory of Loci Dynamics is used to analyse the nature of the discretisation, but establishment of results directly analogous to those discovered in Chapter 6 is shown to be unachievable. Instead a case by case analysis is provided for specific classes of dynamical systems, for which the results generate a numerical approximation of the pullback attraction in the original continuous dynamical system. The nature of the results regarding discretisation provide a non-autonomous extension to the work initiated by A. Stuart and J. Humphries [34, 35] for the numerical approximation of semi-group attractors within autonomous systems. . Of particular importance is the effect on the system's asymptotic behaviour over non-finite intervals of discretisation.

Adaptive hierarchical scheduling policy for enterprise grid computing systems

In an enterprise grid computing environments, users have access to multiple resources that may be distributed geographically. Thus, resource allocation and scheduling is a fundamental issue in achieving high performance on enterprise grid computing. Most of current job scheduling systems for enterprise grid computing provide batch queuing support and focused solely on the allocation of processors to jobs. However, since I/O is also a critical resource for many jobs, the allocation of processor and I/O resources must be coordinated to allow the system to operate most effectively. To this end, we present a hierarchical scheduling policy paying special attention to I/O and service-demands of parallel jobs in homogeneous and heterogeneous systems with background workload. The performance of the proposed scheduling policy is studied under various system and workload parameters through simulation. We also compare performance of the proposed policy with a static space–time sharing policy. The results show that the proposed policy performs substantially better than the static space–time sharing policy.

A new design of sliding mode control systems

A new sliding mode control technique for a class of SISO dynamic systems is presented in this chapter. It is seen that the stability status of the closed-loop system is first checked, based on the approximation of the most recent information of the first-order derivative of the Lyapunov function of the closed-loop system, an intelligent sliding mode controller can then be designed with the following intelligent features: (i) If the closed-loop system is stable, the correction term in the controller will continuously adjust control signal to drive the closed-loop trajectory to reach the sliding mode surface in a finite time and the desired closed-loop dynamics with the zero-error convergence can then be achieved on the sliding mode surface. (ii) If, however, the closed-loop system is unstable, the correction term is capable of modifying the control signal to continuously reduce the value of the derivative of the Lyapunov function from the positive to the negative and then drives the closed-loop trajectory to reach the sliding mode surface and ensures that the desired closed-loop dynamics can be obtained on the sliding mode surface. The main advantages of this new sliding mode control technique over the conventional one are that no chattering occurs in the sliding mode control system because of the recursive learning control structure; the system uncertainties are embedded in the Lipschitz-like condition and thus, no priori information on the upper and/or the lower bounds of the unknown system parameters and uncertain system dynamics is required for the controller design; the zero-error convergence can be achieved after the closed-loop dynamics reaches the sliding mode surface and remains on it. The performance for controlling a third-order linear system is evaluated in the simulation section to show the effectiveness and efficiency of the new sliding mode control technique.

Improved robust Kalman filtering for uncertain systems with missing measurements

In this paper, a novel robust finite-horizon Kalman filter is developed for discrete linear time-varying systems with missing measurements and normbounded parameter uncertainties. The missing measurements are modelled by a Bernoulli distributed sequence and the system parameter uncertainties are in the state and output matrices. A two stage recursive structure is considered for the Kalman filter and its parameters are determined guaranteeing that the covariances of the state estimation errorsare not more than the known upper bound. Finally, simulation results are presented to illustrate the outperformance of the proposed robust estimator compared with the previous results in the literature.

Reduced order functional observers with application to partial state estimation of linear systems with input delay

Reduced order multi-functional observer design for multi-input multi-utput (MIMO) linear time-invariant (LTI) systems with constant delayed inputs is studied. This research is useful in the input estimation of LTI systems with actuator delay, as well as system monitoring and fault detection of these systems. Two approaches for designing an asymptotically stable functional observer for the system are proposed: delay-dependent and delay-free. The delay-dependent observer is infinite-dimensional, while the delay-free structure is finite-dimensional. Moreover, since the delay-free observer does not require any information on the time delay, it is more practical in real applications. However, the delay-dependent observer contains less restrictive assumptions and covers more variety of systems. The proposed observer design schemes are novel, simple to implement, and have improved numerical features compared to some of the other available approaches to design (unknown-input) functional observers. In addition, the proposed observers usually possess lower order than ordinary Luenberger observers, and the design schemes do not need the observability or detectability requirements of the system. The necessary and sufficient conditions of the existence of an asymptoticobserver in each scenario are explored. The extensions of the proposed observers to systems with multiple delayed-inputs are also discussed. Several numerical examples and simulation results are employed to support our theories.

Stability of two-dimensional Roesser systems with time-varying delays via novel 2D finitesum inequalities

This study considers the problem of stability analysis of discrete-time two-dimensional (2D) Roesser systems with interval time-varying delays. New 2D finite-sum inequalities, which provide a tighter lower bound than the existing ones based on 2D Jensen-type inequalities, are first developed. Based on an improved Lyapunov-Krasovskii functional, the newly derived inequalities are then utilised to establish delay-range-dependent linear matrix inequality-based stability conditions for a class of discrete time-delay 2D systems. The effectiveness of the obtained results is demonstrated by numerical examples.