blockDuring

In every true condition phase, check must be true

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

Information

Syntax

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

Description

In every duration where the Boolean input condition is true, the Boolean input check must be true. During a true condition phase, property output y = Satisfied if check = true, and Violated if check = false. During a false condition phase, property 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

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