04.02.2014 Views

Lecture Series in Mobile Telecommunications and Networks (1583KB)

Lecture Series in Mobile Telecommunications and Networks (1583KB)

Lecture Series in Mobile Telecommunications and Networks (1583KB)

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

easons. In the <strong>in</strong>ternet, one never looks <strong>in</strong>side another person’s packet. For example, I do not look at your packet <strong>and</strong><br />

say, ‘This is not <strong>in</strong>terest<strong>in</strong>g <strong>in</strong>formation – I will drop it.’ However, <strong>in</strong> a sensor network I may do that. If I see a high<br />

temperature, then I may drop a low temperature. So, depend<strong>in</strong>g on what I have heard, I may say that this <strong>in</strong>formation is<br />

un<strong>in</strong>terest<strong>in</strong>g, or I confuse <strong>in</strong>formation <strong>and</strong> comb<strong>in</strong>e <strong>in</strong>formation <strong>and</strong> so on. The po<strong>in</strong>t is that <strong>in</strong> sensor networks, the<br />

nodes do not just forward <strong>in</strong>formation but they also compute. In other words, they process <strong>in</strong>formation <strong>in</strong> the network<br />

– the network itself processes <strong>in</strong>formation, <strong>and</strong> so this whole th<strong>in</strong>g is like a Maxwellian computer, if you will.<br />

There are many <strong>in</strong>terest<strong>in</strong>g questions that you can ask <strong>and</strong> I will say someth<strong>in</strong>g really simplistic. Let us say that I want to<br />

compute a symmetric function <strong>in</strong> a sensor network. What is a symmetric function? It is one where, if you change the<br />

identity of which node has which temperature, the result does not change. For example, the average is <strong>in</strong>variant to<br />

permutations. In fact, most statistical quantities are symmetric functions.<br />

Comput<strong>in</strong>g symmetric functions: the mean versus max<br />

Theorem: The rate at which the Mean can<br />

be harvested is<br />

– Strategy<br />

Tessellate<br />

Add locally<br />

Sum along a rooted tree of cells<br />

Theorem: The rate at which the Max can be<br />

harvested is<br />

Strategy: Take advantage of Block Cod<strong>in</strong>g<br />

– First node announces times of max values: ( 1 1 1 )<br />

– Second node announces times of additional max values (1 )<br />

1<br />

– third node announces of yet more max values: ( )<br />

1<br />

(Giridhar & K03) 12/34<br />

It turns out that we are very much at the beg<strong>in</strong>n<strong>in</strong>g po<strong>in</strong>t of<br />

develop<strong>in</strong>g theories for how to operate such networks.<br />

What I would like to illustrate for you is a k<strong>in</strong>d of dichotomy<br />

about how you treat different functions. It turns out that<br />

the rate at which you can exfiltrate average temperature<br />

read<strong>in</strong>gs from sensor networks is that - [alpha-1 over log n].<br />

The architecture for that is the commonsense architecture.<br />

If you have a bunch of nodes, you break them up <strong>in</strong>to cells<br />

<strong>and</strong> you tessellate them. In each cell, you add up the<br />

temperatures, you sum the temperatures, <strong>and</strong> then you<br />

propagate all the sums along an entry route at the collector<br />

node, <strong>and</strong> that is the commonsense th<strong>in</strong>g that anybody<br />

would do.<br />

However, it turns out that if you want to compute the max temperature, not the average, then you can do it<br />

exponentially faster. The rate at which you can do it is [1 over log log n]. I just want to show you how you could take<br />

advantage of what you are comput<strong>in</strong>g. You can take advantage of what is called block cod<strong>in</strong>g. In other words, I do not<br />

compute the maximum temperature every day but I gather together a bunch of temperatures <strong>and</strong> then spew out a<br />

bunch of maximum temperatures.<br />

Just to show you the idea, let us suppose that all temperatures are b<strong>in</strong>ary, 0 or 1. So anybody who has a temperature of<br />

1, has a maximum temperature automatically. Let us also suppose that we are all collocated so that, when I talk,<br />

everybody hears, <strong>and</strong> whenever anybody talks, everybody hears. Then the first node can simply announce the set of<br />

times at which it has a max temperature – so at times 10, 15 <strong>and</strong> 20, it has a temperature of 1. Then the second node<br />

can butt <strong>in</strong> <strong>and</strong> say, ‘Okay, I have a maximum temperature at these three times.’ Such <strong>in</strong>formation can be very efficiently<br />

compacted <strong>and</strong> therefore you can get exponential speed-ups. The way you operate these networks can be quite<br />

sophisticated.<br />

Knowledge of time important <strong>in</strong> Cyberphysical systems<br />

– However no two clocks agree<br />

– How to synchronize clocks <strong>in</strong> distributed systems?<br />

In computer science, beg<strong>in</strong>n<strong>in</strong>g with the work of Cook <strong>in</strong><br />

Canada, that leads to this whole theory of complexity, <strong>and</strong><br />

we need similar theories of complexity for sensor networks<br />

– <strong>in</strong> fact, for all these cyberphysical systems.<br />

Clock synchronization <strong>in</strong> distributed systems<br />

^<br />

x 01<br />

^<br />

x 12<br />

^<br />

x 23<br />

^ ^ ^ ^<br />

v 3 = x 01 + x 12 + x 23<br />

Std. Dev of Error<br />

Can we do better?<br />

Let me turn to another theme, that of time <strong>and</strong> clocks.<br />

It turns out that a knowledge of time is important <strong>in</strong><br />

cyberphysical systems. If computers are just talk<strong>in</strong>g to each<br />

other, their conversations could be purely event-based –<br />

time is irrelevant. However, when you are <strong>in</strong>teract<strong>in</strong>g with<br />

physics <strong>and</strong> physics-based systems, time is important<br />

because if of two of us were at the same spot at the same<br />

10 The Royal Academy of Eng<strong>in</strong>eer<strong>in</strong>g

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

Saved successfully!

Ooh no, something went wrong!