Operating Systems for Buildings
In this line of work, our lab’s output spans a number of different topics starting with the development of middleware platforms for integrating disparate building automation system components (e.g., Sensor Andrew, Mortar.io), to metadata schemas (e.g, Brick), and tools such as automated software verification for HVAC control logic and metadata inference techniques.