blockMaxRising
Extends from Modelica_Requirements.Interfaces.PartialCheck (Interfaces and icon for check block).
Information
Syntax
property = MaxRising(condition=..., check=..., nRisingMax=1).y;
Description
In every duration where the Boolean input condition is true, the number of rising edges of the Boolean input check is not allowed to exceed parameter nRisingMax. The default for nRisingMax=1 (so at most one rising edge). Property output y is initialized to Undecided if condition=false, and is initialized to Satisfied if condition=true. When condition becomes true (so entering a duration), property output y = Satisfied, as long as the number of rising edges ≤ nRisingMax. If condition is true and the number of rising edges > nRisingMax, output y = Violated. If condition is false, output y = Undecided.
Violated, Undecided, and Satisfied are elements of enumeration Property.
Example
This block is demonstrated with the following example:
results in
 |
|
| simulation result |
Parameters
| Type | Name | Default | Description |
|---|---|---|---|
| Integer | nRisingMax | 1 | Maximum number of check rising edges |
Connectors
| Type | Name | Default | Description |
|---|---|---|---|
| Modelica.Blocks.Interfaces.BooleanInput | condition (from PartialCheck) | Boolean input condition signal | |
| Modelica_Requirements.Interfaces.PropertyOutput | y (from PartialCheck) | Property output signal |
Components
| Type | Name | Default | Description |
|---|---|---|---|
| Boolean | check (from PartialCheck) | Boolean to check |