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.