使用Simulink控制设计和Simu金宝applink验证块验证模型

本例展示了如何使用Simulink®Control Design™Simulink验证块的组合金宝app来断言飞机线性系统的特性满足以下条件之一。

打开飞机Simulink模型。金宝app

open_system (“scdmultiplechecks”）

飞机模型是基于以巡航高度和速度飞行的长途客机。飞机以满载燃料启动，并遵循预先指定的8小时速度剖面。该模型是一个速度控制回路的简化版本，它调整燃料流量来控制飞机的速度。

v <= 0.9*vCruise和断言:PM >= 60或如果PM < 60，则v <= 0.9*vCruise块为检查静态上界而且断言块，分别从Simulink模型验证库。金宝app在本例中，您将这些块与Check Gain和Phase margin块一起使用，以设计用于断言的复杂逻辑。

Check Gain and Phase margin块被配置为在模拟时间内每30分钟线性化Velocity Controller块所看到的环路。若要查看线性化设置，请打开“检查增益和相位边缘”图并打开线性化选项卡。

“检查增益和相位裕度”块被配置为执行断言。当线性化系统的相位裕度大于60度时，断言失败。界面上可以查看相位边界设置界限选项卡。

由于控制器看到的环路包含负反馈的求和块，所以设置计算相位裕度的反馈符号积极的反馈．

若要在模拟期间以表格格式查看计算出的相位裕度，请设置情节类型参数表格并点击展示图．

设计断言逻辑，使验证块的组合在以下断言条件都为假时断言失败。换句话说，如果任意一个条件为真，断言就通过

首先，配置Check Gain and Phase margin块以输出其断言信号。要做到这一点，就断言选项卡上,选择输出断言信号，并单击应用．

接下来，配置v <= 0.9*vCruise块为:

打开bock，配置如下图所示参数。

最后，将模型中的验证块连接起来，如下图所示。当两个断言条件都为假时，Assert that: PM >= 60或如果PM < 60则v <= 0.9*vCruise块的输入为零。结果，块的断言失败并停止模拟。

的scdmultiplechecks_final模型使用这些设置和连接进行配置。

mdl =“scdmultiplechecks_final”；open_system (mdl)

要模拟模型，运行以下代码。

sim (mdl)

在模拟过程中，v <= 0.9*vCruise块断言多次，Check Gain and Phase margin块断言两次。

您可以在表中查看违反“检查增益”和“相位裕度”块边界的相位裕度。

断言:PM >= 60或如果PM < 60则v <= 0.9*vCruise不遇到断言条件。因此，模拟不会停止。

当一个块被断言时，模型生成警告。要打开Diagnostic查看器，请在模型窗口中单击警告链接。

在诊断查看器中，您可以通过单击链接查看断言的详细信息。

另请参阅

检查增益和相位裕度|检查静态上界

相关的话题

• 在Simulink模型中监测线性系统特性金宝app
• 为模型验证块定义线性系统
• 在多个仿真快照中验证模型