Operator Classes

Contents

Operator Classes#

This page documents the operator classes used to describe an individual term \(F_i\) in the inclusion problem.

The set of operators are listed in Operators.

Common Routines#

All operator classes share common routines:

class operator.operator_interface#

OPERATOR_INTERFACE An operator with relation \(w \in F(z)\). A container for the variables, IQCs, and relations

Constructor Summary
operator_interface(c)#

OPERATOR_INTERFACE Constructor

Args

c (int): coordinate dimension for the operator

Property Summary
EQUALITY#

is this an equality constraint?

LMILAB#

is LMIlab used?

c#

coordinate dimension for the operator

id#

the ID of the operator in the problem (index)

Method Summary
create_iqc(cons, order, reps)#

CREATE_IQC form the IQC for the operator class

Parameters:

  • cons – accumulated constraints

  • order – order of the IQC [number of lags]

  • reps – number of repetitions of the operator (in the bind)

Returns:

  • iqc – a valid iqc for the operator

  • vars – variables of the problem

  • cons – constraints in the problem (in terms of the variables directly)

get_same()#

GET_SAME what is the explicitly known loop transformation matrix Overriden by class Sml

Returns:

sm – m=L? default to empty.

same()#

SAME is there any uncertainty in this oracle? Overriden by class Sml

Returns:

sm (bool) – m=L? default to false.

sid()#

SID the convert the id to a string

Return:

strid (char) – string of the id

Contents