Vehicle Path Verification Using Wireless Sensor Networks.
Gerry HowserSriram ChellappanVamsi ParuchuriPublished in: AINA Workshops (2013)
Keyphrases
- wireless sensor networks
- energy efficient
- node selection
- sensor networks
- routing algorithm
- energy consumption
- model checking
- data aggregation
- shortest path
- base station
- pedestrian detection
- sensor nodes
- real time
- environmental monitoring
- sink node
- data transmission
- vehicle speed
- routing scheme
- resource constrained
- traffic monitoring
- vehicle detection
- biological inspired
- formal verification
- autonomous vehicles
- key management
- multi hop
- active learning
- neural network
- wireless sensor
- intelligent transportation systems
- asynchronous circuits
- vehicle tracking
- energy aware
- verification method
- wireless communication
- routing protocol
- data sets