Этот пример показывает, как утверждать, что границы на характеристиках линейной системы нелинейной модели Simulink®, вычисленной во время снимка состояния симуляции по умолчанию 0, удовлетворены во время симуляции.
Откройте нелинейную модель Simulink. Например:
watertank
Откройте Браузер Библиотеки Simulink путем выбора View> Library Browser в Редакторе Simulink.
Добавьте образцовый блок верификации в модель Simulink.
В библиотеке Simulink Control Design выберите Model Verification.
Перетащите мышью блок, такой как блок Check Pole-Zero Characteristics, в Редактор Simulink.
Модель теперь напоминает следующую фигуру.
Дважды кликните блок, чтобы открыть диалоговое окно Block Parameters.
Чтобы узнать больше о параметрах блоков, смотрите страницы с описанием блока.
Задайте ввод и вывод линеаризации, чтобы вычислить полюса с обратной связью и нули.
Если вы задали ввод и вывод линеаризации в своей модели Simulink, щелкните, чтобы автоматически заполнить таблицу Linearization inputs/outputs с I/Os из модели.
Задавать вход:
Щелкните смежный с таблицей Linearization inputs/outputs.
Диалоговое окно Параметров блоков расширяется, чтобы отобразить область Click a signal in the model to select it.
В модели Simulink кликните по выходному сигналу блока Desired Water Level
, чтобы выбрать его.
Область Click a signal in the model to select it обновляет, чтобы отобразить выбранный сигнал.
Можно выбрать несколько сигналов целиком в модели Simulink. Все выбранные сигналы появляются в области Click a signal in the model to select it.
Щелкните, чтобы добавить сигнал в таблицу Linearization inputs/outputs.
Задавать вывод:
В модели Simulink кликните по выходному сигналу блока Water-Tank System
, чтобы выбрать его.
Область Click a signal in the model to select it обновляет, чтобы отобразить выбранный сигнал.
Щелкните, чтобы добавить сигнал в таблицу Linearization inputs/outputs.
Чтобы найти местоположение в модели Simulink, соответствующей сигналу в таблице Linearization inputs/outputs, выберите сигнал в таблице и нажатии кнопки.
В Configuration выпадающий список таблицы Linearization inputs/outputs выберите Output Measurement
for watertank/Water-Tank System: 1.
I/Os включают обратную связь в модель Simulink. Программное обеспечение вычисляет полюса и нули системы с обратной связью.
Щелкните, чтобы свернуть область Click a signal in the model to select it.
Задайте границы для утверждения. В этом примере вы используете аппроксимированные границы значения по умолчанию второго порядка, заданные во вкладке Bounds диалогового окна Block Parameters.
Просмотрите границы на нулевой полюсом карте путем нажатия на Show Plot, чтобы открыть окно графика.
Остановите симуляцию, если утверждение перестало работать путем выбора Stop simulation when assertion fails во вкладке Assertion.
Нажмите Apply, чтобы применить все измененные настройки к блоку.
Моделируйте модель путем нажатия в окне графика.
Также можно моделировать модель из Редактора Simulink.
Программное обеспечение линеаризует фрагмент модели между вводом и выводом линеаризации во времени симуляции по умолчанию 0, заданный в параметрах блоков Snapshot times. Когда программное обеспечение обнаруживает, что полюс нарушает связанное заданное, остановки симуляции. Средство просмотра Диагностики открывает создание отчетов о блоке, который утверждает.
Нажмите Open, чтобы подсветить блок, который утверждает в модели Simulink.
Положения полюсов и нулей с обратной связью вычисленной линейной системы появляются как x
и маркировки o
в окне графика. Можно также просмотреть связанное нарушение в графике.