Skip to Content

Smart Zoning

Residential buildings consume 22% of the total energy used in the United States and Heating, Ventilation, and Air Conditioning (HVAC) systems consume 43% of that energy. Optimizing their control using Cyber-Physical Systems (CPSs) could greatly reduce the energy consumed by buildings.
More...

MDB

MDB allows a programmer to debug at the macroprogram level. MDB eliminates the need for a programmer to reason about low-level event traces and message protocols.
More...

MacroLab

MacroLab allows a user to write a single macroprogram for an entire Cyber-Physical System. It is the first system that can perform automatic, topology-specific decomposition of programs describing parallel operations on parallel data structures.
More...

LUSTER

Environmental wireless sensor network (EWSN) systems are deployed in potentially harsh and remote environments where inevitable node and communication failures must be tolerated. LUSTER-Light Under Shrub Thicket for Environmental Research-is a system that meets the challenges of EWSNs using a hierarchical architecture that includes distributed reliable storage, delay-tolerant networking, and deployment time validation techniques.
More...