Energy-Aware Formal Synthesis for Supervisory Control and Information Acquisition in Cyber-Physical Systems

  • supervisory control
  • formal methods
  • energy-aware synthesis
  • 1738103
  • 2019
  • CPS PI Meeting 2019
  • Poster
  • U.S. Government
  • NSF
  • Posters
Submitted by Stephane Lafortune on