Energy-Aware Formal Synthesis for Supervisory Control and Information Acquisition in Cyber-Physical Systems Download pdf Tags: supervisory control formal methods energy-aware synthesis 1738103 2019 CPS PI Meeting 2019 Poster U.S. Government NSF Posters License: CC-2.5 Submitted by Stephane Lafortune on Fri, 01/10/2020 - 14:38