摘要
Prompted by an application in congestion control of computer networks, this paper presents a methodology to certify with a certain degree of confidence whether a given controller satisfies a pre-defined set of specifications. The methodology is applied to testing AQM controllers for efficiency in congestion control, by repeating detailed simulations under a variety of network configurations.
- 出版日期2012-8