.Modelica_Requirements.ChecksInFixedWindow.MaxDuration

Information

Syntax

property = MaxDuration(condition=..., check=..., durationMax=...).y;

Description

In every duration where the Boolean input condition is true, the Boolean input check must be true 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=false during initialization, property output 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