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 gives
The 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!