Proactive wireless caching and device to device (D2D) communication have emerged as promising techniques for enhancing users' quality of service and network performance. In this paper, we propose a ...new architecture for D2D caching with inter-cluster cooperation. We study a cellular network in which users cache popular files and share them with other users either in their proximity via D2D communication or with remote users using cellular transmission. We characterize the network average delay per request from a queuing perspective. Specifically, we formulate the delay minimization problem and show that it is NP-hard. Furthermore, we prove that the delay minimization problem is equivalent to the minimization of a non-increasing monotone supermodular function subject to a uniform partition matroid constraint. A computationally efficient greedy algorithm is proposed which is proven to be locally optimal within a factor <inline-formula> <tex-math notation="LaTeX">(1 - e^{-1})\approx 0.63 </tex-math></inline-formula> of the optimum. We analyze the average per request throughput for different caching schemes and conduct the scaling analysis for the average sum throughput. We show how throughput scaling depends on video content popularity when the number of files grows asymptotically large. Simulation results show a delay reduction of 45% to 80% compared to a D2D caching system without inter-cluster cooperation.
In this paper, we consider a two-user and a three-user slotted ALOHA network with multi-packet reception (MPR) capabilities and a queue-aware transmission control. In this setting, the nodes can ...adapt their transmission probabilities and their transmission parameters based on the status of the other nodes. Each user has external bursty arrivals that are stored in their infinite capacity queues. We focus on the fundamental problem of characterizing the stable throughput region, as well as of investigating the queueing delay. For the two- and the three-user cases, we obtain the exact stability region, whereas in the former case, we also provide the conditions under which the stability region is a convex set. We perform a detailed mathematical analysis to study the queueing delay in the two-user case by formulating two boundary value problems, the solution of which provides the generating function of the joint stationary probability distribution of the queue size at user nodes. Furthermore, for the two-user symmetric case with MPR, we obtain a lower and an upper bound for the average delay without the need of solving a boundary value problem. In addition, we provide a closed form expression for the gap between the lower and the upper bound. The bounds as it is seen in the numerical results appear to be tight. Explicit expressions for the average delay are obtained for the symmetrical model with capture effect. We also provide a closed form expression for the optimal transmission probability that minimizes the average delay in the symmetric capture case. Finally, we evaluate numerically the presented theoretical results.
Recent years have seen several new directions in the design of sparse control of cyber–physical systems (CPSs) driven by the objective of reducing communication costs. One common assumption made in ...these designs is that the communication happens over a dedicated network. For many practical applications, however, communication must occur over shared networks, leading to two critical design challenges, namely — time-delays in the feedback and fair sharing of bandwidth among users. In this paper, we present a set of sparse H2 control designs under these two design constraints. An essential aspect of our design is that the delay itself can be a function of sparsity, which leads to an interesting pattern of trade-offs in the H2 performance. We present three distinct algorithms. The first algorithm preconditions the assignable bandwidth to the network and produces an initial guess for a stabilizing controller. This is followed by our second algorithm, which sparsifies this controller while simultaneously adapting the feedback delay and optimizing the H2 performance using alternating directions method of multipliers (ADMM). The third algorithm extends this approach to a multiple user scenario where an optimal number of communication links, whose total sum is fixed, is distributed fairly among users by minimizing the variance of their H2 performances. The problem is cast as a difference-of-convex (DC) program with mixed-integer linear program (MILP) constraints. We provide theorems to prove the convergence of these algorithms, followed by validation through numerical simulations.
•A two-class retrial system with class dependent service times is analyzed.•Stationary analysis is provided by solving a Riemann boundary value problem.•Stationary analysis is provided by solving a ...Fredholm integral equation.•Provide a building block towards the generalization to the case of N orbits.•Provide explicit expressions for basic performance metrics in the symmetric model.
A single server retrial queueing system with two-classes of orbiting customers, and general class dependent service times is considered. If an arriving customer finds the server unavailable, it enters a virtual queue, called the orbit, according to its type. The customers from the orbits retry independently to access the server according to the constant retrial policy. We derive the generating function of the stationary distribution of the number of orbiting customers at service completion epochs in terms of the solution of a Riemann boundary value problem. For the symmetrical system we also derived explicit expressions for the expected delay in an orbit without solving a boundary value problem. A simple numerical example is obtained to illustrate the system’s performance.
Extending classical frequency domain analysis to systems with time-varying delays remains a challenge in the systems and control field. These systems are receiving a renewed interest due to emergent ...control applications in which the use of shared communication and computation resources induce severe time-varying delays in the loop. Here, an extension of frequency domain analysis is proposed for aperiodic control loops with time-varying delays, assumed to be independent and identically distributed and to follow an exponential distribution. In aperiodic control loops, the actuation is updated immediately after a delayed sensor measurement arrives at the controller. In the present framework, the amplitudes of expected values and variances of output responses to sinusoidal inputs are plotted as a function of the input frequency. This plot allows for inferring the behavior of the response to general input signals. The usefulness of the results is illustrated in the control of a double integrator with delayed measurements.
This paper sheds the light on road active safety measurements implemented in unmanned aerial vehicles assisted vehicular networks. Despite the great potential of deploying high computing drones, the ...drone battery life is the major concern, on one hand. On the other hand, road active safety is a critical real-time process that should be tackled in a tight time window in vehicular networks. To meet the mentioned concerns, we adopt federated machine learning on the local vehicles, sending local updates to drone servers. Moreover, a dynamic frequency adaptation framework is proposed to achieve the optimal trade-off between the road active safety performance and drone’s energy consumption. The thresholds for the local update frequency are calibrated according to road safety measurements (i.e., collision rate, risky and impolite driving time on the road) and drone energy consumption. Additionally, an accurate mathematical modeling based on M/G/1 multi-class was conducted in order to access the queuing time at the drone.
Cyber-physical systems facilitate seamless interaction between the physical and digital elements for improved efficiency, automation, and real-time monitoring across domains. This study analyzes a ...novel virus-spreading model called the delayed SEI2RS model, which is specifically designed for cyber-physical systems. This model incorporates a saturated incidence rate and treatment. An emphasis of this research is to explore the impact of time delay on the transient immunity interval of restored nodes. By using the time delay associated with the transitory immunity interval of recovered nodes as the bifurcation parameter, we derive a comprehensive set of appropriate conditions to assess the local stability of the malware-existence equilibrium and determine Hopf bifurcation. The center manifold theorem and normal form theory are employed to investigate the path and stability of Hopf bifurcation. Numerical calculations were used to validate the results, providing empirical evidence for the proposed model and its implications.
To alleviate the local computation demands from the ever-increasing computation-intensive mobile applications, Mobile Edge Computing (MEC) has proved promising. Especially, by opportunistically ...offloading these computation tasks to the MEC server, the delay of computing could be significantly improved through communication. In this paper, we develop an analytical framework for joint communication and computation resources allocation for multi-user MEC systems. Specifically, to retrieve the combined effect of communication and computation capabilities, we establish a dual queue system, including a data queue sub-system and a computation queue sub-system. To address the associated stochastic resource optimization problem, we propose a low-complexity resource allocation algorithm by Lyapunov optimization to stabilize all the sub-queue systems. As the practical buffers are finite, the conventional delay analysis of Lyapunov optimization becomes inaccurate. Alternatively, we model the stochastic queue lengthes as discrete time controlled random walk processes, which are transformed to continuous time Stochastic Differential Equations (SDEs) with reflections by strong approximation. According to the steady state analysis on the SDEs, we derive closed-form steady state distributions of the queue lengths, and then obtain the average delay performance with finite buffers. Finally, the accuracy of the proposed delay analysis is verified through simulation.
Federated learning (FL) is a collaborative machine learning paradigm, which enables deep learning model training over a large volume of decentralized data residing in mobile devices without accessing ...clients' private data. Driven by the ever increasing demand for model training of mobile applications or devices, a vast majority of FL tasks are implemented over wireless fading channels. Due to the time-varying nature of wireless channels, however, random delay occurs in both the uplink and downlink transmissions of FL. How to analyze the overall time consumption of a wireless FL task, or more specifically, a FL's delay distribution, becomes a challenging but important open problem, especially for delay-sensitive model training. In this paper, we present a unified framework to calculate the approximate delay distributions of FL over arbitrary fading channels. Specifically, saddle point approximation, extreme value theory (EVT), and large deviation theory (LDT) are jointly exploited to find the approximate delay distribution along with its tail distribution, which characterizes the quality-of-service of a wireless FL system. Simulation results will demonstrate that our approximation method achieves a small approximation error, which vanishes with the increase of training accuracy.
Delays are among the most crucial adversaries to the success and performance of construction projects, making delay analysis and management a critical task for project managers. This task will be ...highly complicated in large-scale projects such as construction, which usually consist of a complex network of heterogeneous entities in continuous interaction. Traditional approaches and methods for the analysis of delays and their causes have been criticised for their ability to handle complex projects, and for considering the interrelationships between delay causes. Addressing this gap, this research introduces an alternative approach for delay causes analysis by adopting Semantic Network Analysis (SNA) method. The paper reports the results from an investigation of delays in construction projects in the Oil-Gas-Petrochemical sector using SNA. The method's capacity to identify and rank delay causes, which can assist managers in selecting appropriate measures for eliminating them, are empirically examined and discussed. The paper argues that SNA leads to a more comprehensive understanding of the main causes of delay in large and complex projects, allowing a better identification and mapping of the interrelationships between these discrete factors.