.Modelica_Requirements.ChecksInSlidingWindow.MaxRising

Information

Syntax

nRisingLimited = MaxRising(check=..., window=..., nRisingMax=1).y;

Description

In any (sliding) time window of length window, the number or rising edges of the Boolean input check (= nRising) must be ≤ parameter nRisingMax. Whenever this property is fulfilled, Boolean output y = true, otherwise y = false.

y = nRising ≤ nRisingMax;

Example

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

results in

	simulation result