blockWhenFalling

When condition input has a falling edge, check must be true

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

Information

Syntax

property = WhenFalling(condition=..., check=...).y;

Description

At the time instants where condition has a falling edge, property is set to "BooleanToProperty(check)" (so either Satisfied or Violated) and keeps this value until the next falling edge. Before the first falling edge, property = Undecided. If condition = false during initialization, property = toProperty(check) at initialization.

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

Example

The property is demonstrated with the following example:

results in

simulation result

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