Reachability Analysis of Multi-Hop D2D Communications at Disaster.
Noriaki KamiyamaKeisuke IshibashiYoko HoshiaiPublished in: IEICE Trans. Commun. (2018)
Keyphrases
- multi hop
- reachability analysis
- disaster response
- model checking
- wireless sensor networks
- wireless networks
- markov decision processes
- data transmission
- mobile ad hoc networks
- end to end
- ad hoc networks
- energy efficient
- base station
- routing protocol
- timed automata
- energy consumption
- incremental algorithms
- communication networks
- routing algorithm
- transmission power
- wifi
- sensor networks
- state space
- sensor nodes
- mobile networks
- communication systems
- real time
- response time