Verify Model Using Simulink Control Design and
Simulink Verification Blocks
This example shows how to use a combination of Simulink Control Design and Simulink
verification blocks, to assert that the linear system characteristics satisfy one of the
following bounds:- Phase margin greater than 60 degrees
- Phase margin less than 60 degrees and the velocity less than or equal to 90% of the
cruise velocity.
(^1) Open the Simulink model of an aircraft.
scdmultiplechecks
The aircraft model is based on a long-haul passenger aircraft flying at cruising
altitude and speed. The aircraft starts with a full fuel load and follows a pre-specified
Verify Model Using Simulink Control Design and Simulink Verification Blocks