On December 16 2018, at the 57th IEEE Conference on Decision and Control in Miami Beach, Florida, USA, Professors Rong Su, Costas Spanos, and Xie Lihua spoke at the workshop on Smart Buildings: A Status Quo Check. Co-organised by Prof Rong Su, the workshop was held to report and showcase several recent technical progresses related to smart buildings at both individual and program levels, and some visionary discussions on the roles of IoT and formal design methods.