IoT-Enabled Automatic Synthesis of Distributed Feedback Control Schemes in Smart Buildings | IEEE Journals & Magazine | IEEE Xplore