Создайте объект требования по умолчанию.

Requirement = sdo.requirements.PhasePlaneRegion;

Объект требования задает ограниченную область как одно расширение ребра от (-1,0) до (-1,1) в плоскости фазы, заданной двумя сигналами. Requirement.Type имеет значение по умолчанию '<='. Это значение подразумевает, что область слева от ребра выходит за пределы, где прямое направление является направлением создания ребра.

Задайте данные о тестовом сигнале, когда timeseries возражает.

signal1 = timeseries(1-exp(-(0:10)'));
signal2 = timeseries(sin((0:10)'));

Оцените требование.

Evaluation = evalRequirement(Requirement,signal1,signal2)

Evaluation = -0.2632

Отрицательная величина указывает, что требование удовлетворено, и траектория плоскости фазы двух данных о тестовом сигнале находится в ограниченной области.

Создайте объект требования указать, что кусочно-линейное привязало траекторию плоскости фазы двух сигналов. Связанное имеет два ребра. Первое ребро расширяет от (-4,1) до (2,1). Второе ребро расширяет от (2,1) до (2,-4).

Requirement = sdo.requirements.PhasePlaneRegion('BoundX',[-4 2; 2 2],...
    'BoundY',[1 1; 1 -4]);

Задайте связанный тип как '>='.

Requirement.Type = '>=';

График ниже показов ребра ограничения черного цвета цвета. Стрелки указывают на направление, в котором были заданы ребра. Когда вы задаете свойство Type как '>=', из-связанного, область всегда справа от каждого ребра, где прямое направление является направлением создания ребра. В результате из связанной области желтая заштрихованная область, и точка траектории, расположенная в (3,3), находится в ограниченной области.

Оцените требование для точки траектории плоскости фазы, расположенной в (3,3).

Evaluation = evalRequirement(Requirement,[3 3])

Evaluation = -0.6389

evalRequirement возвращает отрицательное число, указывая, что требование удовлетворено.

Теперь создайте требование путем изменения порядка спецификации ребер.

set(Requirement,'BoundX',[2 2; 2 -4],'BoundY',[-4 1;1 1]);

График показывает, что ребра были созданы в противоположном порядке. Так, даже при том, что типом требования является все еще '>=', из-связанного область, которая всегда является справа от ребер, теперь инвертируется.

Оцените требование.

Evaluation = evalRequirement(Requirement,[3 3])

Evaluation = 0.1087

Положительное значение Evaluation указывает, что требование было нарушено. Таким образом, для того же типа требования, точка траектории в (3,3) выходит за пределы, когда ребра заданы в обратном порядке.