Distributed RISE control for spacecraft formation reconfiguration with collision avoidance

In this paper, we investigate the distributed formation reconfiguration problem of multiple spacecraft with collision avoidance in the presence of external disturbances. Artificial potential function (APF) based virtual velocity controllers for the spacecraft are firstly constructed, which overcome the local minima problem through introducing auxiliary inputs weighted by bump functions. Then, based on the robust integral of the sign of the error (RISE) control methodology, a distributed continuous asymptotic tracking control protocol is proposed, accomplishing both formation reconfiguration and the collision avoidance among spacecraft and with obstacles. Furthermore, using tools from graph theory, Lyapunov analysis and backstepping technique, we show the stability and collision avoidance performance of the closed-loop multiple spacecraft system. Numerical simulations for a spacecraft formation are finally provided to validate the effectiveness of the proposed algorithm.     

Spacecraft output feedback attitude control based on extended state observer and adaptive dynamic programming

This paper investigates spacecraft output feedback attitude control problem based on extended state observer (ESO) and adaptive dynamic programming (ADP) approach. For the plant described by the unit quaternion, an ESO is first presented in view of the property of the attitude motion, and the norm constraint on the unit quaternion can be satisfied theoretically. The practical convergence proof of the developed ESO is illustrated by change of coordinates. Then, the controller is designed with an involvement of two parts: the basic part and the supplementary part. For the basic part, a proportional-derivative control law is designed. For the supplementary part, an ADP method called action-dependent heuristic dynamic programming (ADHDP) is adopted, which provides a supplementary control action according to the differences between the actual and the desired system signals. Simulation studies validate the effectiveness of the proposed scheme.     

Pinning impulsive stabilization for BAM reaction-diffusion neural networks with mixed delays

The exponential stabilization of BAM reaction-diffusion neural networks with mixed delays is discussed in this article. At first, a general pinning impulsive controller is introduced, in which the control functions are nonlinear and the pinning neurons are determined by reordering the state error. Next, based on the designed control protocol and the Lyapunov–Krasovskii functional approach, some novel and useful criteria, which depend on the diffusion coefficients and controlling parameters, are established to guarantee the global exponential stabilization of the considered neural networks. Finally, the effectiveness of the proposed control strategy is shown by two numerical examples.     

Synchronization of stochastic discrete-time complex networks with partial mixed impulsive effects

In this paper, the synchronization problem is studied for a class of stochastic discrete-time complex networks with partial mixed impulsive effects. The involving impulsive effects, called partial mixed impulses, can be regarded as local and time-varying impulses, which means that impulses are not only injected into a fraction of nodes in networks but also contain synchronizing and desynchronizing impulses at the same time. In order to handle this case, several mathematical techniques are proposed to tackle mixed impulsive effects in discrete-time dynamical systems. Based on the variation of parameters formula, several sufficient criteria are derived to ensure that synchronization of the addressed networks can be achieved in mean square. The obtained criteria not only rely on the strengths of mixed impulses and the impulsive intervals, but also can reduce conservativeness. Finally, a numerical example is presented to show the effectiveness of our results for neural networks.     

Robust exponential stability of uncertain impulsive stochastic neural networks with delayed impulses

In this paper, by using Lyapunov functions, Razumikhin techniques and stochastic analysis approaches, the robust exponential stability of a class of uncertain impulsive stochastic neural networks with delayed impulses is investigated. The obtained results show that delayed impulses can make contribution to the stability of system. Compared with existing results on related problems, this work improves and complements ones from some works. Two examples are discussed to illustrate the effectiveness and the advantages of the results obtained.     

Synchronization of dynamical networks with nonlinearly coupling function under hybrid pinning impulsive controllers

In this paper, the globally exponential synchronization problem of dynamical networks with nonlinearly coupling function is considered. Hybrid pinning control strategies are established to force the states of the network to follow some objective trajectory. The impulsive pinning controllers are used to control a fringe of nodes at the impulsive instants, while during the impulsive instants, pinning state-feedback controllers are designed to achieve the control objective. Finally, the validity of the developed techniques is evidenced by an illustrative example.     

Exponential synchronization for coupled complex networks with time-varying delays and stochastic perturbations via impulsive control

This paper is concerned with the problem of exponential synchronization of coupled complex networks with time-varying delays and stochastic perturbations (CCNTDSP). Different from previous works, both the internal time-varying delay and the coupling time-varying delay are taken into account in the network model. Meanwhile, an impulsive controller is designed to realize exponential synchronization in mean square of CCNTDSP. Combining the Lyapunov method with Kirchhoff’s Matrix Tree Theorem, some sufficient criteria are obtained to guarantee exponential synchronization in mean square of CCNTDSP. Furthermore, we apply the theoretical results to study exponential synchronization of stochastic coupled oscillators with the internal time-varying delay and the coupling time-varying delay. And a synchronization criterion is also obtained. Finally, two numerical examples are given to demonstrate the effectiveness and feasibility of our theoretical results and the superiority of impulsive control.     

Discrete-time stochastic impulsive BAM neural networks with leakage and mixed time delays: An exponential stability problem

In this paper, the stability analysis of impulsive discrete-time stochastic BAM neural networks with leakage and mixed time delays is investigated via some novel Lyapunov–Krasoviskii functional terms and effective techniques. For the target model, stochastic disturbances are described by Brownian motion. Then the result is further extended to address the problem of robust stability of uncertain discrete-time BAM neural networks. The conditions obtained here are expressed in terms of Linear Matrix Inequalities (LMIs), which can be easily checked by MATLAB LMI control toolbox. Finally, few numerical examples are presented to substantiate the effectiveness of the derived LMI-based stability conditions.     

Stochastic input-to-state stability of random impulsive nonlinear systems

In this paper, the stochastic input-to-state stability is investigated for random impulsive nonlinear systems, in which impulses happen at random moments. Employing Lyapunov-based approach, sufficient conditions for the stochastic input-to-state stability are established based on the connection between the properties of system and impulsive intervals. Two classes of impulsive systems are considered: (1) the systems with single jump map; (2) the systems with multiple jump maps. Finally, some examples are provided to illustrate the effectiveness of the proposed results.     

Uncertain impulsive functional differential systems of fractional order and almost periodicity

The problem of existence of almost periodic solutions of uncertain impulsive functional differential systems of fractional order is investigated. Using the Lyapunov method combined with the concept of uniformly positive definite matrix functions and Hamilton–Jacobi–Riccati inequalities new criteria are presented. The robust stability of the almost periodic solution is also discussed. We apply our results to an impulsive Lasota–Wazewska type model of fractional order. Our results extend the theory of almost periodic solutions for impulsive delay differential equations to the fractional-order case under uncertainty.     

Further mean-square asymptotic stability of impulsive discrete-time stochastic BAM neural networks with Markovian jumping and multiple time-varying delays

In this paper, the asymptotic stability analysis is investigated for a kind of discrete-time bidirectional associative memory (BAM) neural networks with the existence of perturbations namely, stochastic, Markovian jumping and impulses. Based on the theory of stability, a novel Lyapunov–Krasovskii function is constructed and by utilizing the concept of delay partitioning approach, a new linear-matrix-inequality (LMI) based criterion for the stability of such a system is proposed. Furthermore, the derived sufficient conditions are expressed in the structure of LMI, which can be easily verified by a known software package that guarantees the globally asymptotic stability of the equilibrium point. Eventually, a numerical example with simulation is given to demonstrate the effectiveness and applicability of the proposed method.     

Robust extended fractional Kalman filter for nonlinear fractional system with missing measurements

Accurate and effective state estimation is essential for nonlinear fractional system, since it can provide some vital operation information about the system. However, inevitably missing measurements and additive uncertainty in the gain will affect the performance of estimation result. Thus, in this paper, in order to deal with these problems, a novel robust extended fractional Kalman filter (REFKF) is developed for states estimation of nonlinear fractional system, by which the states can be estimated accurately even with missing measurements. Finally, simulation results are provided to demonstrate that the proposed method can achieve much better estimation performance than the conventional extended fractional Kalman filter (EFKF).     

Leader-following fixed-time quantized consensus of multi-agent systems via impulsive control

In this paper, we mainly tend to consider distributed leader-following fixed-time quantized consensus problem of nonlinear multi-agent systems via impulsive control. An appropriate quantized criterion and some novel control protocols are proposed in order to solve the problem. The protocols proposed integrates the two control strategies from the point of view of reducing communication costs and constraints, which are quantized control and impulsive control. The fixed-time quantized consensus of multi-agent is analyzed in terms of algebraic graph theory, Lyapunov theory and comparison system theory, average impulsive interval. The results show that if some sufficient conditions are met, the fixed-time consensus of multi-agent systems can be guaranteed under impulsive control with quantized relative state measurements. In addition, compared with finite-time consensus, the settling-time of fixed-time quantized consensus does not depend on the initial conditions of each agent but on the parameters of the protocol. Finally, numerical simulations are exploited to illustrate the effectiveness and performance to support our theoretical analysis.     

Distributed impulsive control for heterogeneous multi-agent systems based on event-triggered scheme

In this paper, the distributed impulsive control for heterogeneous multi-agent systems based on event-triggered approach is investigated. According to whether the information transfer of the dynamic compensator is continuous or not, two different kinds of impulsive controllers are designed, respectively. Based on these two kinds of controllers, the corresponding distributed event-triggered conditions are provided, which make the impulsive instants of all agents do not need occur simultaneously. Moreover, the lower bound of impulsive intervals can also be guaranteed for all the event-triggered conditions, which means that the control schemes given in this paper can avoid the Zeno-behavior successfully. Eventually, a simulation example is proposed to support the effectiveness of the results obtained in this paper.     

P-type iterative learning control algorithm for a class of linear singular impulsive systems

This paper is focused on the iterative learning control problem for linear singular impulsive systems. For the purpose of tracking the desired output trajectory, a P-type iterative learning control algorithm is investigated for such system. Based on the fundamental property of singular impulsive systems and the restricted equivalent transformation theory of singular systems, the convergence conditions of the tracking errors for the system are obtained in the sense of λ norm. Finally, the validation of the algorithm is confirmed by a numerical example.     

Optimal formation control and collision avoidance in environment with multiple rectangle obstacles

This paper addresses formation control problem with collision avoidance for general linear multi-agent systems via an optimal control strategy. In the proposed optimal control strategy, a novel potential function is designed to accomplish formation of multi-agent systems (MASs) with obstacle/collision avoidance capability, which can avoid rectangle obstacles accurately. In this potential function, a novel relative velocity based self-adaptive detection region is proposed to avoid collisions with adjacent agents. Moreover, a non-quadratic avoidance performance index is constructed based on inverse optimal control approach. Then, the optimal control strategy is designed to guarantee the asymptotic stability of the closed-loop system and optimality of the proposed performance index. Finally, a simulation example is given to illustrate the efficiency of the proposed approach.     

Adaptive fuzzy finite-time control for spacecraft formation with communication delays and changing topologies

This paper aims to solve the finite time consensus control problem for spacecraft formation flying (SFF) while accounting for multiple time varying communication delays and changing topologies among SFF members. First, in the presence of model uncertainties and external disturbances, the coupled dynamics of relative position and attitude are derived based on the Lie group SE(3), in which the position and attitude tracking errors with respect to the virtual leader whose trajectory is computed offline are described by exponential coordinates. Then, a nonsingular fast terminal sliding mode (NFTSM) constructed by the exponential coordinates and velocity tracking errors is developed, based on which adaptive fuzzy NFTSM control schemes are proposed to guarantee that the ideal configurations of the SFF members with respect to the virtual leader can be achieved in finite time with high accuracy and all the aforementioned drawbacks can be overcome. The convergence and stability of the closed-loop system are proved theoretically by Lyapunov methods. Finally, numerical simulations are presented to validate the effectiveness and feasibility of the proposed controllers.     

On convergence of the discrete-time nonlinear extended state observer

This paper concerns with the convergence of the discrete-time nonlinear extended state observer (ESO). Several kinds of discrete-time nonlinear ESO (NLESO) are proposed and then sufficient conditions based on linear matrix inequality (LMI) method are obtained to quantitatively reveal the relationship between the plant, the sampling interval, the parameter values of NLESO and its convergence. The theoretical results are verified by simulation using a motion control system. It shows that there may exist an optimal ω_o for a certain fixed sampling interval, and a smaller sampling interval generally generates better performance. What’s more, the proposed digital implementations of NLESO improve its performance over traditional Euler approximation discretization method.     

Circular formation control for cooperative target tracking with limited information

This paper addresses the problem of encircling and tracking a moving target with a fleet of unicycle-like vehicles. A new control law is developed to steer the vehicles to an evenly spaced formation along a circumference, the center of which tracks the motion of the target. The strategy proposed relies only on the relative positions of the agents with respect to the target, expressed in the local frame of each vehicle. The absolute position, velocity and acceleration of the target are unknown. Additionally, the robustness of the proposed control law in the presence of external disturbances is analyzed. Communication among agents is used to maintain the vehicles equally spaced in the circular formation. Simulation results illustrate the effectiveness of the proposed strategies.     

Adaptive coordinated attitude control for spacecraft formation with saturating actuators and unknown inertia

In this paper, an adaptive attitude coordination control problem for spacecraft formation flying is investigated under a general directed communication topology containing a directed spanning tree with a leader as the root. In the presence of unknown time-varying inertia, persistent external disturbances and control input saturation, a novel robust adaptive coordinated attitude control algorithm with no prior knowledge of inertia for spacecraft is proposed to coordinately track the common time-varying reference states. Aiming at optimizing the control algorithm, a dynamic adjustment function is introduced to adjust the control gain according to the tracking errors. The effectiveness of the proposed control scheme is illustrated through numerical simulation results.