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.

Space-Time Rout<strong>in</strong>g <strong>in</strong> Ad Hoc Networks 3number of hops) or physical (e.g., euclidean distance, energy cost). The b<strong>in</strong>d<strong>in</strong>gS-T metric is used to compare two route entries to a dest<strong>in</strong>ation of differentdistance and age and to decide which is closest <strong>in</strong> the jo<strong>in</strong>t spatio-temporalspace.The rest of the paper is organized as follows. In Section 2, we give a generalformulation of STR and discuss some properties. In Section 3, we give examplesof two specific STR algorithms: FRESH, GREP, and outl<strong>in</strong>e a third algorithmus<strong>in</strong>g physical notions of space and time. In Section 4, we discuss some propertiesof STR, <strong>in</strong>clud<strong>in</strong>g loop-freedom. Section 5 concludes the paper.2 Space-Time Rout<strong>in</strong>g2.1 Notation and AssumptionsWe note V = {1 ...n} the set of nodes <strong>in</strong> the network, and E the set of edges(i, j) ∈ E for i, j ∈ V . Associated with the set of edges is a distance function 2△ : E → R. For example if distance is counted as the number of hops, wewould have △(i, j) = 1. We assume that any node can obta<strong>in</strong> the distance toits neighbors (trivially <strong>in</strong> the case of hop-count distance, or for example us<strong>in</strong>g asignal-strength based estimation <strong>in</strong> the case of euclidean distances). Each nodema<strong>in</strong>ta<strong>in</strong>s its own clock, which is used to stamp every packet with the clock timeof the node which orig<strong>in</strong>ates it. Simple examples of a node clock are a physical(oscillator-based) clock giv<strong>in</strong>g a cont<strong>in</strong>uous read<strong>in</strong>g, for example <strong>in</strong> seconds, ora logical clock provid<strong>in</strong>g a discrete order<strong>in</strong>g of rout<strong>in</strong>g events relative to thatsource. Whichever temporal representation is used, STR does not require anyform of <strong>in</strong>ter-node clock synchronization.Then STR requires a b<strong>in</strong>d<strong>in</strong>g spatio-temporal metric, which is a functionf : R 2 → R, tak<strong>in</strong>g as <strong>in</strong>put a (spatial) distance value and a (temporal) clockvalue and return<strong>in</strong>g a scalar represent<strong>in</strong>g the “norm” of this pair <strong>in</strong> the spatiotemporalspace. The b<strong>in</strong>d<strong>in</strong>g S-T metric must satisfy the follow<strong>in</strong>g conditions:argm<strong>in</strong>f(s, t) =(0, 0) (1)For fixed d, f is an <strong>in</strong>creas<strong>in</strong>g function of tsgn(f(d, t 1 ) − f(d, t 2 )) = sgn(t 1 − t 2 ) (2)For fixed t, f is an <strong>in</strong>creas<strong>in</strong>g function of dsgn(f(d 1 ,t) − f(d 2 ,t)) = sgn(d 1 − d 2 ) (3)Rout<strong>in</strong>g Table Entries. Each node ma<strong>in</strong>ta<strong>in</strong>s a distance-vector rout<strong>in</strong>g tableconta<strong>in</strong><strong>in</strong>g one entry for each dest<strong>in</strong>ation node. In addition to the next hop anddistance fields which are used <strong>in</strong> spatial rout<strong>in</strong>g algorithms, STR rout<strong>in</strong>g entriesalso <strong>in</strong>clude the age of the entry.2 Note that given node mobility, E and △ vary over time. For simplicity of notationwe drop the time <strong>in</strong>dex s<strong>in</strong>ce we only refer to the values of E and △ “at the presenttime”.

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

Saved successfully!

Ooh no, something went wrong!