Robust synchronization for 2-D discrete-time coupled dynamical networks

Neuroadaptive Optimal Fixed-Time Synchronization and its Circuit Realization for Unidirectionally Coupled FO Self-Sustained Electromechanical Seismograph Systems

This article investigates the neuroadaptive optimal fixed-time synchronization and its circuit realization along with dynamical analysis for unidirectionally coupled fractional-order (FO) self-sustained electromechanical seismograph systems under subharmonic and superharmonic oscillations. The synchronization model of the coupled FO seismograph system is established based on drive and response seismic detectors. The dynamical analysis reveals this coupled system generating transient chaos and homoclinic/heteroclinic oscillations. The test results of the constructed equivalent analog circuit further testify its complex nonlinear dynamics. Then, a neuroadaptive optimal fixed-time synchronization controller integrated with the FO hyperbolic tangent tracking differentiator (HTTD), interval type-2 fuzzy neural network (IT2FNN) with transformation, and prescribed performance function (PPF) together with the constraint condition is developed in the backstepping recursive design. Furthermore, it is proved that all signals of this closed-loop system are bounded, and the tracking errors fall into a trap of the prescribed constraint along with the minimized cost function. Extensive studies confirm the effectiveness of the proposed scheme.

Local Synchronization of Interconnected Boolean Networks With Stochastic Disturbances

This paper is concerned with the local synchronization problem for the interconnected Boolean networks (BNs) without and with stochastic disturbances. For the case without stochastic disturbances, first, the limit set and the transient period of the interconnected BNs are discussed by resorting to the properties of the reachable set for the global initial states set. Second, in terms of logical submatrices of a certain Boolean vector, a compact algebraic expression is presented for the limit set of the given initial states set. Based on it, several necessary and sufficient conditions are derived assuring the local synchronization of the interconnected BNs. Subsequently, an efficient algorithm is developed to calculate the largest domain of attraction. As for the interconnected BNs with stochastic disturbances, first, mutually independent two-valued random logical variables are introduced to describe the stochastic disturbances. Then, the corresponding local synchronization criteria are also established, and the algorithm to calculate the largest domain of attraction is designed. Finally, numerical examples are employed to illustrate the effectiveness of the obtained results/ algorithms.

Synchronization Control for Network Systems With Communication Constraints

A novel control strategy for synchronization control for network systems with communication constraints is presented in this paper. The dynamics of nodes in the network are nonidentical. The communication topology of network is weakly connected with communication constraints. The designed distributed controller for each node has two parts: reference generator (RG) and regulator. All RGs adopt the communication channels to exchange local information and track the target trajectory. Meanwhile, regulator can ensure that nonidentical node achieves synchronization with its RG. In order to reduce the communication frequency between node and its regulator, a sampled-date control strategy is utilized. The upper bound of the aperiodic sampling instants is calculated through the small-gain theorem, where the closed-loop system is equivalently formulated as the feedback interconnection of a linear time-invariant system and an integral sampled-data operator. Finally, some simulation results are given to demonstrate the effectiveness of the controller design strategy.

Resilient State Estimation for 2-D Time-Varying Systems With Redundant Channels: A Variance-Constrained Approach

This paper investigates the state estimation problem for a class of 2-D time-varying systems with error variance constraints, where the implemented estimator gain is subject to stochastic perturbations. Redundant channels are utilized as a protocol to strengthen the transmission reliability and the channels' packet dropout rates are described by mutually uncorrelated Bernoulli distributions. The objective of the addressed problem is to design a resilient estimator such that an upper bound on the estimation error variance is first guaranteed and then minimized at each time step, where the considered gain perturbations are characterized by their statistical properties. By employing the induction method and the variance-constrained approach, an upper bound on the estimation error variance is first constructed by means of the solutions to two Riccati-like difference equations and, subsequently, a locally minimal upper bound is achieved by appropriately designing the gain parameter. Then, an effective algorithm is proposed for designing the desired estimator, which is in a recursive form suitable for online applications. Finally, a numerical simulation is provided to demonstrate the usefulness of the proposed estimation scheme.

Leader-Following Practical Cluster Synchronization for Networks of Generic Linear Systems: An Event-Based Approach

In network systems, a group of nodes may evolve into several subgroups and coordinate with each other in the same subgroup, i.e., reach cluster synchronization, to cope with the unanticipated situations. To this end, the leader-following practical cluster synchronization problem of networks of generic linear systems is studied in this paper. An event-based control algorithm that can largely reduce the amount of communication is first proposed over directed communication topologies. In the proposed algorithm, each node decides itself when to transmit its current state to its neighbors and how to update its controller according to the estimations of the states of it and its neighbors. Then, the Lyapunov method is utilized to perform the convergence analysis. It shows that the practical cluster synchronization can be ensured by choosing appropriate parameters no matter what kind of estimation for the state is applied. Furthermore, the Zeno behavior is also excluded for each node under some mild assumptions. Besides, three kinds of common estimations for the states including zero-order hold model, first-order approximate model, and high-order model-based estimations are, respectively, analyzed from the perspective of the exclusion of Zeno behavior. Finally, the validity of the proposed algorithm is demonstrated, the effects of the concerned parameters are simply presented, and the effects of the three estimations are also compared through several simulations.

A Weightedly Uniform Detectability for Sensor Networks

In this brief, we study the detectability issues in the context of distributed state estimation problems for a class of locally undetectable sensor networks. First, we introduce a novel detectability condition, i.e., weightedly uniform detectability (WUD), which is a sufficient condition to prove that the error covariances of the consensus filtering are uniformly bounded even though the local sensor nodes are undetectable. Different from the existing detectability (or observability) conditions, our condition includes the interacting weights which could further optimize the lower detectability Gramian bound. Hence, a new weights selection method is derived in term of the criterion of WUD. This new rule of selecting weights provides a new framework for distributed state estimation. The advantages of this approach lead to a better performance in estimation without extra computational burden to the filtering process. Finally, an example shows the effectiveness of the proposed method.

Single-Input Pinning Controller Design for Reachability of Boolean Networks

This brief is concerned with the problem of a single-input pinning control design for reachability of Boolean networks (BNs). Specifically, the transition matrix of a BN is designed to steer the BN from an initial state to a desirable one. In addition, some nodes are selected as the pinning nodes by solving some logical matrix equations. Furthermore, a single-input pinning control algorithm is given. Eventually, a genetic regulatory network is provided to demonstrate the effectiveness and feasibility of the developed method.

Containment Control for Second-Order Multiagent Systems Communicating Over Heterogeneous Networks

The containment control is studied for the second-order multiagent systems over a heterogeneous network where the position and velocity interactions are different. We consider three cases that multiple leaders are stationary, moving at the same constant speed, and moving at the same time-varying speed, and develop different containment control algorithms for each case. In particular, for the former two cases, we first propose the containment algorithms based on the well-established ones for the homogeneous network, for which the position interaction topology is required to be undirected. Then, we extend the results to the general setting with the directed position and velocity interaction topologies by developing a novel algorithm. For the last case with time-varying velocities, we introduce two algorithms to address the containment control problem under, respectively, the directed and undirected interaction topologies. For most cases, sufficient conditions with regard to the interaction topologies are derived for guaranteeing the containment behavior and, thus, are easy to verify. Finally, six simulation examples are presented to illustrate the validity of the theoretical findings.

$H_\infty $ Control for 2-D Fuzzy Systems With Interval Time-Varying Delays and Missing Measurements

In this paper, we consider the H_∞ control problem for a class of 2-D Takagi-Sugeno fuzzy described by the second Fornasini-Machesini local state-space model with time-delays and missing measurements. The state delays are allowed to be time-varying within a known interval. The measurement output is subject to randomly intermittent packet dropouts governed by a random sequence satisfying the Bernoulli distribution. The purpose of the addressed problem is to design an output-feedback controller such that the closed-loop system is globally asymptotically stable in the mean square and the prescribed H_∞ performance index is satisfied. By employing a combination of the intensive stochastic analysis and the free weighting matrix method, several delay-range-dependent sufficient conditions are presented that guarantee the existence of the desired controllers for all possible time-delays and missing measurements. The explicit expressions of such controllers are derived by means of the solution to a class of convex optimization problems that can be solved via standard software packages. Finally, a numerical simulation example is given to demonstrate the applicability of the proposed control scheme.

Partial Synchronization of Interconnected Boolean Networks

This paper addresses the partial synchronization problem for the interconnected Boolean networks (BNs) via the semi-tensor product (STP) of matrices. First, based on an algebraic state space representation of BNs, a necessary and sufficient criterion is presented to ensure the partial synchronization of the interconnected BNs. Second, by defining an induced digraph of the partial synchronized states set, an equivalent graphical description for the partial synchronization of the interconnected BNs is established. Consequently, the second partial synchronization criterion is derived in terms of adjacency matrix of the induced digraph. Finally, two examples (including an epigenetic model) are provided to illustrate the efficiency of the obtained results.

Feedback Controller Design for the Synchronization of Boolean Control Networks

This brief investigates the partial and complete synchronization of two Boolean control networks (BCNs). Necessary and sufficient conditions for partial and complete synchronization are established by the algebraic representations of logical dynamics. An algorithm is obtained to construct the feedback controller that guarantees the synchronization of master and slave BCNs. Two biological examples are provided to illustrate the effectiveness of the obtained results.

Finite Time Control Design for Bilateral Teleoperation System With Position Synchronization Error Constrained

Due to the cognitive limitations of the human operator and lack of complete information about the remote environment, the work performance of such teleoperation systems cannot be guaranteed in most cases. However, some practical tasks conducted by the teleoperation system require high performances, such as tele-surgery needs satisfactory high speed and more precision control results to guarantee patient' health status. To obtain some satisfactory performances, the error constrained control is employed by applying the barrier Lyapunov function (BLF). With the constrained synchronization errors, some high performances, such as, high convergence speed, small overshoot, and an arbitrarily predefined small residual constrained synchronization error can be achieved simultaneously. Nevertheless, like many classical control schemes only the asymptotic/exponential convergence, i.e., the synchronization errors converge to zero as time goes infinity can be achieved with the error constrained control. It is clear that finite time convergence is more desirable. To obtain a finite-time synchronization performance, the terminal sliding mode (TSM)-based finite time control method is developed for teleoperation system with position error constrained in this paper. First, a new nonsingular fast terminal sliding mode (NFTSM) surface with new transformed synchronization errors is proposed. Second, adaptive neural network system is applied for dealing with the system uncertainties and the external disturbances. Third, the BLF is applied to prove the stability and the nonviolation of the synchronization errors constraints. Finally, some comparisons are conducted in simulation and experiment results are also presented to show the effectiveness of the proposed method.

Pinning Synchronization of Directed Networks With Switching Topologies: A Multiple Lyapunov Functions Approach

This paper studies the global pinning synchronization problem for a class of complex networks with switching directed topologies. The common assumption in the existing related literature that each possible network topology contains a directed spanning tree is removed in this paper. Using tools from M -matrix theory and stability analysis of the switched nonlinear systems, a new kind of network topology-dependent multiple Lyapunov functions is proposed for analyzing the synchronization behavior of the whole network. It is theoretically shown that the global pinning synchronization in switched complex networks can be ensured if some nodes are appropriately pinned and the coupling is carefully selected. Interesting issues of how many and which nodes should be pinned for possibly realizing global synchronization are further addressed. Finally, some numerical simulations on coupled neural networks are provided to verify the theoretical results.

An Integrated Approach to Global Synchronization and State Estimation for Nonlinear Singularly Perturbed Complex Networks

This paper aims to establish a unified framework to handle both the exponential synchronization and state estimation problems for a class of nonlinear singularly perturbed complex networks (SPCNs). Each node in the SPCN comprises both "slow" and "fast" dynamics that reflects the singular perturbation behavior. General sector-like nonlinear function is employed to describe the nonlinearities existing in the network. All nodes in the SPCN have the same structures and properties. By utilizing a novel Lyapunov functional and the Kronecker product, it is shown that the addressed SPCN is synchronized if certain matrix inequalities are feasible. The state estimation problem is then studied for the same complex network, where the purpose is to design a state estimator to estimate the network states through available output measurements such that dynamics (both slow and fast) of the estimation error is guaranteed to be globally asymptotically stable. Again, a matrix inequality approach is developed for the state estimation problem. Two numerical examples are presented to verify the effectiveness and merits of the proposed synchronization scheme and state estimation formulation. It is worth mentioning that our main results are still valid even if the slow subsystems within the network are unstable.

Exponential synchronization of complex networks of linear systems and nonlinear oscillators: a unified analysis

A unified approach to the analysis of synchronization for complex dynamical networks, i.e., networks of partial-state coupled linear systems and networks of full-state coupled nonlinear oscillators, is introduced. It is shown that the developed analysis can be used to describe the difference between the state of each node and the weighted sum of the states of those nodes playing the role of leaders in the networks, thus making it feasible to consider the error dynamics for the whole network system. Different from the other various methods given in the existing literature, the analysis employed in this paper is demonstrated successfully in not only providing the consistent convergence analysis with much simpler form, but also explicitly specifying the convergence rate.

H∞ state estimation for complex networks with uncertain inner coupling and incomplete measurements

In this paper, the H∞ state estimation problem is investigated for a class of complex networks with uncertain coupling strength and incomplete measurements. With the aid of the interval matrix approach, we make the first attempt to characterize the uncertainties entering into the inner coupling matrix. The incomplete measurements under consideration include sensor saturations, quantization, and missing measurements, all of which are assumed to occur randomly. By introducing a stochastic Kronecker delta function, these incomplete measurements are described in a unified way and a novel measurement model is proposed to account for these phenomena occurring with individual probability. With the measurement model, a set of H∞ state estimators is designed such that, for all admissible incomplete measurements as well as the uncertain coupling strength, the estimation error dynamics is exponentially mean-square stable and the H∞ performance requirement is satisfied. The characterization of the desired estimator gains is derived in terms of the solution to a convex optimization problem that can be easily solved using the semidefinite program method. Finally, a numerical simulation example is provided to demonstrate the effectiveness and applicability of the proposed design approach.

Sampled-data exponential synchronization of complex dynamical networks with time-varying coupling delay

This paper studies the problem of sampled-data exponential synchronization of complex dynamical networks (CDNs) with time-varying coupling delay and uncertain sampling. By combining the time-dependent Lyapunov functional approach and convex combination technique, a criterion is derived to ensure the exponential stability of the error dynamics, which fully utilizes the available information about the actual sampling pattern. Based on the derived condition, the design method of the desired sampled-data controllers is proposed to make the CDNs exponentially synchronized and obtain a lower-bound estimation of the largest sampling interval. Simulation examples demonstrate that the presented method can significantly reduce the conservatism of the existing results, and lead to wider applications.

Distributed consensus tracking for multiple uncertain nonlinear strict-feedback systems under a directed graph

In this brief, we study the distributed consensus tracking control problem for multiple strict-feedback systems with unknown nonlinearities under a directed graph topology. It is assumed that the leader's output is time-varying and has been accessed by only a small fraction of followers in a group. The distributed dynamic surface design approach is proposed to design local consensus controllers in order to guarantee the consensus tracking between the followers and the leader. The function approximation technique using neural networks is employed to compensate unknown nonlinear terms induced from the controller design procedure. From the Lyapunov stability theorem, it is shown that the consensus errors are cooperatively semiglobally uniformly ultimately bounded and converge to an adjustable neighborhood of the origin.