Source author record

Wenlian Lu

Wenlian Lu appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

36works
15topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

36 published item(s)

preprint2022arXiv

Analytic Investigation for Spatio-temporal Patterns Propagation in Spiking Neural Networks

Based upon the moment closure approach, a Gaussian random field is constructed to quantitatively and analytically characterize the dynamics of a random point field. The approach provides us with a theoretical tool to investigate synchronized spike propagation in a feedforward or recurrent spiking neural network. We show that the balance between the excitation and inhibition postsynaptic potentials is required for the occurrence of synfire chains. In particular, with a balanced network, the critical packet size of invasion and annihilation is observed. We also derive a sufficient analytic condition for the synchronization propagation in an asynchronous environment, which further allows us to disclose the possibility of spatial synaptic structure to sustain a stable synfire chain. Our findings are in good agreement with simulations and help us understand the propagation of spatio-temporal patterns in a random point flied.

preprint2022arXiv

On a framework of data assimilation for neuronal networks

When handling real-world data modeled by a complex network dynamical system, the number of the parameters is always even much more than the size of the data. Therefore, in many cases, it is impossible to estimate these parameters and however, the exact value of each parameter is frequently less interesting than the distribution of the parameters may contain important information towards understanding the system and data. In this paper, we propose this question arising by employing a data assimilation approach to estimate the distribution of the parameters in the leakage-integrate-fire (LIF) neuronal network model from the experimental data, for example, the blood-oxygen-level-dependent (BOLD) signal. Herein, we assume that the parameters of the neurons and synapses are inhomogeneous but independently identical distributed following certain distribution with unknown hyperparameters. Thus, we estimate these hyperparameters of the distributions of the parameters, instead of estimating the parameters themselves. We formulate this problem under the framework of data assimilation and hierarchical Bayesian method, and present an efficient method named Hierarchical Data Assimilation (HDA) to conduct the statistical inference on the neuronal network model with the BOLD signal data simulated by the hemodynamic model. We consider the LIF neuronal networks with four synapses and show that the proposed algorithm can estimate the BOLD signals and the hyperparameters with good preciseness. In addition, we discuss the influence on the performance of the algorithm configuration and the LIF network model setup.

preprint2021arXiv

Finite time Convergence of Pinning Synchronization with Linear and Nonlinear Controllers

In this paper, we propose several models, which can realize synchronization of complex networks in finite time effectively. The results apply to heterogeneous dynamic networks, too. The mechanism of finite time convergence is revealed. Different from many models, which assume the coupling matrix being symmetric (or the connecting graph is undirected), here, the coupling matrix is asymmetric (or the connecting graph is directed).

preprint2020arXiv

Adaptive algorithms for synchronization, consensus of multi-agents and anti-synchronization of direct complex networks

In this paper, we discuss distributed adaptive algorithms for synchronization of complex networks, consensus of multi-agents with or without pinning controller. The dynamics of individual node is governed by generalized QUAD condition. We design new algorithms, which can keep the left eigenvector of the adaptive coupling matrix corresponding to the zero eigenvalue invariant. Based on this invariance, various distributive adaptive synchronization, consensus, anti-synchronization models are given.

preprint2020arXiv

Preventive and Reactive Cyber Defense Dynamics with Ergodic Time-dependent Parameters Is Globally Attractive

Cybersecurity dynamics is a mathematical approach to modeling and analyzing cyber attack-defense interactions in networks. In this paper, we advance the state-of-the-art in characterizing one kind of cybersecurity dynamics, known as preventive and reactive cyber defense dynamics, which is a family of highly nonlinear system models. We prove that this dynamics in its general form with time-dependent parameters is globally attractive when the time-dependent parameters are ergodic, and is (almost) periodic when the time-dependent parameters have the stronger properties of being (almost) periodic. Our results supersede the state-of-the-art ones, including that the same type of dynamics but with time-independent parameters is globally convergent.

preprint2016arXiv

A Stochastic Model of Active Cyber Defense Dynamics

The concept of active cyber defense has been proposed for years. However, there are no mathematical models for characterizing the effectiveness of active cyber defense. In this paper, we fill the void by proposing a novel Markov process model that is native to the interaction between cyber attack and active cyber defense. Unfortunately, the native Markov process model cannot be tackled by the techniques we are aware of. We therefore simplify, via mean-field approximation, the Markov process model as a Dynamic System model that is amenable to analysis. This allows us to derive a set of valuable analytical results that characterize the effectiveness of four types of active cyber defense dynamics. Simulations show that the analytical results are inherent to the native Markov process model, and therefore justify the validity of the Dynamic System model. We also discuss the side-effect of the mean-field approximation and its implications.

preprint2016arXiv

Active Cyber Defense Dynamics Exhibiting Rich Phenomena

The Internet is a man-made complex system under constant attacks (e.g., Advanced Persistent Threats and malwares). It is therefore important to understand the phenomena that can be induced by the interaction between cyber attacks and cyber defenses. In this paper, we explore the rich phenomena that can be exhibited when the defender employs active defense to combat cyber attacks. To the best of our knowledge, this is the first study that shows that {\em active cyber defense dynamics} (or more generally, {\em cybersecurity dynamics}) can exhibit the bifurcation and chaos phenomena. This has profound implications for cyber security measurement and prediction: (i) it is infeasible (or even impossible) to accurately measure and predict cyber security under certain circumstances; (ii) the defender must manipulate the dynamics to avoid such {\em unmanageable situations} in real-life defense operations.

preprint2016arXiv

Adaptive Epidemic Dynamics in Networks: Thresholds and Control

Theoretical modeling of computer virus/worm epidemic dynamics is an important problem that has attracted many studies. However, most existing models are adapted from biological epidemic ones. Although biological epidemic models can certainly be adapted to capture some computer virus spreading scenarios (especially when the so-called homogeneity assumption holds), the problem of computer virus spreading is not well understood because it has many important perspectives that are not necessarily accommodated in the biological epidemic models. In this paper we initiate the study of such a perspective, namely that of adaptive defense against epidemic spreading in arbitrary networks. More specifically, we investigate a non-homogeneous Susceptible-Infectious-Susceptible (SIS) model where the model parameters may vary with respect to time. In particular, we focus on two scenarios we call semi-adaptive defense and fully-adaptive} defense, which accommodate implicit and explicit dependency relationships between the model parameters, respectively. In the semi-adaptive defense scenario, the model's input parameters are given; the defense is semi-adaptive because the adjustment is implicitly dependent upon the outcome of virus spreading. For this scenario, we present a set of sufficient conditions (some are more general or succinct than others) under which the virus spreading will die out; such sufficient conditions are also known as epidemic thresholds in the literature. In the fully-adaptive defense scenario, some input parameters are not known (i.e., the aforementioned sufficient conditions are not applicable) but the defender can observe the outcome of virus spreading. For this scenario, we present adaptive control strategies under which the virus spreading will die out or will be contained to a desired level.

preprint2016arXiv

Centralized and Decentralized Global Outer-synchronization of Asymmetric Recurrent Time-varying Neural Network by Data-sampling

In this paper, we discuss the outer-synchronization of the asymmetrically connected recurrent time-varying neural networks. By both centralized and decentralized discretization data sampling principles, we derive several sufficient conditions based on diverse vector norms that guarantee that any two trajectories from different initial values of the identical neural network system converge together. The lower bounds of the common time intervals between data samples in centralized and decentralized principles are proved to be positive, which guarantees exclusion of Zeno behavior. A numerical example is provided to illustrate the efficiency of the theoretical results.

preprint2016arXiv

Contraction and incremental stability of switched Carathéodory systems using multiple norms

In this paper, incremental exponential asymptotic stability of a class of switched Carathéodory nonlinear systems is studied based on the novel concept of measure of switched matrices via multiple norms and the transaction coefficients between these norms. This model is rather general and includes the case of staircase switching signals as a special case. Sufficient conditions are derived for incremental stability allowing for the system to be incrementally exponentially asymptotically stable even if some of its modes are unstable in some time periods. Numerical examples on switched linear systems switching periodically and on the synchronization of switched networks of nonlinear systems are used to illustrate the theoretical results.

preprint2016arXiv

Event-triggered stabilization of coupled dynamical systems with fast Markovian switching

In this paper, stability of linearly coupled dynamical systems with feedback pinning is studied. Event-triggered rules are employed on both diffusion coupling and feedback pinning to reduce the updating load of the coupled system. Here, both the coupling matrix and the set of pinned-nodes vary with time are induced by a homogeneous Markov chain. For each node, the diffusion coupling and feedback pinning are set up from the observation of its neighbors' and target's (if pinned) information at the latest event time and the next event time is triggered by some specified criteria. Two event-triggering rules are proposed and it is proved that if the system with time-average coupling and pinning gains are stable, the event-triggered strategies can stabilize the system if the switching is sufficiently fast. Moreover, Zeno behaviors are excluded in some cases. Finally, numerical examples are presented to illustrate the theoretical results.

preprint2016arXiv

Local pinning of networks of multi-agent systems with transmission and pinning delays

We study the stability of networks of multi-agent systems with local pinning strategies and two types of time delays, namely the transmission delay in the network and the pinning delay of the controllers. Sufficient conditions for stability are derived under specific scenarios by computing or estimating the dominant eigenvalue of the characteristic equation. In addition, controlling the network by pinning a single node is studied. Moreover, perturbation methods are employed to derive conditions in the limit of small and large pinning strengths.Numerical algorithms are proposed to verify stability, and simulation examples are presented to confirm the efficiency of analytic results.

preprint2016arXiv

Optimizing Active Cyber Defense

Active cyber defense is one important defensive method for combating cyber attacks. Unlike traditional defensive methods such as firewall-based filtering and anti-malware tools, active cyber defense is based on spreading "white" or "benign" worms to combat against the attackers' malwares (i.e., malicious worms) that also spread over the network. In this paper, we initiate the study of {\em optimal} active cyber defense in the setting of strategic attackers and/or strategic defenders. Specifically, we investigate infinite-time horizon optimal control and fast optimal control for strategic defenders (who want to minimize their cost) against non-strategic attackers (who do not consider the issue of cost). We also investigate the Nash equilibria for strategic defenders and attackers. We discuss the cyber security meanings/implications of the theoretic results. Our study brings interesting open problems for future research.

preprint2016arXiv

Preventive and Reactive Cyber Defense Dynamics Is Globally Stable

The recently proposed {\em cybersecurity dynamics} approach aims to understand cybersecurity from a holistic perspective by modeling the evolution of the global cybersecurity state. These models describe the interactions between the various kinds of cyber defenses and the various kinds of cyber attacks. We study a particular kind of cybersecurity dynamics caused by the interactions between preventive and reactive defenses (e.g., filtering and malware detection) against push- and pull-based cyber attacks (e.g., malware spreading and "drive-by download" attacks). The dynamics was previously shown to be globally stable in a {\em special} regime of the parameter universe, but little is known beyond this special regime. In this paper, we resolve an open problem in this domain by proving that the dynamics is globally stable in the {\em entire} parameter universe (i.e., the dynamics always converges to a unique equilibrium). We discuss the cybersecurity meanings and implications of this theoretic result. We also prove that the dynamics converges {\em exponentially} to the equilibrium except for a special parameter regime, in which case the dynamics converges {\em polynomially}. Since it is often difficult to compute the equilibrium, we propose new bounds of the equilibrium and numerically show that these bounds are tighter than those proposed in the literature.

preprint2016arXiv

Push- and Pull-based Epidemic Spreading in Networks: Thresholds and Deeper Insights

Understanding the dynamics of computer virus (malware, worm) in cyberspace is an important problem that has attracted a fair amount of attention. Early investigations for this purpose adapted biological epidemic models, and thus inherited the so-called homogeneity assumption that each node is equally connected to others. Later studies relaxed this often-unrealistic homogeneity assumption, but still focused on certain power-law networks. Recently, researchers investigated epidemic models in {\em arbitrary} networks (i.e., no restrictions on network topology). However, all these models only capture {\em push-based} infection, namely that an infectious node always actively attempts to infect its neighboring nodes. Very recently, the concept of {\em pull-based} infection was introduced but was not treated rigorously. Along this line of research, the present paper investigates push- and pull-based epidemic spreading dynamics in arbitrary networks, using a Non-linear Dynamical Systems approach. The paper advances the state of the art as follows: (1) It presents a more general and powerful sufficient condition (also known as epidemic threshold in the literature) under which the spreading will become stable. (2) It gives both upper and lower bounds on the global mean infection rate, regardless of the stability of the spreading. (3) It offers insights into, among other things, the estimation of the global mean infection rate through localized monitoring of a small {\em constant} number of nodes, {\em without} knowing the values of the parameters.

preprint2016arXiv

Stability of Analytic Neural Networks with Event-triggered Synaptic Feedbacks

In this paper, we investigate stability of a class of analytic neural networks with the synaptic feedback via event-triggered rules. This model is general and include Hopfield neural network as a special case. These event-trigger rules can efficiently reduces loads of computation and information transmission at synapses of the neurons. The synaptic feedback of each neuron keeps a constant value based on the outputs of the other neurons at its latest triggering time but changes at its next triggering time, which is determined by certain criterion. It is proved that every trajectory of the analytic neural network converges to certain equilibrium under this event-triggered rule for all initial values except a set of zero measure. The main technique of the proof is the Lojasiewicz inequality to prove the finiteness of trajectory length. The realization of this event-triggered rule is verified by the exclusion of Zeno behaviors. Numerical examples are provided to illustrate the efficiency of the theoretical results.

preprint2015arXiv

Distributed Event-triggered Consensus for Multi-agent Systems with Directed Topologies

In this paper, we study consensus problem in multi-agent system with directed topology by event-triggered feedback control. That is, at each agent, the diffusion coupling feedbacks are based on the information from its latest observations to its in-neighbours. We derive distributed criteria to determine the next observation time of each agent that are triggered by its in-neighbours' information and its own states respectively. We prove that if the network topology is irreducible, then under the event-triggered coupling principles, the multi-agent system reach consensus. Then, we extend these results to the case of reducible topology with spanning tree. In addition, these results are also extended to the case of self-triggered control, in terms that the next triggering time of each agent is computed based on the current states, i.e., without observing the system's states continuously. The effectiveness of the theoretical results are illustrated by numerical examples.

preprint2015arXiv

Global Convergence of Analytic Neural Networks with Event-triggered Synaptic Feedbacks

In this paper, we investigate convergence of a class of analytic neural networks with event-triggered rule. This model is general and include Hopfield neural network as a special case. The event-trigger rule efficiently reduces the frequency of information transmission between synapses of the neurons. The synaptic feedback of each neuron keeps a constant value based on the outputs of its neighbours at its latest triggering time but changes until the next triggering time of this neuron that is determined by certain criterion via its neighborhood information. It is proved that the analytic neural network is completely stable under this event-triggered rule. The main technique of proof is the $Ł$ojasiewicz inequality to prove the finiteness of trajectory length. The realization of this event-triggered rule is verified by the exclusion of Zeno behaviors. Numerical examples are provided to illustrate the theoretical results and present the optimisation capability of the network dynamics.

preprint2015arXiv

Pinning networks of coupled dynamical systems with Markovian switching couplings and event-triggered diffusions

In this paper, stability of linearly coupled dynamical systems with feedback pinning algorithm is studied. Here, both the coupling matrix and the set of pinned-nodes vary with time, induced by a continuous-time Markov chain with finite states. Event-triggered rules are employed on both diffusion coupling and feedback pinning terms, which can efficiently reduce the computation load, as well as communication load in some cases and be realized by the latest observations of the state information of its local neighborhood and the target trajectory. The next observation is triggered by certain criterion (event) based on these state information as well. Two scenarios are considered: the continuous monitoring, that each node observes the state information of its neighborhood and target (if pinned) in an instantaneous way, to determine the next triggering event time, and the discrete monitoring, that each node needs only to observe the state information at the last event time and predict the next triggering-event time. In both cases, we present several event-triggering rules and prove that if the conditions that the coupled system with persistent coupling and control can be stabilized are satisfied, then these event-trigger strategies can stabilize the system, and Zeno behaviors are excluded in some cases. Numerical examples are presented to illustrate the theoretical results.

preprint2015arXiv

Pull-Based Distributed Event-triggered Consensus for Multi-agent Systems with Directed Topologies

This paper mainly investigates consensus problem with pull-based event-triggered feedback control. For each agent, the diffusion coupling feedbacks are based on the states of its in-neighbors at its latest triggering time and the next triggering time of this agent is determined by its in-neighbors' information as well. The general directed topologies, including irreducible and reducible cases, are investigated. The scenario of distributed continuous monitoring is considered firstly, namely each agent can observe its in-neighbors' continuous states. It is proved that if the network topology has a spanning tree, then the event-triggered coupling strategy can realize consensus for the multi-agent system. Then the results are extended to discontinuous monitoring, i.e., self-triggered control, where each agent computes its next triggering time in advance without having to observe the system's states continuously. The effectiveness of the theoretical results are illustrated by a numerical example finally.

preprint2015arXiv

Structure-Based Self-Triggered Consensus in Networks of Multiagents with Switching Topologies

In this paper, we propose a new self-triggered consensus algorithm in networks of multi-agents. Different from existing works, which are based on the observation of states, here, each agent determines its next update time based on its coupling structure. Both centralized and distributed approaches of the algorithms have been discussed. By transforming the algorithm to a proper discrete-time systems without self delays, we established a new analysis framework to prove the convergence of the algorithm. Then we extended the algorithm to networks with switching topologies, especially stochastically switching topologies. Compared to existing works, our algorithm is easier to understand and implement. It explicitly provides positive lower and upper bounds for the update time interval of each agent based on its coupling structure, which can also be independently adjusted by each agent according to its own situation. Our work reveals that the event/self triggered algorithms are essentially discrete and more suitable to a discrete analysis framework. Numerical simulations are also provided to illustrate the theoretical results.

preprint2015arXiv

Synchronization in Networks of Linearly Coupled Dynamical Systems via Event-triggered Diffusions

In this paper, we utilize event-triggered coupling configuration to realize synchronization of linearly coupled dynamical systems. Here, the diffusion couplings are set up from the latest observations of the nodes of its neighborhood and the next observation time is triggered by the proposed criteria based on the local neighborhood information as well. Two scenarios are considered: continuous monitoring, that each node can observe its neighborhood's instantaneous states, and discrete monitoring, that each node can only obtain its neighborhood's states at the same time point when the coupling term is triggered. In both cases, we prove that if the system with persistent coupling can synchronize, then these event-trigger coupling strategies can synchronize the system, too.

preprint2014arXiv

A brain-wide association study of DISC1 genetic variants reveals a relationship with the structure and functional connectivity of the precuneus in schizophrenia

The Disrupted in Schizophrenia Gene 1 (DISC1) plays a role in both neural signalling and development and is associated with schizophrenia, although its links to altered brain structure and function in this disorder are not fully established. Here we have used structural and functional MRI to investigate links with six DISC1 single nucleotide polymorphisms (SNPs). We employed a brain-wide association analysis (BWAS) together with a Jacknife internal validation approach in 46 schizophrenia patients and 24 matched healthy control subjects. Results from structural MRI showed significant associations between all six DISC1 variants and gray matter volume in the precuneus, post-central gyrus and middle cingulate gyrus. Associations with specific SNPs were found for rs2738880 in the left precuneus and right post-central gyrus, and rs1535530 in the right precuneus and middle cingulate gyrus. Using regions showing structural associations as seeds a resting-state functional connectivity analysis revealed significant associations between all 6 SNPS and connectivity between the right precuneus and inferior frontal gyrus. The connection between the right precuneus and inferior frontal gyrus was also specifically associated with rs821617. Importantly schizophrenia patients showed positive correlations between the six DISC-1 SNPs associated gray matter volume in the left precuneus and right post-central gyrus and negative symptom severity. No correlations with illness duration were found. Our results provide the first evidence suggesting a key role for structural and functional connectivity associations between DISC1 polymorphisms and the precuneus in schizophrenia.

preprint2014arXiv

Achieving Cluster Consensus in Continuous-Time Networks of Multi-Agents With Inter-Cluster Non-Identical Inputs

In this paper, cluster consensus in continuous-time networks of multi-agents with time-varying topologies via non-identical inter-cluster inputs is studied. The cluster consensus contains two aspects: intra-cluster synchronization, that the state differences between agents in the same cluster converge to zero, and inter-cluster separation, that the states of the agents in different clusters do not approach. $δ$-cluster-spanning-tree in continuous-time networks of multi-agent systems plays essential role in analysis of cluster synchronization. Inter-cluster separation can be realized by imposing adaptive inputs that are identical within the same cluster but different in different clusters, under the inter-cluster common influence condition. Simulation examples demonstrate the effectiveness of the derived theoretical results.

preprint2014arXiv

Characterizing the Power of Moving Target Defense via Cyber Epidemic Dynamics

Moving Target Defense (MTD) can enhance the resilience of cyber systems against attacks. Although there have been many MTD techniques, there is no systematic understanding and {\em quantitative} characterization of the power of MTD. In this paper, we propose to use a cyber epidemic dynamics approach to characterize the power of MTD. We define and investigate two complementary measures that are applicable when the defender aims to deploy MTD to achieve a certain security goal. One measure emphasizes the maximum portion of time during which the system can afford to stay in an undesired configuration (or posture), without considering the cost of deploying MTD. The other measure emphasizes the minimum cost of deploying MTD, while accommodating that the system has to stay in an undesired configuration (or posture) for a given portion of time. Our analytic studies lead to algorithms for optimally deploying MTD.

preprint2014arXiv

Event-triggered Consensus for Multi-agent Systems with Asymmetric and Reducible Topologies

This paper studies the consensus problem of multi-agent systems with asymmetric and reducible topologies. Centralized event-triggered rules are provided so as to reduce the frequency of system's updating. The diffusion coupling feedbacks of each agent are based on the latest observations from its in-neighbors and the system's next observation time is triggered by a criterion based on all agents' information. The scenario of continuous monitoring is first considered, namely all agents' instantaneous states can be observed. It is proved that if the network topology has a spanning tree, then the centralized event-triggered coupling strategy can realize consensus for the multi-agent system. Then the results are extended to discontinuous monitoring, where the system computes its next triggering time in advance without having to observe all agents' states continuously. Examples with numerical simulation are provided to show the effectiveness of the theoretical results.

preprint2014arXiv

New criterion of asymptotic stability for delay systems with time-varying structures and delays

In this paper, we study asymptotic stability of the zero solution of a class of differential systems governed by a scalar differential inequality with time-varying structures and delays. We establish a new generalized Halanay inequality for the asymptotic stability of the zero solution for such systems under more relaxed conditions than the existing ones. We also apply the theoretical results to the analysis of self synchronization in networks of delayed differential systems and obtained a more general sufficient condition for self synchronization.

preprint2014arXiv

Pinning dynamic systems of networks with Markovian switching couplings and controller-node set

In this paper, we study pinning control problem of coupled dynamical systems with stochastically switching couplings and stochastically selected controller-node set. Here, the coupling matrices and the controller-node sets change with time, induced by a continuous-time Markovian chain. By constructing Lyapunov functions, we establish tractable sufficient conditions for exponentially stability of the coupled system. Two scenarios are considered here. First, we prove that if each subsystem in the switching system, i.e. with the fixed coupling, can be stabilized by the fixed pinning controller-node set, and in addition, the Markovian switching is sufficiently slow, then the time-varying dynamical system is stabilized. Second, in particular, for the problem of spatial pinning control of network with mobile agents, we conclude that if the system with the average coupling and pinning gains can be stabilized and the switching is sufficiently fast, the time-varying system is stabilized. Two numerical examples are provided to demonstrate the validity of these theoretical results, including a switching dynamical system between several stable sub-systems, and a dynamical system with mobile nodes and spatial pinning control towards the nodes when these nodes are being in a pre-designed region.

preprint2013arXiv

Achieving Precise Mechanical Control in Intrinsically Noisy Systems

How can precise control be realised in intrinsically noisy systems? Here, we develop a general theoretical framework that provides a way to achieve precise control in signal-dependent noisy environments. When the control signal has Poisson or supra-Poisson noise, precise control is not possible. If, however, the control signal has sub-Poisson noise, then precise control is possible. For this case, the precise control solution is not a function, but a rapidly varying random process that must be averaged with respect to a governing probability density functional. Our theoretical approach is applied to the control of straight-trajectory arm movement. Sub-Poisson noise in the control signal is shown to be capable of leading to precise control. Intriguingly, the control signal for this system has a natural counterpart, namely the bursting pulses of neurons --trains of Dirac-delta functions-- in biological systems to achieve precise control performance.

preprint2013arXiv

Achieving synchronization in arrays of coupled differential systems with time-varying couplings

In this paper, we study complete synchronization of the complex dynamical networks described by linearly coupled ordinary differential equation systems (LCODEs). The coupling considered here is time-varying in both the network structure and the reaction dynamics. Inspired by our previous paper [6], the extended Hajnal diameter is introduced and used to measure the synchronization in a general differential system. Then we find that the Hajnal diameter of the linear system induced by the time-varying coupling matrix and the largest Lyapunov exponent of the synchronized system play the key roles in synchronization analysis of LCODEs with the identity inner coupling matrix. As an application, we obtain a general sufficient condition guaranteeing directed time-varying graph to reach consensus. Example with numerical simulation is provided to show the effectiveness the theoretical results.

preprint2013arXiv

Cluster consensus in discrete-time networks of multi-agents with inter-cluster nonidentical inputs

In this paper, cluster consensus of multi-agent systems is studied via inter-cluster nonidentical inputs. Here, we consider general graph topologies, which might be time-varying. The cluster consensus is defined by two aspects: the intra-cluster synchronization, that the state differences between each pair of agents in the same cluster converge to zero, and inter-cluster separation, that the states of the agents in different clusters are separated. For intra-cluster synchronization, the concepts and theories of consensus including the spanning trees, scramblingness, infinite stochastic matrix product and Hajnal inequality, are extended. With them, it is proved that if the graph has cluster spanning trees and all vertices self-linked, then static linear system can realize intra-cluster synchronization. For the time-varying coupling cases, it is proved that if there exists T>0 such that the union graph across any T-length time interval has cluster spanning trees and all graphs has all vertices self-linked, then the time-varying linear system can also realize intra-cluster synchronization. Under the assumption of common inter-cluster influence, a sort of inter-cluster nonidentical inputs are utilized to realize inter-cluster separation, that each agent in the same cluster receives the same inputs and agents in different clusters have different inputs. In addition, the boundedness of the infinite sum of the inputs can guarantee the boundedness of the trajectory. As an application, we employ a modified non-Bayesian social learning model to illustrate the effectiveness of our results.

preprint2013arXiv

Pinning consensus in networks of multiagents via a single impulsive controller

In this paper, we discuss pinning consensus in networks of multiagents via impulsive controllers. In particular, we consider the case of using only one impulsive controller. We provide a sufficient condition to pin the network to a prescribed value. It is rigorously proven that in case the underlying graph of the network has spanning trees, the network can reach consensus on the prescribed value when the impulsive controller is imposed on the root with appropriate impulsive strength and impulse intervals. Interestingly, we find that the permissible range of the impulsive strength completely depends on the left eigenvector of the graph Laplacian corresponding to the zero eigenvalue and the pinning node we choose. The impulses can be very sparse, with the impulsive intervals being lower bounded. Examples with numerical simulations are also provided to illustrate the theoretical results.

preprint2011arXiv

Bifurcations of Emergent Bursting in a Neuronal Network

Currently we routinely develop a complex neuronal network to explain observed but often paradoxical phenomena based upon biological recordings. Here we present a general approach to demonstrate how to mathematically tackle such a complex neuronal network so that we can fully understand the underlying mechanism. Using an oxytocin network developed earlier as an example, we show how we can reduce a complex model with many variables to a tractable model with two variables, while retaining all key qualitative features of the model. The approach enables us to uncover how emergent synchronous bursting could arise from a neuronal network which embodies all known biological features. Surprisingly, the discovered mechanisms for bursting are similar to those found in other systems reported in the literature, and illustrate a generic way to exhibit emergent and multi-time scale spikes: at the membrane potential level and the firing rate level.

preprint2011arXiv

Consensus and synchronization in discrete-time networks of multi-agents with stochastically switching topologies and time delays

We analyze stability of consensus algorithms in networks of multi-agents with time-varying topologies and delays. The topology and delays are modeled as induced by an adapted process and are rather general, including i.i.d.\ topology processes, asynchronous consensus algorithms, and Markovian jumping switching. In case the self-links are instantaneous, we prove that the network reaches consensus for all bounded delays if the graph corresponding to the conditional expectation of the coupling matrix sum across a finite time interval has a spanning tree almost surely. Moreover, when self-links are also delayed and when the delays satisfy certain integer patterns, we observe and prove that the algorithm may not reach consensus but instead synchronize at a periodic trajectory, whose period depends on the delay pattern. We also give a brief discussion on the dynamics in the absence of self-links.

preprint2009arXiv

Cluster synchronization in networks of coupled non-identical dynamical systems

In this paper, we study cluster synchronization in networks of coupled non-identical dynamical systems. The vertices in the same cluster have the same dynamics of uncoupled node system but the uncoupled node systems in different clusters are different. We present conditions guaranteeing cluster synchronization and investigate the relation between cluster synchronization and the unweighted graph topology. We indicate that two condition play key roles for cluster synchronization: the common inter-cluster coupling condition and the intra-cluster communication. From the latter one, we interpret the two well-known cluster synchronization schemes: self-organization and driving, by whether the edges of communication paths lie at inter or intra-cluster. By this way, we classify clusters according to whether the set of edges inter- or intra-cluster edges are removable if wanting to keep the communication between pairs of vertices in the same cluster. Also, we propose adaptive feedback algorithms on the weights of the underlying graph, which can synchronize any bi-directed networks satisfying the two conditions above. We also give several numerical examples to illustrate the theoretical results.