This paper emphasizes the need for methodological frameworks for analysis and design of large scale networks which are independent of specific design innovations and their advocacy, with the aim of making networking a more systematic engineering discipline. Networking problems have largely confounded existing theory, and innovation based on intuition has dominated design. This paper will illustrate potential pitfalls of this practice. The general aim is to illustrate universal aspects of theoretical and methodological research that can be applied to network design and verification. The issues focused on will include the choice of models, including the relationship between flow and packet level descriptions, the need to account for uncertainty genermodelling abstractions, and the challenges of dealing with network scale. The rigorous comparison of proposed will be illustrated using various abstractions. While standard tools from robust control theory have been applied in this area, we ...
Antonis Papachristodoulou, Lun Li, John C. Doyle