Hopf Bifurcation and Stability Analysis of a Congestion Control Model with Delay in Wireless Access Network

We drive a scalar delay differential system to model the congestion of a wireless access network setting. The Hopf bifurcation of this system is investigated using the control and bifurcation theory; it is proved that there exists a critical value of delay for the stability. When the delay value passes through the critical value, the system loses its stability and a Hopf bifurcation occurs. Furthermore, the direction and stability of the bifurcating periodic solutions are derived by applying the normal form theory and the center manifold theorem. Finally, some examples and numerical simulations are presented to show the feasibility of the theoretical results

Dynamical Properties of TCP System with AQM Routers

In this report we discuss the dynamics of heterogeneous TCP systems with propagation delays. Instead of studying the local linearized TCP dynamics, we study the global stability conditions and obtain the stability regions. Also we provide proof of periodic behavior of a single TCP connection when stability conditions are not met

Study on the Performance of TCP over 10Gbps High Speed Networks

Internet traffic is expected to grow phenomenally over the next five to ten years. To cope with such large traffic volumes, high-speed networks are expected to scale to capacities of terabits-per-second and beyond. Increasing the role of optics for packet forwarding and transmission inside the high-speed networks seems to be the most promising way to accomplish this capacity scaling. Unfortunately, unlike electronic memory, it remains a formidable challenge to build even a few dozen packets of integrated all-optical buffers. On the other hand, many high-speed networks depend on the TCP/IP protocol for reliability which is typically implemented in software and is sensitive to buffer size. For example, TCP requires a buffer size of bandwidth delay product in switches/routers to maintain nearly 100\% link utilization. Otherwise, the performance will be much downgraded. But such large buffer will challenge hardware design and power consumption, and will generate queuing delay and jitter which again cause problems. Therefore, improve TCP performance over tiny buffered high-speed networks is a top priority. This dissertation studies the TCP performance in 10Gbps high-speed networks. First, a 10Gbps reconfigurable optical networking testbed is developed as a research environment. Second, a 10Gbps traffic sniffing tool is developed for measuring and analyzing TCP performance. New expressions for evaluating TCP loss synchronization are presented by carefully examining the congestion events of TCP. Based on observation, two basic reasons that cause performance problems are studied. We find that minimize TCP loss synchronization and reduce flow burstiness impact are critical keys to improve TCP performance in tiny buffered networks. Finally, we present a new TCP protocol called Multi-Channel TCP and a new congestion control algorithm called Desynchronized Multi-Channel TCP (DMCTCP). Our algorithm implementation takes advantage of a potential parallelism from the Multi-Path TCP in Linux. Over an emulated 10Gbps network ruled by routers with only a few dozen packets of buffers, our experimental results confirm that bottleneck link utilization can be much better improved by DMCTCP than by many other TCP variants. Our study is a new step towards the deployment of optical packet switching/routing networks

Tools and Algorithms for the Construction and Analysis of Systems

This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows: Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning. Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems

Noncooperative static and dynamic games: addressing shared constraints and phase transitions

Compared to linear systems, nonlinear generalizations may exhibit both non-equilibrium and equilibrium behavior in the long run. The characterization of such behavior is challenging, particularly when overlaid by an optimization or control layer, and is of relevance in a range of applications, e.g., neuroscience, biology, economics, communication networks and power systems. The objective of this thesis is to consider these questions for two prototypical applications of nonlinear multi-agent systems: (1) large population of coupled oscillators and (2) communication networks. The research is divided into the following three parts: Synchronization of oscillators: The purpose of this part is to understand phase transition in noncoop- erative dynamic games with a large number of agents. The focus of analysis is on a variation of the large population linear quadratic Gaussian (LQG) model proposed by Huang et. al. 2007 [1], comprised here of a controlled N-dimensional stochastic differential equation model, coupled only through a cost function. The states are interpreted as phase angles for a collection of non-homogeneous oscillators, and in this way the model may be regarded as an extension of the classical coupled oscillator model of Kuramoto. A deterministic PDE model is proposed, which is shown to approximate the stochastic system as the population size approaches infinity. Key to the analysis of the PDE model is the existence of a particular Nash equilibrium in which the agents ‘opt out’ of the game, setting their controls to zero, resulting in the ‘incoherence’ equilibrium. Next we introduce approximate dynamic programming (ADP) techniques for the design and adaptation (learning) of approximately optimal control laws for this model. For this purpose, a parameterization is proposed, based on analysis of the mean-field PDE model for the game. In an offline setting, a Galerkin procedure is introduced to choose the optimal parameters. In an online setting, a steepest descent algorithm is proposed. We provide detailed analysis of the optimal parameter values as well as the Bellman error with both the Galerkin approximation and the online algorithm. Methods from dynamical systems theory are used in a bifurcation analysis, based on a linearization of the PDE model about the incoherence equilibrium. A critical value of the control cost parameter is identified: Above this value, the oscillators are incoherent; and below this value (when control is sufficiently cheap) the oscillators synchronize. Then we simplify the analysis by relating the solutions of the PDE model to the solutions of a certain nonlinear eigenvalue problem. Both analysis and computation are significantly easier for the nonlinear eigenvalue problem. Apart from the bifurcation analysis that shows existence of a phase transition, we also describe a Lyapunov-Schmidt perturbation method to obtain asymptotic formulae for the small amplitude bifurcated solutions. A key question in the design of engineered competitive systems has been that of the efficiency of the associated equilibria. Yet, there is little known in this regard in the context of stochastic dynamic games in a large population regime. Here, we examine the efficiency of the associated mean-field equilibria with respect to a related welfare optimization problem. We construct variational problems both for the noncooperative game and its centralized counterpart and employ these problems as a vehicle for conducting this analysis. Using a bifurcation analysis, we analyze the variational solutions and the associated efficiency loss. An expression for the local bound of efficiency loss is obtained for the homogeneous population. All the conclusions are illustrated with results from numerical experiments. Nash games with coupled strategy sets: Generalized Nash equilibria (GNE) represent extensions of the Nash solution concept when the strategy sets are coupled across agents. We consider a restricted class of such games, referred to as generalized Nash games, in which the agents contend with shared or common constraints and their payoff functions are further linked via a scaled congestion cost metric. When strategy sets are continuous and the metric is an increasing convex function, a solution to a related variational in- equality provides a set of equilibria characterized by common Lagrange multipliers for shared constraints. In general, this variational inequality problem is non-monotone. However, we show that under mild con- ditions, it admits solutions, even in the absence of restrictive compactness assumptions on strategy sets. Additionally, we show that the equilibrium is locally unique both in the primal space as well as in the larger primal-dual space. The existence statements can be generalized to accommodate a piecewise-smooth metric while affine restrictions, surprisingly, lead to both existence and uniqueness guarantees. The second half of the part provides a brief discussion of distributed computation of such equilibria in monotone regimes via a distributed iterative Tikhonov regularization (ITR) scheme. Notably, such schemes are single-timescale counterparts of standard Tikhonov regularization methods and involve updating the regularization parameter after every gradient step. Application of such techniques to a class of network flow rate allocation games suggests that the ITR schemes perform better than their two-timescale counterparts. Nonlinear network flow control with AQM feedback: The last part of this thesis investigates stability, bifurcation and oscillations arising in a communication network model with a large number of heteroge- neous users adopting a Transmission Control Protocol (TCP)-like rate control scheme with an Active Queue Management (AQM) router. The heterogeneity in the system is due to different user delays that are known and fixed but taken from a given distribution. It is shown that for any given distribution of delays, there exists a critical amount of feedback (due to AQM) at which the equilibrium loses stability and a limit cy- cling solution develops via a Hopf bifurcation. The nature (criticality) of the bifurcation is investigated with the aid of Lyapunov-Schmidt perturbation method. The results of the analysis are numerically verified and provide valuable insights into dynamics of the AQM control system