Stochastic learning feedback hybrid automata for dynamic power management in embedded systems