Hi,

You may start reviewing the tutorials to understand how to make a state
machine in the motes, using timers, communications and so on.

Cheers!
Sergio


On Wed, Feb 1, 2012 at 12:11 AM, Ali Daylamani <[email protected]>wrote:

> dear friends******
> can any body help me to write this application?****
> I have to write a programm in nesc that will be run on some nodes and
> create a MIS (Maximal Independent set )****
> To formally define the rules the following predicates defined for each
> node v are needed****
> * *
> *inNeighbor**(v)*≡∃*w *∈ *N(v)*: *w.**state *= IN.****
> *waitNeighborWithLowerId**(v)*≡∃*w *∈ *N(v)*:****
> *w.state*= WAIT ∧ *w.**id **<v.**id*.****
> *inNeighborWithLowerId**(v)*≡∃*w *∈ *N(v)*:****
> *w.state*= IN ∧ *w.**id **<v.**id*.****
>
>
>
> ****
> The self-stabilizing algorithm *A*MIS uses the following four rules:****
> 1. ****
> *state *= OUT∧・ハ*inNeighbor**(v)*→*state *:= WAIT.****
> 2. ****
> *state *= WAIT ∧ *inNeighbor**(v)*→*state *:= OUT.****
> 3. ****
> *state *= WAIT ∧ ・ハ*inNeighbor**(v) *∧****
> ¬ wait*NeighborWithLowerId**(v)*→*state *:= IN.****
> 4. ****
> *state *= IN ∧ *inNeighbor**(v)*→*state *:= OUT.****
>
> _______________________________________________
> Tinyos-help mailing list
> [email protected]
> https://www.millennium.berkeley.edu/cgi-bin/mailman/listinfo/tinyos-help
>
_______________________________________________
Tinyos-help mailing list
[email protected]
https://www.millennium.berkeley.edu/cgi-bin/mailman/listinfo/tinyos-help

Reply via email to