CPS: Small: Energy-Aware Formal Synthesis for Supervisory Control and Information Acquisition in Cyber-Physical Systems Download pdf Tags: Poster 1738103 Systems, Signals, and Control CPS PI Meeting 2021 NSF Poster License: CC-2.5 Submitted by Stephane Lafortune on Mon, 06/07/2021 - 10:42