.Modelica_Requirements.ChecksInFixedWindow.BandRising

Information

Syntax

property = BandRising(condition=..., check=..., nRisingMin=1, nRisingMax=2).y;

Description

In every duration where the Boolean input condition is true, a minimum number of nRisingMin edges of the Boolean input check must occur and a maximum number of nRisingMax edges is allowed. The default for nRisingMin=1 (so at least one rising edge), whereas the default for nRisingMax=2 (so at most two rising edges). If condition = true and nRisingMin = 0, then Property output y is initialized to Satisfied, otherwise to Undecided.

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

Example

This block is demonstrated with the following example:

results in

	simulation result