Solution#

The output of a solve_single(), bisect(), or alternate() run from a opt_analysis and opt_synthesis managers is a solution structure. The solution structure is of type opt_solution, and is common among Analysis and Synthesis. Dedicated solution certificates for Analysis and Synthesis respectively are stored in the cert field of opt_solution.

Solution#

class manager.containers.opt_solution#

OPT_SOLUTION solution to an Analysis or Synthesis program acquired from running an opt_manager object

Constructor Summary
opt_solution(task)#

OPT_SOLUTION constructor

Property Summary
cert#

other certificates of the solution

dia#

feasibility of solution, should be negative

gain#

validation of performance criteria (passivity, H infinity)

info#

information about the LMI solution

objective#

minimization objective

recovery#

optional recovery of LMI constraints, blocks and their minimal eigenvalues

regcl#

certificate of closed-loop regulator equation satisfaction

rho#

certified linear convergence rate

spec#

specifications

status#

zero if feasible, nonzero if infeasible

sys#

final algorithmic interconnection

vars#

recovered variables of the problem

Method Summary
export_sim(ops_sim)#

EXPORT_SIM export the closed-loop system for simulation

Parameters:

ops_sim – cell array of op_sim objects

Returns:

sys_sim – system for simulation

Analysis Certificate#

class manager.containers.cert_analysis#

CERT_ANALYSIS certificate of the analysis program

Constructor Summary
cert_analysis()#

CERT_ANALYSIS constructor

Property Summary
alg_psi#

(genplant/genplant_poly) closed-loop system that is LMI-verified to satisfy performance specifications

diss#

(diss_data) dissipation constraints

iqc_op#

(cell of iqc) the IQCs for the individual operators

Synthesis Certificate#

class manager.containers.cert_synthesis#

CERT_SYNTHESIS certificate of the synthesis program undefined

Constructor Summary
cert_synthesis()#

CERT_SYNTHESIS constructor

Property Summary
Gcl#

closed-loop storage matrix for alg_psi

K#

controller (after internal model interconnection)

K_sub#

subcontroller (before the internal model interconnection)

Ycl#

similarity transformation for convexification

alg#

algorithm (controller and network)

alg_psi#

(genplant/genplant_poly) closed-loop system that is LMI-verified to satisfy performance specifications

alg_trans#

(genplant/genplant_poly) closed-loop system before cascade with IQCs (nominal stability)

diss#

(diss_data) dissipation constraints

iqc_op#

(cell of iqc) the IQCs for the individual operators

iqc_op_all#

(iqc_data) block-diagonal concatenation of the IQCs

model#

(genplant/genplant_poly) internal model used to certify regulation constraint