scy-phy / minicps

MiniCPS: a framework for Cyber-Physical Systems real-time simulation, built on top of mininet
MIT License
165 stars 70 forks source link

Modifying PLC operation to check for very low water level #5

Closed vikram-gaur closed 7 years ago

vikram-gaur commented 7 years ago

Code was not able to reach the LL check. Modified code for reachability.