Energy-Aware Formal Synthesis for Supervisory Control and Information Acquisition in Cyber-Physical Systems Download pdf Tags: 1738103 2018 CPS-PI Meeting 2018 Presentation Session 2: LT License: CC-2.5 Submitted by Stephane Lafortune on Tue, 12/04/2018 - 15:53