Engee documentation

Check Static Lower Bound

Page in progress.

Checks that the signal is greater than (or equal to) a static lower bound.

blockType: SubSystem

Path in the library:

/Basic/Additional/Verification/Check Static Lower Bound

Description

Block Check Static Lower Bound checks whether the input signal is greater than the specified lower bound (or, if necessary, equal to it) at each time step, and after comparison performs the statement. Parameter Lower bound defines the lower bound. If the input signal is greater than the lower bound, the statement takes the value true (1), and the block does nothing. Otherwise, the block stops the simulation and returns an error message by default.

The input signal and the boundary can be scalars, vectors or matrices. The input signal and the boundary must have the same data type. The block compares the value of the input signal with the boundary differently depending on the signal:

  • When comparing scalars with vectors or matrices, the block compares a scalar with each element of a non-scalar input signal or boundary.

  • When comparing a vector or matrix input signal with a vector or matrix boundary, the block compares the input signal with the boundary element by element.

  • For models with an input signal and a boundary, which are vectors or matrices, the input signal and the boundary must have the same dimensions.

Ports

Input

# u — the input signal that is checked for compliance with the lower bound
scalar | vector | the matrix

Details

The input signal that is checked for compliance with the lower limit set by the parameter Lower bound.

Data types

Float32 | Float64 | Int8 | Int16 | Int32 | Int64 | UInt8 | UInt16 | UInt32 | UInt64 | Bool | Fixed

Complex numbers support

I don’t

Parameters

Parameters

# Lower bound — the value of the lower bound

Details

Specify the lower limit of the range of amplitudes that the input signal may have.

Default value

0.0

Program usage name

min

Tunable

No

Evaluatable

Yes

# Inclusive boundary — include the lower limit in the range

Details

Select this option so that the range of acceptable input amplitudes includes the lower limit.

Default value

true (switched on)

Program usage name

min_included

Tunable

No

Evaluatable

Yes

# Enable assertion — enable or disable verification

Details

If this option is unchecked, then the block is disabled and the model does not take it into account.

Default value

true (switched on)

Program usage name

enabled

Tunable

No

Evaluatable

Yes

# Simulation callback when assertion fails(optional) — an expression to calculate when an assertion fails

Details

Specify the expression to calculate when the statement fails. Since the expression is evaluated in the workspace, define all the variables used in the expression in this workspace.

Default value

Program usage name

callback

Tunable

No

Evaluatable

Yes

# Stop simulation when assertion fails — stop the simulation if the verification fails

Details

Check this box to stop the simulation if the verification fails. Uncheck this box to display a warning and continue the simulation.

Default value

true (switched on)

Program usage name

stopWhenAssertionFails

Tunable

No

Evaluatable

Yes

# Select Icon Type — block icon style
graphic | text

Details

Specify the style of the block icon. If the value is set to graphic, then the icon displays a graphical representation of the approval condition. If the value is set to text, then the icon displays a mathematical expression representing the condition of the statement.

Values

graphic | text

Default value

graphic

Program usage name

icon

Tunable

No

Evaluatable

Yes