Visible to the public Energy-Aware Formal Synthesis for Supervisory Control and Information Acquisition in Cyber-Physical Systems