CPS: Small: Energy-Aware Formal Synthesis for Supervisory Control and Information Acquisition in Cyber-Physical Systems Submitted by Anonymous on Sun, 09/05/2021 - 15:18 Short Talk 1738103 CPS PI Meeting 2021 NSF