.Modelica_Requirements.ChecksInFixedWindow.BandDuration

Information

Syntax

property = BandDuration(condition=..., check=..., durationMin=..., durationMax=...).y;

Description

In every duration where the Boolean input condition is true, the Boolean input check must be true at least for the time span defined by parameter durationMin and for at most the time span defined by parameter durationMax. Whenever this property is fulfilled, property output y = Satisfied. If this property is not fulfilled during a true condition phase, property output y = Violated. If condition=true and durationMin=0 during initialization, property output y = Satisfied else y = Undecided. Output y keeps its value, until one of the above conditions occur.

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

Example

This block is demonstrated with the following example:

results in

	simulation result