Formal probabilistic performance verification of randomly-scheduled wireless sensor networks.
Maissa ElleuchOsman HasanSofiène TaharMohamed AbidPublished in: Int. J. Crit. Comput. Based Syst. (2018)
Keyphrases
- wireless sensor networks
- formal methods
- energy efficient
- environmental monitoring
- sensor networks
- generative model
- routing algorithm
- bayesian networks
- probabilistic model
- energy consumption
- model checking
- data aggregation
- formal analysis
- uncertain data
- formal model
- data transmission
- learning algorithm
- arrival times
- energy efficiency
- posterior probability
- information theoretic
- routing protocol
- resource constrained
- sensor nodes
- probabilistic logic
- data gathering
- mathematical theory
- randomly chosen
- asynchronous circuits
- probabilistic approaches