Min-Plus Linear Systems Theory and Bandwidth Estimation Min-Plus Linear Systems Theory and Bandwidth Estimation TexPoint fonts used in EMF. Read the TexPoint.

Slides:



Advertisements
Similar presentations
Congestion Control and Fairness Models Nick Feamster CS 4251 Computer Networking II Spring 2008.
Advertisements

pathChirp Efficient Available Bandwidth Estimation
Lecture 7: Basis Functions & Fourier Series
1 CNPA B Nasser S. Abouzakhar Queuing Disciplines Week 8 – Lecture 2 16 th November, 2009.
1 CONGESTION CONTROL. 2 Congestion Control When one part of the subnet (e.g. one or more routers in an area) becomes overloaded, congestion results. Because.
24-1 Chapter 24. Congestion Control and Quality of Service (part 1) 23.1 Data Traffic 23.2 Congestion 23.3 Congestion Control 23.4 Two Examples.
Resource Allocation: Deterministic Analysis. Traffic Model Stochastic Different sample paths with different properties Expected case analysis Deterministic.
Lecture 7 Linear time invariant systems
Ion Stoica, Scott Shenker, and Hui Zhang SIGCOMM’98, Vancouver, August 1998 subsequently IEEE/ACM Transactions on Networking 11(1), 2003, pp Presented.
Receiver-driven Layered Multicast S. McCanne, V. Jacobsen and M. Vetterli SIGCOMM 1996.
EE-2027 SaS 06-07, L11 1/12 Lecture 11: Fourier Transform Properties and Examples 3. Basis functions (3 lectures): Concept of basis function. Fourier series.
Worst-case Fair Weighted Fair Queueing (WF²Q) by Jon C.R. Bennett & Hui Zhang Presented by Vitali Greenberg.
Sep 16, 2005CS477: Analog and Digital Communications1 LTI Systems, Probability Analog and Digital Communications Autumn
CS 268: Lecture 15/16 (Packet Scheduling) Ion Stoica April 8/10, 2002.
EE 685 presentation Optimization Flow Control, I: Basic Algorithm and Convergence By Steven Low and David Lapsley Asynchronous Distributed Algorithm Proof.
Lecture 14: Laplace Transform Properties
2. Solving Schrödinger’s Equation Superposition Given a few solutions of Schrödinger’s equation, we can make more of them Let  1 and  2 be two solutions.
Systems: Definition Filter
1 Chapter 8 The Discrete Fourier Transform 2 Introduction  In Chapters 2 and 3 we discussed the representation of sequences and LTI systems in terms.
Packet Scheduling From Ion Stoica. 2 Packet Scheduling  Decide when and what packet to send on output link -Usually implemented at output interface 1.
Chapter 2: Discrete time signals and systems
ICOM 6115©Manuel Rodriguez-Martinez ICOM 6115 – Computer Networks and the WWW Manuel Rodriguez-Martinez, Ph.D. Lecture 17.
Autumn 2008 EEE8013 Revision lecture 1 Ordinary Differential Equations.
Data Comm. & Networks Instructor: Ibrahim Tariq Lecture 3.
Fourier Transforms Section Kamen and Heck.
Bandwidth Estimation TexPoint fonts used in EMF.
CISE315 SaS, L171/16 Lecture 8: Basis Functions & Fourier Series 3. Basis functions: Concept of basis function. Fourier series representation of time functions.
111 Lecture 2 Signals and Systems (II) Principles of Communications Fall 2008 NCTU EE Tzu-Hsien Sang.
Fourier Series. Introduction Decompose a periodic input signal into primitive periodic components. A periodic sequence T2T3T t f(t)f(t)
Fair Queueing. 2 First-Come-First Served (FIFO) Packets are transmitted in the order of their arrival Advantage: –Very simple to implement Disadvantage:
Signals and Systems 1 Lecture 8 Dr. Ali. A. Jalali September 6, 2002.
CS244A Midterm Review Ben Nham Some slides derived from: David Erickson (2007) Paul Tarjan (2007)
Chapter 2 Signals and Spectra (All sections, except Section 8, are covered.)
Multiplicative Wavelet Traffic Model and pathChirp: Efficient Available Bandwidth Estimation Vinay Ribeiro.
Fundamentals of Digital Signal Processing. Fourier Transform of continuous time signals with t in sec and F in Hz (1/sec). Examples:
LEAST MEAN-SQUARE (LMS) ADAPTIVE FILTERING. Steepest Descent The update rule for SD is where or SD is a deterministic algorithm, in the sense that p and.
EE 685 presentation Optimization Flow Control, I: Basic Algorithm and Convergence By Steven Low and David Lapsley.
Digital Image Processing
Min-Plus Linear Systems Theory Min-Plus Linear Systems Theory.
Auditory Perception: 2: Linear Systems. Signals en Systems: To understand why the auditory system represents sounds in the way it does, we need to cover.
Oh-Jin Kwon, EE dept., Sejong Univ., Seoul, Korea: 2.3 Fourier Transform: From Fourier Series to Fourier Transforms.
Description and Analysis of Systems Chapter 3. 03/06/06M. J. Roberts - All Rights Reserved2 Systems Systems have inputs and outputs Systems accept excitation.
The Fourier Transform.
Math for CS Fourier Transforms
הטכניון - מ.ט.ל. הפקולטה להנדסת חשמל - אביב תשס"ה
Lecture 7: Basis Functions & Fourier Series
UNIT-III Signal Transmission through Linear Systems
Intro to Deterministic Analysis
Intro to Deterministic Analysis
CEN352 Dr. Nassim Ammour King Saud University
Topics discussed in this section:
Description and Analysis of Systems
Queue Dynamics with Window Flow Control
CONGESTION CONTROL.
Chapter 2. Fourier Representation of Signals and Systems
UNIT II Analysis of Continuous Time signal
EE 638: Principles of Digital Color Imaging Systems
Research Methods in Acoustics Lecture 9: Laplace Transform and z-Transform Jonas Braasch.
Intro to Deterministic Analysis
Advance Computer Networking
Intro to Deterministic Analysis
Chapter 3 Convolution Representation
Advance Computer Networking
Basic Image Processing
© J. Liebeherr, All rights reserved, 2018
pathChirp Efficient Available Bandwidth Estimation
pathChirp Efficient Available Bandwidth Estimation
Convolution sum & Integral
کنترل جریان امیدرضا معروضی.
Presentation transcript:

Min-Plus Linear Systems Theory and Bandwidth Estimation Min-Plus Linear Systems Theory and Bandwidth Estimation TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.:

Linear Systems Linearity: Time-Invariance:

(Classical) System Theory Linear Time Invariant (LTI) Systems Linear:Time invariant:

Consider an input signal:.. and its output at a system: Note: Linear Systems Theory

Consider an arbitrary function Approximate by Now we let

Linear Systems Theory The result of “convolution”

(Classical) System Theory Linear Time Invariant (LTI) Systems If input is Dirac impulse, output is the system response Output can be calculated from input and system response: “convolution”

Min-Plus Linear System min-plus Linear:Time invariant:

Consider arrival function:.. and departure function: Note: Min-Plus Linear System

Consider an arbitrary function Approximate by Now we let

Min-Plus Linear System The result of “min-plus convolution”

Min-Plus Linear Systems If input is burst function, output is the service curve

Min-Plus Linear Systems Departures can be calculated from arrivals and service curve: “min-plus convolution”

Back to (Classical) Systems Now: Eigenfunctions of time-shift systems are also eigenfunctions of any linear time-invariant system Time Shift System eigenfunction eigenvalue

Back to (Classical) Systems Solving: Gives: eigenvalue Fourier Transform

Now Min-Plus Systems again Now: Eigenfunctions of time-shift systems are also eigenfunctions of any linear time-invariant system Time Shift System eigenfunction eigenvalue

Back to (Classical) Systems Solving: Gives: eigenvalue Legendre Transform

Min-Plus Algebra System Theory for Networks Networks can be viewed as linear systems in a different algebra: Addition (+)  Minimum (inf) Multiplication (·)  Addition (+) Network service is described by a service curve

Transforms Classical LTI systems Fourier transform Min-plus linear systems Legendre transform Time domain Frequency domain Time domain Rate domain Properties: (1). If is convex: (2) If convex, then (3) Legendre transforms are always convex

Available Bandwidth Available bandwidth is the unused capacity along a path Available bandwidth of a link: Available bandwidth of a path: Goal: Use end-to-end probing to estimate available bandwidth Edited slide from: V. Ribeiro, Rice. U, 2003

Probing a network with packet trains Edited slide from: V. Ribeiro, Rice. U, 2003 A network probe consists of a sequence of packets (packet train) The packet train is from a source to a sink For each packet, a measurement is taken when the packet is sent by the source (arrival time), and when the packet arrives at the sink (departure time) So: rate at which the packet trains are sent is crucial: Rate too high  probes preempt existing traffic Rate too low  probes only measure the input rate source sink

Rate Scanning Probing Method Each packet trains is sent at a fixed rate r (in bits per second). This is done by: All packets in the train have the same size Packets of packet train are sent with same distance If size of packets is L, transmission time of a packet is T, and distance between packets is  the rate is: r = L/(T+  ) Rate Scanning: Source sends multiple packet trains, each with a different rate r Packet train: 

Min-Plus Linear Systems min-plus Linear:Time invariant: If input is burst function, output is the service curve Departures can be calculated from arrivals and service curve: “min-plus convolution”

One more thing … Many networks are not min-plus linear i.e., for some t: … but can be described by a lower service curve such that for all t: Having a lower service curve is often enough, since it provides a lower bound on the service !!

Bandwidth estimation in the network calculus View the network as a min-plus system that is either linear or nonlinear Bandwidth estimation scheme: 1. Timestamp probes A p (t) - Send probes D p (t) -Receive probes 2. Use probes to find a that satisfies for all (A,D). 3. is the estimate of the available bandwidth.

Bandwidth estimation in the network calculus View the network as a min-plus system that is either linear or nonlinear Bandwidth estimation scheme: 1. Timestamp probes A p (t) - Send probes D p (t) -Receive probes 2. Use probes to find a that satisfies for all (A,D). 3. the goal is to select as large as possible.

Bandwidth estimation in a min-plus linear network If network is min-plus linear, we get If we set, then So: We get an exact solution when the probe consist of a burst (of infinite size and sent with an infinite rate) However: An infinite-sized instantaneous burst cannot be realized in practice (It also creates congestion in the network)

Rate Scanning (1): Theory Backlog: Max. backlog: If, we can write this as: Inverse transform: If S is convex we have

Rate Scanning (2): Algorithm Step 1: Transmit a packet train at rate, compute compute Step 2: If estimate of has improved, increase and go to Step 1. This method is very close to Pathload !

Non-Linear Systems When we exploit we assume a min-plus linear system In non-linear networks, we can only find a lower service curve that satisfies We view networks as system that are always linear when the network load is low, and that become non-linear when the network load exceeds a threshold. Note: In rate scanning, by increasing the probing rate, we eventually exceed the threshold at which the network becomes non-linear QUESTION: How to determine the critical rate at which network becomes non-linear

Detecting Non-linearity Backlog convexity criterion Suppose that we probe at constant rates Legendre transform is always convex In a linear system, the max. backlog is the Legendre transform of the service curve: If we find that for some rate r we know that system is not linear

EmuLab Measurements Emulab is a network testbed at U. Utah can allocate PCs and build a network controlled rates and latencies Some Questions: How well does our theory translate to real networks? Does representing available bandwidth by a function (as opposed to a number) have advantages? How robust are the methods to changes of the traffic distribution?

Dumbbell Network UDP packets with 1480 bytes (probes) and 800 bytes (cross) Cross traffic: 25 Mbps

Constant Bit Rate (CBR) Cross Traffic Cross traffic is sent at a constant rate (=CBR) The “reference service curve” (red) shows the ideal results. The “service curve estimates” shows the results of the rate scanning method Figure shows 100 repeated estimates of the service curve Rate Scanning

Rate Scanning: Different Cross Traffic Exponential: random interarrivals, low variance Pareto: random interarrivals, very high variance Exponential Pareto

Dirac impulse The Diract delta function, often referred to as the unit impulse function, can usually be informally thought of as a function δ(x) that has the value of infinity for x = 0, the value zero elsewhere. The integral from minus infinity to plus infinity is 1. From: Wikipedia