add specification for how to automate the control verification

lbl-srg / obc

OpenBuildingControl - Performance Evaluation, Specification, Deployment and Verification of Building Control Sequences

http://obc.lbl.gov

27 stars 14 forks source link

add specification for how to automate the control verification #71

Closed mwetter closed 4 years ago

mwetter commented 4 years ago

This issue is to add a specification for how to develop a software that automates the procedure of verifying a control sequence against its CDL specification.

mwetter commented 4 years ago

Todo

[ ] Update the section that uses the OMCSessionZMQ.