Networked priced timed automata for energy-efficient factory automation.
Sebastian MechsJörg P. MüllerSteffen LamparterJörn PeschkePublished in: ACC (2012)
Keyphrases
- energy efficient
- timed automata
- model checking
- wireless sensor networks
- reachability analysis
- energy consumption
- sensor networks
- theorem prover
- theorem proving
- routing protocol
- base station
- first order logic
- energy efficiency
- data aggregation
- real time systems
- data gathering
- low overhead
- sensor nodes
- data dissemination
- multi core architecture
- data center
- sensor data
- data management