.Modelica_Requirements.ChecksInSlidingWindow.MinAccumulatedDuration2

Information

Syntax

property = MinAccumulatedDuration2(check=..., window=..., lowerLimit=...).y;

Description

In any (sliding) time window of length window, the accumulated time duration where the Boolean input check was true (= accumulatedDuration) must be ≥ parameter lowerLimit. Whenever this property is fulfilled, Boolean output y = true. If this property is not fulfilled at the end of a sliding time window, y = false (even at the first window):

y =  if accumulatedDuration ≥ lowerLimit then Satisfied else 
    (if first then Undecided else Violated);

Violated, Undecided, and Satisfied are elements of enumeration Property.

Example

The property is demonstrated with the following example calling the block as:

results in

	simulation result