13.07.2015 Views

Page 2 Lecture Notes in Computer Science 2865 Edited by G. Goos ...

Page 2 Lecture Notes in Computer Science 2865 Edited by G. Goos ...

Page 2 Lecture Notes in Computer Science 2865 Edited by G. Goos ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

260 S. Bhadra and A. Ferreirathe model<strong>in</strong>g of such dynamics, and design<strong>in</strong>g algorithms that take it <strong>in</strong>to account[16].Literature related to route discovery issues <strong>in</strong> dynamic networks started morethan four decades ago, with papers deal<strong>in</strong>g with operations of transport networks(e.g., [5,9,11,10]). Recent work on time-dependent networks deals with flow algorithms<strong>in</strong> static networks, with edge traversal times that may depend on thenumber of flow units travers<strong>in</strong>g it at a given moment. If traversal times are discrete,then the approach proposed <strong>in</strong> [9], namely of expand<strong>in</strong>g the orig<strong>in</strong>al graph<strong>in</strong>to T layers represent<strong>in</strong>g the time steps (also called space-time approach), maywork for comput<strong>in</strong>g several path-related problems (see [13,14] and referencesthere<strong>in</strong>). Unfortunately, this approach leads to non-tractable algorithms, s<strong>in</strong>ceT may be of exponential size.Predictable dynamics. Note, however, that for the case of LEO satellite systems,Unmanned Aerial Vehicles (UAV), and other mobile networks with predest<strong>in</strong>edtrajectories of the mobile agents, the network dynamics are somewhatdeterm<strong>in</strong>istic. Therefore, s<strong>in</strong>ce the trajectories of the network agents are known<strong>in</strong> advance, it is possible to exploit this determ<strong>in</strong>ism <strong>in</strong> optimiz<strong>in</strong>g rout<strong>in</strong>g strategies[6,17,8].Another sett<strong>in</strong>g where the evolution of the network is known was studied<strong>in</strong> [7]. The authors used the notion of competitive analysis ([1]) on a dynamicsett<strong>in</strong>g <strong>in</strong> order to analyze the quality of a protocol and its on-l<strong>in</strong>e choices made,forced <strong>by</strong> the evolution of the network. At the end of the process, the historyof the network is formalized as a sequence of graph topologies on which theapplication can be solved off-l<strong>in</strong>e. The merit of the protocol is then the ratio ofthe solution cost found on-l<strong>in</strong>e over the optimal off-l<strong>in</strong>e cost.Such networks, where the topology dynamics is known or can be predicted beforehand,are henceforth referred to as fixed schedule dynamic networks (FSDN’s)(see Figure 1).(0) (1)(2) (3)Fig. 1. An FSDN represented as an <strong>in</strong>dexed set of networks. The <strong>in</strong>dices correspondto successive time-steps.Evolv<strong>in</strong>g graphs. Recently, evolv<strong>in</strong>g graphs [2] have been proposed as a formalabstraction for dynamic networks, and can be suited easily to the case of

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!