HEATING |
A room heating example of 3 rooms with 2 heaters from a paper by A. Fehnker and F. Ivancic [3].
In the original paper, the authors require that the temperature in all rooms will always be above a given threshold. However, this given threshold is not specified. Here, we specify it to be 14. In addition, we specify the state space to be [14,22]×[14,22]×[14,22].
Input file
Simplified input file (simplified version of benchmark, where we suppress switching off the heater)
Old input file (buggy, in use until March 2009)
HEATING |