Text this: An $omega$-Algebra for Real-Time Energy Problems