Threshold analysis of the susceptible-infected-susceptible model on overlay networks

In this paper, we study epidemic spreading on overlay networks in which n multiple sets of links interconnect among the same nodes. By using the microscopic Markov-chain approximation (MMA) approach, we establish the conditions of epidemic outbreak for two kinds of spreading mechanisms in such an overlay network: the concatenation case and the switching case. When a uniform infection rate is set in all the subnetworks, we find the epidemic threshold for the switching case is just n times as large as that of concatenation case. We also find that the overlay network with a uniform infection rate can be considered as an equivalent (in the sense of epidemic dynamics and epidemic threshold) weighted network. To be specific, the concatenation case corresponds to the integer weighted network, while the switching case corresponds to the fractional weighted network. Interestingly, the time-varying unweighted network can be mapped into the static weighted network. Our analytic results exhibit good agreement with numerical simulations.     

Switching systems and entropy

Switching systems are non-autonomous dynamical systems obtained by switching between two or more autonomous dynamical systems as time goes on. They can be mainly found in control theory, physics, economy, biomathematics, chaotic cryptography and of course in the theory of dynamical systems, in both discrete and continuous time. Much of the recent interest in these systems is related to the emergence of new properties by the mechanism of switching, a phenomenon known in the literature as Parrondo's paradox. In this paper we consider a discrete-time switching system composed of two affine transformations and show that the switched dynamics has the same topological entropy as the switching sequence. The complexity of the switching sequence, as measured by the topological entropy, is fully transferred, for example, to the switched dynamics in this particular case.     

Network representation of dynamical systems: Connectivity patterns,information and predictability

The present work elaborates on predictability and information aspects of dynamical systems, in connection with the connectivity features of their network representation. The basic idea underlying this work is to map the set of coarse-grained states of a dynamical system onto a set of network nodes and transitions between them onto a set of network links. Based on the vertex centrality of these nodes, we define (a) a local indicator of predictability, (b) a measure of the information that is available about the state of the system after one transition occurring within an arbitrary long time window and (c) an upper bound for the time horizon of predictability. We address the cases of the tent and the cusp maps, as representative examples of Markov and non-Markov processes. An analytical exact result for the horizon of predictability is obtained for the tent map, as well as for its higher iterates, and its connection with the corresponding network diameters is discussed. Similarly, analytical expressions are derived for the bounds of the predictability horizon in the case of the cusp map.     

On an eco-epidemiological model with prey harvesting and predator switching: Local and global perspectives

In this paper, we study an eco-epidemiological model where prey disease is modeled by a Susceptible-Infected (SI) scheme. Saturation incidence kinetics is used to model the contact process. The predator population adapt switching technique among susceptible and infected prey. The prey species is supposed to be commercially viable and undergo constant non-selective harvesting. We study the stability aspects of the basic and the switching models around the infection-free state and the infected steady state from a local as well as a global perspective. Our aim is to study the role of harvesting and switching on the dynamics of disease propagation and/or eradication. A comparison of the local and global dynamical behavior in terms of important system parameters is obtained. Numerical simulations are done to illustrate the analytical results.     

Analysis and stability of consensus in networked control systems

In this paper, the consensus problem in networks of integrators is investigated. After recalling the classical diffusive protocol, we present in a unified framework some results on the rate of convergence previously presented in the literature. Then, we introduce two switching communication protocols, one based on a switching coupling law between neighboring nodes, the other on the conditional activation of links in the network. We show that the former protocol induces the monotonicity of each system in the network, enhancing the speed of convergence to consensus. Moreover, adopting this novel protocol, we are able to control the network, steering the nodes’ dynamics to a desired consensus value. The aim of the latter protocol is instead to select adaptively the activation of the edges of the network, in accordance with the dynamics of the network. After showing the effectiveness of both approaches through numerical simulations, the stability properties of these protocols are discussed.     

The blocking probability of spider-web networks

We determine the limiting behavior of the blocking probability for spider-web networks, a class of crossbar switching networks proposed by Ikeno. We use a probabilistic model proposed by the author, in which the busy links always form disjoint routes through the network. We show that if the occupancy probability is below the threshold 2 - √2 = 0.5857…, then the blocking probability tends to zero, whereas above this threshold it tends to one. This provides a theoretical explanation for results observed empirically in simulations by Bassalygo, Neiman, and Vvedenskaya.     

Finite-time semistability,Filippov systems,and consensus protocols for nonlinear dynamical networks with switching topologies

This paper focuses on semistability and finite-time semistability for discontinuous dynamical systems. Semistability is the property whereby the solutions of a dynamical system converge to Lyapunov stable equilibrium points determined by the system initial conditions. In this paper, we extend the theory of semistability to discontinuous autonomous dynamical systems. In particular, Lyapunov-based tests for strong and weak semistability as well as finite-time semistability for autonomous differential inclusions are established. Using these results we then develop a framework for designing semistable and finite-time semistable protocols for dynamical networks with switching topologies. Specifically, we present distributed nonlinear static and dynamic output feedback controller architectures for multiagent network consensus and rendezvous with dynamically changing communication topologies.     

Centers and isochronous centers of a class of quasi-analytic switching systems

In this paper, we study the integrability and linearization of a class of quadratic quasi-analytic switching systems. We improve an existing method to compute the focus values and periodic constants of quasianalytic switching systems. In particular, with our method, we demonstrate that the dynamical behaviors of quasi-analytic switching systems are more complex than those of continuous quasi-analytic systems, by showing the existence of six and seven limit cycles in the neighborhood of the origin and infinity, respectively, in a quadratic quasi-analytic switching system. Moreover, explicit conditions are obtained for classifying the centers and isochronous centers of the system.     

The Lattice of Synchrony Subspaces of a Coupled Cell Network: Characterization and Computation Algorithm

Coupled cell systems are networks of dynamical systems (the cells), where the links between the cells are described through the network structure, the coupled cell network. Synchrony subspaces are spaces defined in terms of equalities of certain cell coordinates that are flow-invariant for all coupled cell systems associated with a given network structure. The intersection of synchrony subspaces of a network is also a synchrony subspace of the network. It follows, then, that, given a coupled cell network, its set of synchrony subspaces, taking the inclusion partial order relation, forms a lattice. In this paper we show how to obtain the lattice of synchrony subspaces for a general network and present an algorithm that generates that lattice. We prove that this problem is reduced to obtain the lattice of synchrony subspaces for regular networks. For a regular network we obtain the lattice of synchrony subspaces based on the eigenvalue structure of the network adjacency matrix.     

A generalization of Lotka–Volterra,GLV, systems with some dynamical and topological properties

It is shown that local asymptotic instability is related to the existence of a positive Lyapunov exponent which is a necessary condition for chaos. Also it is proved that linear transformations do not affect the dynamical behaviour of the system. A generalized Lotka–Volterra (GLV) model is introduced and proved that for specific choices of parameters it exhibits chaos. Knots and links which arise from the system which describe the behaviour of a typical nuclear spin are studied. We conjecture that knots and links associated GLV is much more general than Lorenz knots, and the one predator – two preys LV model exhibits chaos for general parameters.     

Tree network design avoiding congestion

We introduce in this paper an optimal method for tree network design avoiding congestion. We see this problem arising in telecommunication and transportation networks as a flow extension of the Steiner problem in directed graphs, thus including as a particular case any alternative approach based on the minimum spanning tree problem. Our multi-commodity formulation is able to cope with the design of centralized computer networks, modern multi-cast multi-party or hub-based transportation trees. The objective in such cases is the minimization of the sum of the fixed (structural) and variable (operational) costs of all the arcs composing an arborescence that links the origin node (switching center, server, station) to every demand node (multi-cast participants, users in general). The non-linear multi-commodity flow model is solved by a generalized Benders decomposition approach.     

On a Class of Optimal Control Problems with State Jumps

In this paper, we consider a class of optimal control problems in which the dynamical system involves a finite number of switching times together with a state jump at each of these switching times. The locations of these switching times and a parameter vector representing the state jumps are taken as decision variables. We show that this class of optimal control problems is equivalent to a special class of optimal parameter selection problems. Gradient formulas for the cost functional and the constraint functional are derived. On this basis, a computational algorithm is proposed. For illustration, a numerical example is included.     

Online optimization of LTI systems under persistent attacks: Stability,tracking, and robustness

We study the stability properties of a closed-loop system composed of a dynamical plant and a feedback controller, the latter generating control signals that can be compromised by a malicious attacker. We consider two classes of feedback controllers: a static output-feedback controller, and a dynamical gradient-flow controller that seeks to steer the output of the plant towards the solution of a convex optimization problem. In both cases, we analyze the stability properties of the closed-loop system under a class of switching attacks that persistently modify the control inputs generated by the controllers. Our stability analysis leverages the framework of hybrid dynamical systems, Lyapunov-based arguments for switching systems with unstable modes, and singular perturbation theory. Our results reveal that, under a suitable time-scale separation between plant and controllers, the stability of the interconnected system can be preserved when the attack occurs with “sufficiently low frequency” in any bounded time interval. We present simulation results in a power-grid example that corroborate the technical findings.     

Routeing in a Network with Multi-Class Links

Consider a communication network with certain nodes and different types of links. In addition to the normal link cost, a transformation cost is charged if the incoming link and the outgoing link are of different types. An optimal routeing from a given node to its destination node is sought. The major difficulty in handling this problem is that the principle of optimality does not hold. A model with node separation is built to overcome this difficulty. By using the new model, the original routeing problem is no more than a shortest-path problem. Hence, we can implement this model to current electronic switching machines.     

The Cross-Entropy Method for Network Reliability Estimation

Consider a network of unreliable links, modelling for example a communication network. Estimating the reliability of the network—expressed as the probability that certain nodes in the network are connected—is a computationally difficult task. In this paper we study how the Cross-Entropy method can be used to obtain more efficient network reliability estimation procedures. Three techniques of estimation are considered: Crude Monte Carlo and the more sophisticated Permutation Monte Carlo and Merge Process. We show that the Cross-Entropy method yields a speed-up over all three techniques.     

Enumeration and Search Procedures for a Hub Location Problem with Economies of Scale

Within a communications or transportation network, in which a number of locations exchange material or information, hubs can be used as intermediate switching points. In this way, traffic can be consolidated on inter-hub links and, thus, achieve economies of scale in transport costs. Recently, O'Kelly and Brian in 1998 proposed a model (termed the FLOWLOC model) that treats these economies of scale by means of piecewise-linear concave cost functions on the interhub arcs. We show that, for a fixed set of hubs, the FLOWLOC model can be solved using the classic Uncapacitated Facility Location Problem (UFLP). This observation then motivates an optimal enumeration procedure for the FLOWLOC model, as well as some search heuristics that are based upon tabu search and greedy random adaptive search procedures (GRASP). These search procedures would be especially applicable for large-sized problems. Some computational experience is described.     

Broad-scale small-world network topology induces optimal synchronization of flexible oscillators

The discovery of small-world and scale-free properties of many man-made and natural complex networks has attracted increasing attention. Of particular interest is how the structural properties of a network facilitate and constrain its dynamical behavior. In this paper we study the synchronization of weakly coupled limit-cycle oscillators in dependence on the network topology as well as the dynamical features of individual oscillators. We show that flexible oscillators, characterized by near zero values of divergence, express maximal correlation in broad-scale small-world networks, whereas the non-flexible (rigid) oscillators are best correlated in more heterogeneous scale-free networks. We found that the synchronization behavior is governed by the interplay between the networks global efficiency and the mutual frequency adaptation. The latter differs for flexible and rigid oscillators. The results are discussed in terms of evolutionary advantages of broad-scale small-world networks in biological systems.     

Optimal temporal path on spatial decaying networks

We introduce temporal effect to the classical Kleinberg model and study how it affects the spatial structure of optimal transport network. The initial network is built from a regular $d$-dimensional lattice added by shortcuts with probability $p(r_{ij})\sim r_{ij}^{-\alpha} $ , where $r_{ij}$ is the geometric distance between node $i$ and $j$. By assigning each shortcut an energy $E=r \cdot \tau$, a link with length $r$ survives within period $\tau$,which leads the network to a decaying dynamics of constantly losing long-range links. We find new optimal transport in the dynamical system for $\alpha=\frac{3}{4}d$ , in contrast to any other result in static systems. The conclusion does not depend on the information used for navigation, being based on local or global knowledge of the network, which indicates the possibility of the optimal design for general transport dynamics in the time-varying network.     

Stabilization of switched DAEs via fast switching

Switched differential algebraic equations (switched DAEs) can model dynamical systems with state constraints together with sudden structural changes (switches). These switches may lead to induced jumps and can destabilize the system even in the case that each mode is stable. However, the opposite effect is also possible; in particular, the question of finding a stabilizing switching signal is of interest. Two approaches are presented how to stabilize a switched DAE via fast switching. (© 2016 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)     

New conditions for synchronization in complex networks with multiple time-varying delays

In this paper, two kinds of synchronization problems of complex dynamical networks with multiple time-varying delays are investigated, that is, the cases with fixed topology and with switching topology. For the former, different from the commonly used linear matrix inequality (LMI) method, we adopt the approach basing on the scramblingness property of the network’s weighted adjacency matrix. The obtained result implies that the network will achieve exponential synchronization for appropriate communication delays if the network’s weighted adjacency matrix is of scrambling property and the coupling strength is large enough. Note that, our synchronization condition is very new, which would be easy to check in comparison with those previously reported LMIs. Moreover, we extend the result to the case when the interaction topology is switching. The maximal allowable upper bounds of communication delays are obtained in each case. Numerical simulations are given to demonstrate the effectiveness of the theoretical results.