Politiche di scheduling ottime per sensori radio alimentati da fonti di energia rinnovabili

L’utilizzo di fonti di energia rinnovabili per alimentare i sensori radio di una WSN (Wireless Sensor Network) è una soluzione molto interessante per risolvere il problema della limitata autonomia dei nodi della rete. In questa tesi si propone un modello probabilistico in grado di descrivere in modo formale e rigoroso un generico sensore radio alimentato da una fonte di energia rinnovabile. In particolare, il dispositivo viene rappresentato mediante un processo decisionale di Markov. A quest’ultimo viene applicato, poi, un algoritmo di ottimizzazione, opportunamente individuato, attraverso il quale determinare le politiche di scheduling ottime che consentano al sensore radio di sfruttare nel modo più efficiente possibile la fonte di energia a disposizione. Si realizza, poi, un ottimizzatore ottenuto implementando in C++ sia il modello che il relativo algoritmo di ottimizzazione