Energy-Aware Formal Synthesis for Supervisory Control and Information Acquisition in Cyber-Physical Systems
pdf
Submitted by Stephane Lafortune
on
pdf
Submitted by Stephane Lafortune
on