IDE and compiler for a family of functorial query languages.

Analysis of HVAC systems for better control in Engineering Science Building at Vanderbilt.

The repository for high quality TypeScript type definitions.

Grey- and Black-box modeling of continuous systems

A wrapper for OpenAI gym around IBPSA's BOPTest test cases (https://github.com/ibpsa/project1-boptest).

Query date from BuildingLogix Data eXchange (BDX) portal

Algebraic Concept Modeling Environment

Implementing the hybrid control

Code and Files for ACC2020 Paper