OpenModelica жалуется на отрицательное значение, которое не может быть отрицательным

Question

После этого вопроса Я изменил контроллер на основе энергии, который я описал здесь , чтобы избежать отрицательных значений внутри sqrt:

model Model
  //constants
  parameter Real m = 1;
  parameter Real k = 2;
  parameter Real Fmax = 3;
  parameter Real x0 = 1;
  parameter Real x1 = 2;
  parameter Real t1 = 5;
  parameter Real v0 = -2;

  //variables
  Real x, v, a, xy, F, vm, K;

initial equation
  x = x0;
  v = v0;

equation
  v = der(x);
  a = der(v);
  m * a + k * x = F;

algorithm
  if time < t1 then
    xy := x0;
  else
    xy := x1;
  end if;

  K := Fmax * abs(xy - x) + k * (xy^2 - x^2) / 2;

  if abs(xy - x) < 1e-6 then
    F := k * x;
  else
    if K > 0 then
      vm := sign(xy - x) * sqrt(2 * K / m);
      F := Fmax * sign(vm - v);
    else
      F := Fmax * sign(x - xy);
    end if;
  end if;

  annotation(
    experiment(StartTime = 0, StopTime = 20, Tolerance = 1e-06, Interval = 0.001),
    __OpenModelica_simulationFlags(lv = "LOG_STATS", outputFormat = "mat", s = "euler"));
end Model;

Однако, он продолжает давать мне ошибку:

Следующее утверждение было нарушено во время 7.170000

Ошибка модели: Аргумент sqrt (K / m) был -1,77973e-005be> = 0

Попытка интегратора обработать проблему с вызываемым утверждением.

Следующее утверждение было нарушено во время 7.169500 ​​

Ошибка модели: Аргумент sqrt (K/ м) было -6,5459e-006 должно быть> = 0

модель прекратить |Симуляция завершилась утверждением в то время: 7.1695

СТАТИСТИКА

Процесс симуляции завершился неудачно.Выход с кодом -1.

Буду признателен, если вы поможете мне узнать, в чем заключается проблема и как я могу ее решить.

Answer 1

Код, который вы создали, выполняет локализацию событий, чтобы выяснить, когда условие в операторах if становится истинным и / или ложным.Во время этого поиска возможно, что выражение в квадратном корне становится отрицательным, хотя вы «избегали» его с помощью оператора if.

Попробуйте прочитать this и применить представленное там решение,Спойлер: В основном все сводится к добавлению оператора noEvent() для вашего логического условия ...