An $omega$-Algebra for Real-Time Energy Problems (Logical Methods in Computer Science, 2019)