Check Dynamic Gap

Check that gap of possibly varying width occurs in range
of signal's amplitudes

Library

Model Verification

Description

The Check Dynamic Gap block checks that a gap of possibly varying
width occurs in the range of a signal's amplitudes. The test signal
is the signal connected to the input labeled sig.
The inputs labeled min and max specify
the lower and upper bounds of the dynamic gap, respectively. If the
verification condition is true, the block does nothing. If not, the
block halts the simulation, by default, and displays an error message.

The Check Dynamic Gap block and its companion blocks in the
Model Verification library are intended to facilitate creation of
self-validating models. For example, you can use model verification
blocks to test that signals do not exceed specified limits during
simulation. When you are satisfied that a model is correct, you can
turn error checking off by disabling the verification blocks. You
do not have to physically remove them from the model. If you need
to modify a model, you can temporarily turn the verification blocks
back on to ensure that your changes do not break the model.

Note

Data Type Support

The Check Dynamic Gap block accepts input signals of any dimensions
and of any numeric data type that Simulink supports. All three
input signals must have the same dimension and data type. If the inputs
are nonscalar, the block checks each element of the input test signal
to the corresponding elements of the reference signals.

Parameters

Enable
assertion

Clearing this check box disables the Check Dynamic Gap block, that is, causes the model to
behave as if the block did not exist. The Model Verification block
enabling setting in the Configuration Parameters dialog box
allows you to enable or disable all model verification blocks in a model,
including Check Dynamic Gap blocks, regardless of the setting of this
option.

Simulation
callback when assertion fails

Specify a MATLAB® expression to evaluate when the assertion
fails. Because the expression is evaluated in the MATLAB workspace,
define all variables used in the expression in that workspace.

Stop simulation
when assertion fails

Selecting this check box causes the Check Dynamic Gap block
to halt the simulation when the block's output is zero and the Simulink software
displays an error. Otherwise, the Simulink software displays
a warning and continues the simulation.

Output assertion signal

Selecting this check box causes the Check Dynamic Gap block to output a Boolean signal that is
true (1) at each time step if the assertion succeeds and
false (0) if the assertion fails. The data type of the
output signal is Boolean if you have selected the
Implement logic signals as Boolean data check box
on the Configuration Parameters dialog box. Otherwise the data type of the
output signal is double.

Select
icon type

Specify the type of icon used to display this block in a block
diagram: either graphic or text.
The graphic option displays a graphical representation
of the assertion condition on the icon. The text option
displays a mathematical expression that represents the assertion condition.
If the icon is too small to display the expression, the text icon
displays an exclamation point. To see the expression, enlarge the
block.

Characteristics

Data Types

Double | Single | Boolean | Base Integer | Fixed-Point
| Enumerated

Sample Time

Inherited from driving block

Direct Feedthrough

No

Multidimensional Signals

Yes

Variable-Size Signals

No

Zero-Crossing Detection

No

Code Generation

Yes

Introduced before R2006a

Was this topic helpful?

Select Your Country

Choose your country to get translated content where available and see local events and offers. Based on your location, we recommend that you select: .