Boundary detection

Jump to: navigation, search
This page documents an experimental feature. You can help out by testing it and reporting your experiences.

Boundary detection works under IDA to detect when, as moving forward in time, a point comes when a conditional expression changes value.

Possible boundaries include

  • real-valued relations, such as t < t_1 or T > T_sat
  • boolean-valued relations, such as motor_running = (have_power AND motor_switch_on)

As integration time progresses, logic-valued relations can only change value when somehow triggered by changes in real-valued relations. Boolean-valued relations at that point then be re-evaluated using LRSlv to precedence-order the logical relations from the current model state.

Boolean-valued relations case use the truth-value of real-valued relations using the SATISFIED(relname,tolerance) function.

See also