Stability Analysis of Explicit Congestion Control Protocols

In the context of explicit congestion control protocols like XCP and RCP where the equilibrium queue lengths are zero, we show that the stability region derived from traditional Nyquist analysis is not an accurate representation of the actual stability region, and that the use of switched linear system models with time delay and new Lyapunov tools can provide sound sufficient stability conditions.