ConStrain
Control Verifier
Automates the verification of building control systems using data-driven analytics and machine learning algorithms
ConStrain is a data-driven knowledge-integrated framework that automatically verifies that building system controls function as intended.
7 stars
9 watching
0 forks
Language: Jupyter Notebook
last commit: 15 days ago bmsbuildingcommissioningdatahvacsimulationverification
Related projects:
| Repository | Description | Stars |
|---|---|---|
 vehicle-lang/vehicle | A toolkit for enforcing logical specifications on neural networks | 80 |
 jklmnn/continuous-verification | Automates Ada software verification with continuous testing and proofing | 9 |
 franklynwang/ecneproject | Tools for verifying soundness of R1CS constraints in Julia | 108 |
 chrfalch/ncontrol | A control library for creating custom cross-platform drawing controls without native implementations. | 267 |
 microsoft/qcodes | A modular data acquisition framework for controlling systems with many degrees of freedom | 341 |
 lbl-srg/mpcpy | An open-source platform for model predictive control in buildings | 116 |
 kaplanelad/shellfirm | A tool that detects and prompts verification for risky shell commands to prevent accidental data loss or other adverse effects | 820 |
 uwplse/verdi | A framework for formally verifying distributed systems implementations in Coq. | 589 |
 lausser/check_nwc_health | A Perl plugin suite for network component monitoring and management. | 151 |
 coq-community/chapar | A framework for verifying causal consistency in distributed key-value stores and their clients using the Coq proof assistant | 32 |
 martin-riedl/homematic-gqls | A GraphQL wrapper for controlling Homematic IP components via REST API | 1 |
 cottinghamd/hardeningauditor | Automates compliance assessments for Microsoft Windows systems against security standards. | 159 |
 pbhogan/incontrol | Standardizes input mappings across various platforms for common controllers in Unity3D games | 692 |
 horussoftwareuy/materialdesigncontrolsplugin | A plugin for building Material Design 3 UI controls in Xamarin.Forms applications | 271 |
| lbl-srg/obc | Develops tools and processes to evaluate, specify, and verify building control sequences | 27 |