blockNoRising
In every true condition phase, no rising edge of check is allowed
Extends from Modelica_Requirements.Interfaces.PartialCheck (Interfaces and icon for check block).
Information
Syntax
property = NoRising(condition=..., check=...).y;
Description
In every duration where the Boolean input condition is true, the Boolean input check must not have any rising edges. Property output y is initialized to Undecided. When condition becomes true (so entering a duration), property output y = Undecided until either check has a rising edge in this duration, then y = Violated, or the condition becomes false without any rising edge of check, then y = Satisfied.
Violated, Undecided, and Satisfied are elements of enumeration Property.
Example
This block is demonstrated with the following example:
results in
 |
|
| simulation result |
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 |