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.

Lower bounds for stability margin of n-dimensional discrete systems

This paper derives lower bounds for the stability margin of n-dimensional discrete systems in the Roesser’s state space setting. The lower bounds for stability margin are derived based on the MacLaurine series expansion. Numerical examples are given to illustrate the results.

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.

Semi-hyperbolic mappings in Banach spaces

The definition of semi-hyperbolic dynamical systems generated by Lipschitz continuous and not necessarily invertible mappings in Banach spaces is presented in this thesis. Like hyperbolic mappings, they involve a splitting into stable and unstable spaces, but a slight leakage from the strict invariance of the spaces is possible and the unstable subspaces are assumed to be finite dimensional. Bi-shadowing is a combination of the concepts of shadowing and inverse shadowing and is usually used to compare pseudo-trajectories calculated by a computer with the true trajectories. In this thesis, the concept of bi-shadowing in a Banach space is defined and proved for semi-hyperbolic dynamical systems generated by Lipschitz mappings. As an application to the concept of bishadowing, linear delay differential equations are shown to be bi-shadowing with respect to pseudo-trajectories generated by nonlinear small perturbations of the linear delay equation. This shows robustness of solutions of the linear delay equation with respect to small nonlinear perturbations. Complicated dynamical behaviour is often a consequence of the expansivity of a dynamical system. Semi-hyperbolic dynamical systems generated by Lipschitz mappings on a Banach space are shown to be exponentially expansive, and explicit rates of expansion are determined. The result is applied to a nonsmooth noninvertible system generated by delay differential equation. It is shown that semi-hyperbolic mappings are locally φ-contracting, where -0 is the Hausdorff measure of noncompactness, and that a linear operator is semi-hyperbolic if and only if it is φ-contracting and has no spectral values on the unit circle. The definition of φ-bi-shadowing is given and it is shown that semi-hyperbolic mappings in Banach spaces are φ-bi-shadowing with respect to locally condensing continuous comparison mappings. The result is applied to linear delay differential equations of neutral type with nonsmooth perturbations. Finally, it is shown that a small delay perturbation of an ordinary differential equation with a homoclinic trajectory is ‘chaotic’.

Computational aspects of the numerical solution of SDEs

In the last 30 to 40 years, many researchers have combined to build the knowledge base of theory and solution techniques that can be applied to the case of differential equations which include the effects of noise. This class of ``noisy'' differential equations is now known as stochastic differential equations (SDEs). Markov diffusion processes are included within the field of SDEs through the drift and diffusion components of the Itô form of an SDE. When these drift and diffusion components are moderately smooth functions, then the processes' transition probability densities satisfy the Fokker-Planck-Kolmogorov (FPK) equation -- an ordinary partial differential equation (PDE). Thus there is a mathematical inter-relationship that allows solutions of SDEs to be determined from the solution of a noise free differential equation which has been extensively studied since the 1920s. The main numerical solution technique employed to solve the FPK equation is the classical Finite Element Method (FEM). The FEM is of particular importance to engineers when used to solve FPK systems that describe noisy oscillators. The FEM is a powerful tool but is limited in that it is cumbersome when applied to multidimensional systems and can lead to large and complex matrix systems with their inherent solution and storage problems. I show in this thesis that the stochastic Taylor series (TS) based time discretisation approach to the solution of SDEs is an efficient and accurate technique that provides transition and steady state solutions to the associated FPK equation. The TS approach to the solution of SDEs has certain advantages over the classical techniques. These advantages include their ability to effectively tackle stiff systems, their simplicity of derivation and their ease of implementation and re-use. Unlike the FEM approach, which is difficult to apply in even only two dimensions, the simplicity of the TS approach is independant of the dimension of the system under investigation. Their main disadvantage, that of requiring a large number of simulations and the associated CPU requirements, is countered by their underlying structure which makes them perfectly suited for use on the now prevalent parallel or distributed processing systems. In summary, l will compare the TS solution of SDEs to the solution of the associated FPK equations using the classical FEM technique. One, two and three dimensional FPK systems that describe noisy oscillators have been chosen for the analysis. As higher dimensional FPK systems are rarely mentioned in the literature, the TS approach will be extended to essentially infinite dimensional systems through the solution of stochastic PDEs. In making these comparisons, the advantages of modern computing tools such as computer algebra systems and simulation software, when used as an adjunct to the solution of SDEs or their associated FPK equations, are demonstrated.

Continuous finite-time state feedback stabilizers for some nonlinear stochastic systems

This paper is concerned with the problem of finite-time stabilization for some nonlinear stochastic systems. Based on the stochastic Lyapunov theorem on finite-time stability that has been established by the authors in the paper, it is proven that Euler-type stochastic nonlinear systems can be finite-time stabilized via a family of continuous feedback controllers. Using the technique of adding a power integrator, a continuous, global state feedback controller is constructed to stabilize in finite time a large class of two-dimensional lower-triangular stochastic nonlinear systems. Also, for a class of three-dimensional lower-triangular stochastic nonlinear systems, a recursive design scheme of finite-time stabilization is given by developing the technique of adding a power integrator and constructing a continuous feedback controller. Finally, a simulation example is given to illustrate the theoretical results. © 2014 John Wiley & Sons, Ltd.

Three-dimensional Finite Element modelling of laser shock peening process

Laser shock peening (LSP) is an innovative surface treatment technique for metal alloys, with the great improvement of their fatigue, corrosion and wear resistance performance. Finite element method has been widely applied to simulate the LSP to provide the theoretically predictive assessment and optimally parametric design. In the current work, 3-D numerical modelling approaches, combining the explicit dynamic analysis, static equilibrium analysis algorithms and different plasticity models for the high strain rate exceeding 106s-1, are further developed. To verify the proposed methods, 3-D static and dynamic FEA of AA7075-T7351 rods subject to two-sided laser shock peening are performed using the FEA package–ABAQUS. The dynamic and residual stress fields, shock wave propagation and surface deformation of the treated metal from different material modelling approaches have a good agreement.

Robust finite-time consensus tracking algorithm for multirobot systems

This paper studies the finite-time consensus tracking control for multirobot systems. We prove that finite-time consensus tracking of multiagent systems can be achieved on the terminal sliding-mode surface. Also, we show that the proposed error function can be modified to achieve relative state deviation between agents. These results are then applied to the finite-time consensus tracking control of multirobot systems with input disturbances. Simulation results are presented to validate the analysis.

Adaptive fast finite time control of a class of uncertain nonlinear systems

This paper concerns the adaptive fast finite time control of a class of nonlinear uncertain systems of which the upper bounds of the system uncertainties are unknown. By using the fast non-smooth control Lyapunov function and the method of so-called adding a power integrator merging with adaptive technique, a recursive design procedure is provided, which guarantees the fast finite time stability of the closed-loop system. It is proved that the control input is bounded, and a simulation example is given to illustrate the effectiveness of the theoretical results.

Fast finite-time consensus of a class of high-order uncertain nonlinear systems

This paper poses and solves a new problem of consensus control where the task is to make the fixed-topology multi-agent network, with each agent described by an uncertain nonlinear system in chained form, to reach consensus in a fast finite time. Our development starts with a set of new sliding mode surfaces. It is proven that, on these sliding mode surfaces, consensus can be achieved if the communication graph has the proposed directed spanning tree. Next, we introduce the multi-surface sliding mode control to drive the sliding variables to the sliding mode surfaces in a fast finite time. The control Lyapunov function for fast finite time stability, motivated by the fast terminal sliding mode control, is used to prove the reachability of the sliding mode surface. A recursive design procedure is provided, which guarantees the boundedness of the control input.

Comments on "finite-time stability theorem of stochastic nonlinear systems" [Automatica 46 (2010) 2105-2108]

In this comment, we will point out some errors existing in Chen and Jiao (2010) from definitions to the proof of the main result, where the authors discussed the finite-time stability of stochastic nonlinear systems and proved a Lyapunov theorem on the finitetime stability.