A discrete-time battery model for high-level power estimation | Synapse