Energy-efficient optimal control for real-time computing systems