Continuous-time exponential workload bound
ID: continuous-time-exponential-workload-bound
For a nondecreasing process with stationary increments and independent increments, suppose . If , then is a nonnegative supermartingale. Applying the maximal inequality for a nonnegative supermartingale up to time and then letting givesThe stationary workload of a stable queue fed by has this supremum distribution, using the past input and stationary increments and independent increments. For independent flows, the constraint is , where is the long-time effective bandwidth. The result bounds a continuous-time supremum directly; a one-time Chernoff bound by itself does not do that.
New to topics? Read the docs here!