In this example, the linearization input and output include the summation block with
negative feedback. Change the Feedback sign, used to compute the margin, to
positive feedback.To view the phase margins to be computed later during simulation, specify Tabular
in Plot type, and click Show Plot.(^4) Design assertion logic that causes the verification blocks to assert when the phase
margin is greater than 60 degrees or if the phase margin is less than 60 degrees, the
velocity is less than or equal to 90% the cruise velocity.
a In the Check Gain and Phase Margins Block Parameters dialog box, in the
Assertion tab, select Output assertion signal, and click Apply.
This action adds an output port z-1 to the block.
b Double-click the v <= 0.9*vCruise block, and specify the block parameters,
as shown in the following figure. After setting the parameters, click Apply.
14 Model Verification