@ARTICLE{6204325, 
author={Yang Yang and Qi Zhu and Maasoumy, M. and Sangiovanni-Vincentelli, A.}, 
journal={Design Test of Computers, IEEE}, title={Development of Building Automation and Control Systems}, 
year={2012}, 
month={aug. }, 
volume={29}, 
number={4}, 
pages={45 -55}, 
abstract={In this paper, we proposed a design flow for BAC systems that enables integrating heterogeneous input models, conducts automatic design space exploration, and performs software synthesis on distributed platforms while guaranteeing correctness and reducing communication load. We believe these capabilities can enable the building designers to better adopt model-based design methodologies, and facilitate them to improve design productivity, optimize system performance, and reduce cost.}, 
keywords={Computational modeling;Computer architecture;Control systems;Green buildings;Mathematical model;Program processors;Software engineering;building management systems;control systems;automatic design space exploration;building automation;building designer;control systems;design productivity;distributed platform;heterogeneous input model;model based design methodology;software synthesis;Building Automation and Control;design space exploration;intermediate format;software synthesis;}, 
doi={10.1109/MDT.2012.2201130}, 
ISSN={0740-7475},