Each year the nation spends over $400 billion to power, heat and cool its buildings. Moreover, buildings are a major source of environmental emissions. As a result, even a modest improvement in energy efficiency of the nation's building stock would result in substantial economic and environmental benefits. In this project, the focus is on improving energy efficiency in commercial buildings because this sector represents a substantial portion of the energy usage and costs within the overall building sector.
This project aims to develop innovative design automation methodologies and algorithms for software synthesis of cyber-physical systems (CPS), which have applications in key sectors such as automotive, aerospace, healthcare, and industrial automation. Software has become critical and drives future innovations for many such systems, but faces significant challenges in its development, in particular regarding the formulation, exploration and validation of timing constraints.