<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Ruoxi Jia</style></author><author><style face="normal" font="default" size="100%">Baihong Jin</style></author><author><style face="normal" font="default" size="100%">Ming Jin</style></author><author><style face="normal" font="default" size="100%">Yuxun Zhou</style></author><author><style face="normal" font="default" size="100%">Ioannis C Konstantakopoulos</style></author><author><style face="normal" font="default" size="100%">Han Zou</style></author><author><style face="normal" font="default" size="100%">Joyce Kim</style></author><author><style face="normal" font="default" size="100%">Dan Li</style></author><author><style face="normal" font="default" size="100%">Weixi Gu</style></author><author><style face="normal" font="default" size="100%">Reza Arghandeh</style></author><author><style face="normal" font="default" size="100%">Pierluigi Nuzzo</style></author><author><style face="normal" font="default" size="100%">Stefano Schiavon</style></author><author><style face="normal" font="default" size="100%">Alberto L Sangiovanni-Vincentelli</style></author><author><style face="normal" font="default" size="100%">Costas J Spanos</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Design automation for smart building systems</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the IEEE</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2018</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">https://doi.org/10.1109/JPROC.2018.2856932</style></url></web-urls></urls><volume><style face="normal" font="default" size="100%">106</style></volume><pages><style face="normal" font="default" size="100%">1680-1699</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">Smart buildings today are aimed at providing safe, healthy, comfortable, affordable, and beautiful spaces in a carbon and energy-efficient way. They are emerging as complex cyber-physical systems with humans in the loop. Cost, the need to cope with increasing functional complexity, flexibility, fragmentation of the supply chain, and time-to-market pressure are rendering the traditional heuristic and ad hoc design paradigms inefficient and insufficient for the future. In this paper, we present a platform-based methodology for smart building design. Platform-based design (PBD) promotes the reuse of hardware and software on shared infrastructures, enables rapid prototyping of applications, and involves extensive exploration of the design space to optimize design performance. In this paper, we identify, abstract, and formalize components of smart buildings, and present a design flow that maps high-level specifications of desired building applications to their physical implementations under the PBD framework. A case study on the design of on-demand heating, ventilation, and air conditioning (HVAC) systems is presented to demonstrate the use of PBD.</style></abstract><issue><style face="normal" font="default" size="100%">9</style></issue></record></records></xml>