With about half of a home’s energy cost resulting from heating, ventilation, and air conditioning (HVAC), choices for the heating and cooling setpoints can have a large impact on monthly expenses. Proponents of programmable thermostats cite savings of 10-30% on energy costs, yet in practice research has shown actual savings fall short of these values due to difficulties in setup and programming of these thermostats. Current thermostats, even those programmed correctly, do no really put users in control of their spending.
This research experience for undergraduates (REU) engaged in the myriad of applications that are related to autonomous ground vehicles. This summer, 10 NSF-funded undergraduate students participated in an immersive research experience, sitting side-by-side with graduate researchers and working on one of the most compelling, and complex, applications of today: autonomous systems.
The objective of this research is an injection of new modeling techniques into the area of Cyber-Physical Systems (CPSs). The approach is to design new architectures for domain-specific modeling tools in order to permit feedback from analysis, validation, and verification engines to influence how CPSs are designed. This project involves new research into the integration of existing, heterogeneous modeling languages in order to address problems in CPS design, rather than a single language for all CPS.