Abstract:Networks with hop-by-hop flow control occur in several contexts, from data centers to systems architectures (e.g., wormhole-routing networks on chip). A worst-case end-to-end delay in such networks can be computed using Network Calculus (NC), an algebraic theory where traffic and service guarantees are represented as curves in a Cartesian plane. NC uses transformation operations, e.g., the min-plus convolution, to model how the traffic profile changes with the traversal of network nodes. NC allows one to model flow-controlled systems, hence one can compute the end-to-end service curve describing the minimum service guaranteed to a flow traversing a tandem of flow-controlled nodes. However, while the algebraic expression of such an end-to-end service curve is quite compact, its computation is often intractable from an algorithmic standpoint: data structures tend to grow quickly to unfeasibly large sizes, making operations intractable, even with as few as three hops. In this paper, we propose computational and algebraic techniques to mitigate the above problem. We show that existing techniques (such as reduction to compact domains) cannot be used in this case, and propose an arsenal of solutions, which include methods to mitigate the data representation space explosion as well as computationally efficient algorithms for the min-plus convolution operation. We show that our solutions allow a significant speedup, enable analysis of previously unfeasible case studies, and -- since they do not rely on any approximation -- still provide exact results.

Network Calculus Analysis of a Feedback System with Random Service

Composable Worst-Case Delay Bound Analysis Using Network Calculus.

Window Flow Control Systems with Random Service

Dynamics of Quasi Linear Systems with Multi-time-delayed Feedback Control and Wide-band Random Excitation.

Performance Evaluation for Sdn Deployment: an Approach Based on Stochastic Network Calculus

Probabilistic Performance Analysis of Networks using an Improved Network Service Envelope Approach

Stabilization on A Class of Networked Control Systems with Random Communication Delay

Network Calculus Characterization of Congestion Control for Time-Varying Traffic

State Feedback Control for Lurie Networked Control Systems

Modelling and simulation of polycomb-dependent chromosomal interactions in drosophila

Modeling and Analysis of Rayleigh Fading Channels Using Stochastic Network Calculus

Computationally Efficient Worst-Case Analysis of Flow-Controlled Networks with Network Calculus

State Feedback Control of Uncertain Networked Control Systems With Random Time Delays

Congestion Control with Deterministic Service Delay Guarantee

Stability analysis and controller design for networked control systems with random time delay

On Applying Stochastic Network Calculus

When stochastic rate-delay services meet stochastic network calculus.

Analysis and synthesis of networked control systems with random network-induced delays and sampling intervals

SRD Service: A Stochastic Network Calculus Approach for Service Differentiation Analysis

State Feedback Stabilization of Networked Control Systems With Random Time Delays and Packet Dropout