.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

Generated at 2024-03-27T19:15:56Z by OpenModelicaOpenModelica 1.22.3 using GenerateDoc.mos