Lyapunov-Krasovskii Functionals Research Articles

Adaptive expected-time tracking consensus control for multiagent systems with external disturbances and time delays

This paper studies the expected-time tracking control problem for multiagent systems with disturbances and time delays. The expected-time control scheme can ensure that control objectives can be completed within the desired time. In the other words, the output signal can track the reference signal in an expected time. Based on a special error and the adaptive technology, the expected-time tracking consensus control scheme is achieved. Moreover, by using the neural networks technique, the unknown nonlinear functions which often exist in the dynamic of the system are handled. According to the Lyapunov stability theorem and the Lyapunov–Krasovskii function, it is proved that the consensus errors are semi-globally uniformly ultimately bounded. At last, the feasibility of the control method is verified by a simulation example.

Fault-tolerant control for Markov jump nonlinear systems based on an observer and finite-time fast integral terminal sliding mode control

This paper develops a novel fault-tolerant control based on an observer for underactuated robot manipulators with unknown external disturbances, uncertainties, and actuator faults. First, unlike the traditional approach of treating the robot system as a parameter time-varying system, the underactuated robot manipulator with different drive modes can be considered as one of the classical Markov jump nonlinear systems (MJNSs). Second, an adaptive disturbance observer is designed to estimate the state and disturbances of the system. Finally, based on the observation results, a nonsingular fast integral terminal sliding mode controller (NFITSMC) is utilized to implement fault-tolerant control of the system. Compared with traditional observer and terminal sliding mode controller, the adoption of the novel controller and observer can improve response time and reduce chattering. Especially, in order to eliminate chattering, the integral term is introduced into the nonsingular fast terminal sliding mode controller. Structuring Lyapunov–Krasovskii functional (LKF) and based on linear matrix inequalities (LMIs) techniques, the convergence of control strategy and tracking errors is proved. The simulation results show that the actuator faults can be observed successfully and the error system is finite-time stable.

Input-to-state stability of discrete-time impulsive switched delayed systems with delay-dependent impulse under two asynchronous cases

This paper studies a class of discrete-time impulsive switched delayed systems with delay-dependent impulses, aiming to solving the input-to-state stability (ISS) problem in the case of asynchronous switching signal between subsystem and controller and asynchrony of switching signals and impulsive signals. Among them, the delay effect is handled by a new Lyapunov-Krasovskii function divided into a delay-dependent part and a delay-independent part. In contrast to admissible edge-dependent average dwell time (AED-ADT) methods that address switching signals, we propose admissible edge-dependent average impulsive interval (AED-AII) to deal with delayed impulses, thereby establishing the relationship between these methods and the decay rate. Meanwhile, a stabilizing controller for discrete impulsive switched linear delayed systems is proposed and the minimum average dwell time and controller gain are obtained. Compared with the previous work, the parameters of Lyapunov functional relation depend on the directed edges; the operation of subsystem is divided into asynchronous time and synchronous time, which are less conservative; the combination of AED-ADT and AED-AII can be applied to a wider range of impulsive switched systems. Finally, two examples are given to show the effectiveness of the results.

Sliding mode control of phase-type T-S fuzzy stochastic semi-Markov jump systems

In this paper, the sliding mode control (SMC) problem of phase-type semi-Markov jump systems (S-MJSs) is studied using Takagi-Sugeno (T-S) fuzzy technology. A novel integral-type sliding surface with artificial delay has been constructed and applied for the first time to phase type S-MJSs, reducing system conservatism and enhancing control performance. Firstly, this paper presents sufficient criteria for the robust random stability of these systems by utilizing model transformation methods, supplementary variable techniques, and modal-dependent Lyapunov-Krasovskii function methods. Secondly, the sliding mode controller is designed using matrix technology. Finally, the effectiveness of this method is demonstrated through a simulation example involving a single-link robotic arm, and the comparison results show the merits to the existing achievements.

Non-singular control strategies for a class of strict-feedback nonlinear time-delay systems

This paper focuses on the non-singular control for strict-feedback nonlinear time-delay systems. The boundedness of all the signals of the closed-loop system is rigorously proved by introducing a class of Lyapunov-Krasovskii functionals, including exponential functions. Besides, novel auxiliary functions with continuous derivatives are proposed to construct the control law to avoid the discontinuity of the virtual controllers. Besides, the amount of computation is reduced by applying the new auxiliary functions when the other control methods require loads of calculations for handling singular problems. In the end, numerical examples are given to validate the effectiveness of the proposed control scheme.

A Nonlinear Control Design for Cooperative Adaptive Cruise Control with Time-Varying Communication Delay

Cooperative adaptive cruise control (CACC) is one of the main features of connected and autonomous vehicles (CAVs), which uses connectivity to improve the efficiency of adaptive cruise control (ACC). The addition of reliable communication systems to ACC reduces fuel consumption, maximizes road capacity, and ensures traffic safety. However, the performance, stability, and safety of CACC could be affected by the transmission of outdated data caused by communication delays. This paper proposes a Lyapunov-based nonlinear controller to mitigate the impact of time-varying delays in the communication channel of CACC. This paper uses Lyapunov–Krasovskii functionals in the stability analysis to ensure semi-global uniformly ultimately bounded tracking. The efficaciousness of the proposed CACC algorithm is demonstrated in simulation and through experimental implementation.

Low conservative stability criteria for discrete-time Lur’e systems with sector and slope constrained nonlinearities

Lur’e system is an important nonlinear system in engineering, which is composed of a feedback connection of a linear dynamic system and a nonlinear system that satisfies the sector constraint. In this paper, for nominal and uncertain discrete Lur’e systems with time-varying delays, the absolute and robustly absolute stability are studied in detail with the nonlinearity satisfying the sector and slope constraints. Firstly, an augmented Lyapunov–Krasovskii functional (LKF) is designed, in which some augmented vectors are selected to increase the coupling information between the delay intervals and other system state variables. At the same time, some effective integral terms of nonlinear state variables are extended in the LKF according to the characteristics of sector constraint and slope constraint. Secondly, a general lemma of summation inequality for free-weighted matrices is given, which adds some coupling information between vectors and extends the search range for solving linear matrix inequalities (LMIs). Thirdly, by synthesizing the general summation inequality and the newly constructed LKF, different absolute stability criteria are derived respectively, and the absolute stability criteria are extended to robustly absolute stability cases with uncertain parameters. The stability criteria reduce the conservatism of some previously proposed results. Finally, some common numerical examples and simulations are used to verify the results of this paper.

An investigation into the stability of helicopter control system under the influence of time delay using an improved LKF

This paper presents an improved Lyapunov-Krasovskii functional (LKF)-based stability analysis of time-delay systems (TDS) and its application to helicopter control systems. A novel LKF is proposed for the stability analysis of linear TDS after thoroughly examining the effects of each integral associated with a general class of LKF. The suggested stability results in the form of linear matrix inequalities (LMIs) are obtained using the Wirtinger-based integral inequality (WII), reciprocally convex combination lemma (RCCL), and extended reciprocally convex matrix inequality (ERCMI). Numerical examples are utilized to evaluate the impact of the presented theorems on stability. The proposed theorems are then used to examine the stability of helicopter control systems, and the results of these stability analyses are verified using a laboratory model of a helicopter control system.

Boundary containment control of multi-agent systems with time-invariant and time-varying delays

This paper considers the multi-leader situation in multi-agent systems (MASs), providing a solution to the issue of containment control in MASs using a directed graph as the main focus of the investigation. Containment controllers are first designed for MASs respectively by using boundary measurement and distributed measurement, as well as considering time-invariant and time-varying delays. By making use of the Wirtinger inequality and the Lyapunov Krasovskii function, consensus criteria for containment consensus of the MASs are established. Finally, two numerical examples are given to verify the effectiveness of the proposed protocols.

Integral sliding mode control and stability for Markov jump systems with structured perturbations and time-varying delay driven by fractional Brownian motion

The issues of stability and sliding mode control (SMC) for time-varying delay Markov jump systems (MJSs) with structured perturbations constrained by fractional Brownian motion (fBm) are explored. First, constructing a novel Lyapunov-Krasovskii functional (LKF) with exponential terms that contain the double-integral term, the pth moment exponential stability conditions are derived by utilizing the generalized fractional Itoˆ formula and conditional mathematical expectation. Subsequently, by designing the innovative integral sliding mode surface (SMS) associated with time-varying delay and the SMC law, the state trajectories of the dynamic systems can reach the designed SMS within a finite time. Ultimately, the numerical experiment is executed to confirm and ensure the accuracy and reliability of the obtained results.

Performance Degradation Estimation Mechanisms for Networked Control Systems Under DoS Attacks and its Application to Autonomous Ground Vehicle.

This article examines the mechanisms by which aperiodic denial-of-service (DoS) attacks can exploit vulnerabilities in the TCP/IP transport protocol and its three-way handshake during communication data transmission to hack and cause data loss in networked control systems (NCSs). Such data loss caused by DoS attacks can eventually lead to system performance degradation and impose network resource constraints on the system. Therefore, estimating system performance degradation is of practical importance. By formulating the problem as an ellipsoid-constrained performance error estimation (PEE) problem, we can estimate the system performance degradation caused by DoS attacks. We propose a new Lyapunov-Krasovskii function (LKF) using the fractional weight segmentation method (FWSM) to examine the sampling interval and introduce a relaxed, positive definite constraint to optimize the control algorithm. We also propose a relaxed, positive definite constraint that reduces the initial constraints to optimize the control algorithm. Next, we introduce an alternate direction algorithm (ADA) to solve the optimal trigger threshold and design an integral-based event-triggered controller (IETC) to estimate the error performance of NCSs with limited network resources. Finally, we verify the effectiveness and feasibility of the proposed method using the Simulink joint platform autonomous ground vehicle (AGV) model.

Stability analysis of delayed load frequency control system based on a novel augmented functional

This article is concerned with the stability issue of PI-based load frequency control (LFC) systems with time-varying delays and load interference. Firstly, a novel augmented Lyapunov–Krasovskii functional (LKF) is developed, in which the single integral term includes the augmented s-dependent integral term of delay-partition. For the purpose of coordinating with the constructed LKF effectively, a generalised free-matrix-based integral inequality and quadratic inequality are utilised to estimate the functional derivatives accurately, so that the stability criterion of less conservative is obtained. Finally, the relationship between the PI gains and the delay margins is presented, and the effects of time delays and PI gains on the system dynamic performance are discussed simultaneously by simulation. The simulation results verify the validity of the proposed method.

Delay-dependent stability analysis for load frequency control systems with time-varying delays

This paper introduces a delay-dependent criterion that addresses both computational accuracy and efficiency in dealing with delay-dependent stability challenges within multi-area load frequency control (LFC) systems. Firstly, the traditional power system LFC model is decomposed into delay-related and delay-independent parts using a model reconstruction technique. Subsequently, an augmented Lyapunov-Krasovskii functional (LKF) is formulated, focusing on the delay-related part of the model. The double integral component within the derivative of the LKF is constrained using the parameter-dependent slack matrices approach, resulting in a less conservative stability criterion. Finally, the proposed result is validated through case studies. Simulation results demonstrate that the proposed stability criterion significantly improves computational accuracy while maintaining better validity compared to existing approaches. Moreover, compared to the traditional LFC model, the reconstructed model offers substantial computational efficiency improvements, albeit with a slight decrease in computational precision.

Submission to Special Issue to Explainable Representation Learning-Based Intelligent Inspection and Maintenance of Complex Systems: Synchronization of Inertial Neural Networks With Unbounded Delays via Sampled-Data Control.

This article addresses the synchronization issue for inertial neural networks (INNs) with heterogeneous time-varying delays and unbounded distributed delays, in which the state quantization is considered. First, by fully considering the delay and sampling time point information, a modified looped-functional is proposed for the synchronization error system. Compared with the existing Lyapunov-Krasovskii functional (LKF), the proposed functional contains the sawtooth structure term V8(t) and the time-varying terms ex(t-βħ (t)) and ey(t-βħ (t)) . Then, the obtained constraints may be further relaxed. Based on the functional and integral inequality, less conservative synchronization criteria are derived as the basis of controller design. In addition, the required quantized sampled-data controller is proposed by solving a set of linear matrix inequalities. Finally, two numerical examples are given to show the effectiveness and superiority of the proposed scheme in this article.

Distributed disturbance observer-based nonfragile bipartite consensus of nonlinear multiagent systems with multiple time-varying delays

The paper concentrates on the issue of distributed disturbance observer-based nonfragile bipartite consensus within nonlinear delayed multiagent systems, encompassing both leaderless and leader-following structures. The delays under consideration are nonuniform, manifesting in the state, the nonlinearity, and the communication processes. To suppress the external disturbances and the observer gain perturbations, distributed nonfragile disturbance observers pertaining to relative output and communication delays are developed to estimate the external disturbances for each agent. Employing the developed disturbance observer, distributed control protocols for nonfragile bipartite consensus are constructed incorporating states, estimated disturbances, and communication delays. These protocols can ensure bipartite consensus, compensate for external disturbances, and tolerate uncertainties in control gain. New augmented Lyapunov-Krasovskii functions are formulated by introducing the triple integral term and the augmented vector. The new bipartite consensus criteria for the studied multiagent systems are established with less conservatism by employing the techniques on second-order Bessel-Legendre integral inequality, reciprocally convex combination, and free weight matrix. Finally, numerical simulations and comparisons are performed for both leaderless and leader-following scenarios, thereby validating and enhancing the theoretical outcomes.

Improved stability criteria of neural networks with time-varying delay based on the variable-augmented-based free-weighting-matrices

This paper discusses the stability problem of neural networks with time-varying delays. Firstly, a delay-product-type term is added to the Lyapunov–Krasovskii functionals(LKF) to take into account extra time-delay-related information. Then, by employing the variable-augmented-based free-weighting-matrices, the higher-order terms of the time-varying delay are successfully avoided in estimating the derivative of the LKF. Nextly, two stability criteria with less conservatism are established. Finally, two examples are used to illustrate the effectiveness of the presented criteria.

Designing asynchronous resilient sampled data controller for nonlinear Markov jump systems via hidden Markov model and quantum genetic algorithm

The article delves into the problem of stochastic stability analysis for nonlinear Markov jump systems (MJSs) with fuzzy asynchronous resilient sampled-data controllers (SDCs) using hidden Markov model (HMM) and quantum genetic algorithms (QGAs). A novel framework using QGA has been developed to obtain the control gain matrices by solving the linear matrix inequality (LMI). A new criterion is proposed to guarantee the stochastic stability of fuzzy nonlinear MJSs, relying on the mode-dependent Lyapunov-Krasovskii functional (LKF) approach. Standard Chua’s circuit has been used to show the reliability and value of the developed results. Also, the Lorentz system has been explored to demonstrate the non-stochastic case.

On stability and H∞ control synthesis of sampled‐data systems: A multiple convex function approximation approach

AbstractThis article deals with the stability and control synthesis for a class of linear sampled‐data systems. First, a novel integral inequality with the cubic term of integral interval length instead of reciprocal one of integral interval length is constructed by non‐orthogonal polynomials. This can make full use of slack matrix variables and additional information about sawtooth structural sampling pattern. Then, on the basis of the constructed integral inequality, a cubic‐term‐dependent discontinuous exponent Lyapunov–Krasovskii Functional (LKF) is developed containing additional information about system states to design an sampled‐data state feedback controller. To better estimate the upper bound of the derivative of LKF, a kind of multiple convex function approximation approach is developed, which can be used to deal with the two‐variable polynomial negative definite issue by dividing the variable interval into multiple subintervals. By the constructed integral inequality and multiple convex function approximation approach, sufficient conditions with less conservatism are deduced for the feasibility of sampled‐data state feedback controller. Moreover, by the inner convex approximation solution technique and proposed iterative algorithm, the bilinear matrix inequalities can be transformed into linear matrix ones, which can be easily tackled, to obtain the desired sampled‐data controller gain. Finally, by comparing with existing results, the advantages and superiority of our proposed approaches can be confirmed via two numerical examples.

Event-based nonfragile state estimation for memristive recurrent neural networks with stochastic cyber-attacks and sensor saturations

Abstract This paper addresses the issue of nonfragile state estimation (SE) for memristive recurrent neural networks (MRNNs) with proportional delay and sensor saturations. In practical engineering, numerous unnecessary signals are transmitted to the estimator through the networks, which increases the burden of communication bandwidth. In this paper, a dynamic event-triggered mechanism (DETM) is employed to select useful data instead of a static event-triggered mechanism. By constructing a meaningful LyapunovKrasovskii functional (LKF), a delay-dependent criterion is derived in terms of linear matrix inequalities (LMIs) for ensuring the global asymptotic stability of the augmented system. In the end, two numerical simulations are employed to illustrate the feasibility and validity of the proposed theoretical results.

Finite-time interval stabilization for time-varying stochastic delayed systems via interval matrix method by piecewise controllers

This paper presents a comprehensive study addressing the problem of finite-time interval stabilization (FTIS) for two distinct types of systems: linear time-invariant stochastic delayed systems (LTISDSs) and linear time-varying stochastic delayed systems (LTVSDSs). To begin, the definition of FTIS is established, which is based on employing piecewise state feedback controllers. Subsequently, a time-varying Lyapunov-Krasovskii functional (LKF) is proposed and a novel optimization algorithm is designed to address the challenge of FTIS for LTISDSs. Additionally, this paper investigates the equivalence of LTVSDSs to uncertain stochastic delayed systems with interval parameters, represented as a series of convex combinations. Notably, both the optimization algorithm and the linear matrix inequalities (LMIs) technique are employed to establish sufficient conditions for achieving FTIS in LTVSDSs. Furthermore, when compared to traditional state feedback controllers, the piecewise controllers not only enhance the precision of system control but also lead to reduced control gains and fewer control effort requirements. Finally, the findings are substantiated through the presentation of two numerical examples, providing practical validation for the proposed methodologies and their effectiveness.