Model checking of multiuser power control algorithm for digital subscriber lines


The power control problem in data networks has become a critical optimization problem because nowadays the telecommunication resource is scarce and is shared everywhere by more and more users of greedy applications. This optimization problem is non-convex, because of the presence of these multiple users with their own objectives associated. The user… (More)


7 Figures and Tables