Fully-automated synthesis of power management controllers from UPF.
Dustin PetersonOliver BringmannPublished in: ASP-DAC (2019)
Keyphrases
- fully automated
- power management
- power consumption
- fully automatic
- controller synthesis
- energy consumption
- energy saving
- data center
- semi automated
- energy efficiency
- manual segmentation
- completely automated
- labor intensive
- control system
- ground truth
- dynamic power management
- semi automatic
- data management
- low cost
- sensor networks
- database