blockBandRising

In every true condition phase, a minimum number of check rising edges must occur and the number of check rising edges is bounded

Extends from Modelica_Requirements.Interfaces.PartialCheck (Interfaces and icon for check block).

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

Parameters

TypeNameDefaultDescription
IntegernRisingMin1Minimum number of check rising edges
IntegernRisingMax2Maximum number of check rising edges

Connectors

TypeNameDefaultDescription
Modelica.Blocks.Interfaces.BooleanInputcondition (from PartialCheck)Boolean input condition signal
Modelica_Requirements.Interfaces.PropertyOutputy (from PartialCheck)Property output signal

Components

TypeNameDefaultDescription
Booleancheck (from PartialCheck)Boolean to check