Engee documentation

Check Static Upper Bound

Checks that the signal is less than (or equal to) a static upper bound.

blockType: SubSystem

Path in the library:

/Basic/Additional/Verification/Check Static Upper Bound

Description

Block Check Static Upper Bound checks whether the input signal is less than the specified upper bound (or, if necessary, equal to it) at each time step, and after comparison performs the statement. Parameter Upper bound defines the upper bound. If the input signal is less than the upper bound, then 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 upper bound
scalar | vector | the matrix

Details

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

Data types

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

Complex numbers support

I don’t

Parameters

Parameters

# Upper bound — the value of the upper bound

Details

Specify the upper limit of the range of amplitudes that the input signal can have.

Default value

0.0

Program usage name

max

Tunable

No

Evaluatable

Yes

# Inclusive boundary — include the upper limit in the range

Details

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

Default value

true (switched on)

Program usage name

max_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