ConStrain
by pnnl
ConStrain is a data-driven knowledge-integrated framework that automatically verifies that building system controls function as intended.
AI summary
Control Verifier
Automates the verification of building control systems using data-driven analytics and machine learning algorithms
- stars
- 7
- forks
- 0
- watching
- 9
Similar projects
Found by comparing what the projects do, not just their names.
Neural network verifier
A toolkit for enforcing logical specifications on neural networks
Software Verifier
Automates Ada software verification with continuous testing and proofing
Constraint Verifier
Tools for verifying soundness of R1CS constraints in Julia
Drawing control library
A control library for creating custom cross-platform drawing controls without native implementations.
Data controller
A modular data acquisition framework for controlling systems with many degrees of freedom
Building controller
An open-source platform for model predictive control in buildings
Command Verifier
A tool that detects and prompts verification for risky shell commands to prevent accidental data loss or other adverse effects
uwplse/verdi595
Distributed system verifier
A framework for formally verifying distributed systems implementations in Coq.
Network monitoring plugin
A Perl plugin suite for network component monitoring and management.
Distributed store verifier
A framework for verifying causal consistency in distributed key-value stores and their clients using the Coq proof assistant
Component controller
A GraphQL wrapper for controlling Homematic IP components via REST API
Compliance auditor
Automates compliance assessments for Microsoft Windows systems against security standards.
Controller manager
Standardizes input mappings across various platforms for common controllers in Unity3D games
Material control library
A plugin for building Material Design 3 UI controls in Xamarin.Forms applications
Building sequence analyzer
Develops tools and processes to evaluate, specify, and verify building control sequences
