The Modelica model below passes validation:
model TestController
parameter Real off[4] = fill(20, 4) "Radiator turn off threshold";
parameter Real on[4] = fill(19, 4) "Radiator turn on threshold";
discrete Modelica.Blocks.Interfaces.RealInput x[4];
output Modelica.Blocks.Interfaces.BooleanOutput h[4];
protected
Boolean has_heater[4];
equation
has_heater = {false, true, true, false};
algorithm
for j in 1:4 loop
h[j] := has_heater[j] and ((not h[j] and x[j] <= on[j]) or (h[j] and x[j] < off[j]));
end for;
end TestController;
But when I try to simulate it, I get an error in the compiled code:
sme.12.0.0_1575385723_1403176131_main.cpp: In function ‘int function_zeroCrossing(f2c_integer*, double*, double*, f2c_integer*, double*, double*, f2c_integer*)’:
sme.12.0.0_1575385367_109695398_main.cpp:347:35: error: ‘$i1_j’ was not declared in this scope
349 | base_array_range_check1(&$tmp0, $i1_j - 1, "[:0:0-0:0]", "x[$i1_j]");
|
There must be something fundamental I'm not understanding, why doesn't this loop simulate? If I remove the second clause for the value of h and make it simply h[j] := has_heater[j] the simulation works.
Just an idea, posting as answer because it is too long for a comment: Maybe inline for loops work a bit better, instead of
for j in 1:4 loop
h[j] := has_heater[j] and ((not h[j] and x[j] <= on[j]) or (h[j] and x[j] < off[j]));
end for;
try it like
h := {has_heater[j] and ((not h[j] and x[j] <= on[j]) or (h[j] and x[j] < off[j])) for j in 1:4};