Modeling and power optimization of cyber-physical systems with energy-workload tradeoff