Using the PALS Architecture to Verify a Distributed Topology Control Protocol for Wireless Multi-Hop Networks in the Presence of Node Failures
Michael KatelmanJosé MeseguerPublished in: RTRTS (2010)
Keyphrases
- multi hop
- node failures
- topology control
- end to end delay
- mobile ad hoc networks
- network connectivity
- transmission power
- ad hoc networks
- mobile nodes
- cross layer
- wireless sensor networks
- network infrastructure
- routing protocol
- wireless networks
- end to end
- fault tolerance
- wireless ad hoc networks
- congestion control
- overlay network
- network topology
- cellular networks
- power control
- data transmission
- peer to peer
- base station
- wireless mesh networks
- energy efficient
- network layer
- network lifetime
- energy consumption
- sensor nodes
- routing algorithm
- wifi
- multipath
- physical layer
- real time
- mobile networks
- computer networks
- distributed systems
- application layer
- multimedia services
- network architecture
- sensor networks
- social networks
- network structure
- mobile agents
- wireless communication
- mobile users
- energy efficiency