DwShellCertificate Struct Reference

Sampled DW shell + classical projections used as local certificates. More...

#include <Geometric_certificates.h>

Collaboration diagram for DwShellCertificate:

Public Attributes
std::vector< DwShellPoint >	samples
NumericalRangeCertificate	nr
double	max_singular = 0.0
	σ_max(A) (small-gain)
double	excess_passivity = 0.0
double	shortage_passivity = 0.0
double	xz_min_re = 0.0
	min Re over DW samples (≈ NR min real)
double	xz_max_gain2 = 0.0
	max ||Av||^2 over samples
bool	pass_small_gain = false
bool	pass_excess = false

Detailed Description

Sampled DW shell + classical projections used as local certificates.

Member Data Documentation

excess_passivity

double DwShellCertificate::excess_passivity = 0.0

Referenced by certifyDwShell(), and plot_certificate_dw_shell().

max_singular

double DwShellCertificate::max_singular = 0.0

σ_max(A) (small-gain)

Referenced by certifyDwShell(), and plot_certificate_dw_shell().

nr

NumericalRangeCertificate DwShellCertificate::nr

Referenced by certifyDwShell(), and plot_certificate_dw_shell().

pass_excess

bool DwShellCertificate::pass_excess = false

Referenced by certifyDwShell().

pass_small_gain

bool DwShellCertificate::pass_small_gain = false

Referenced by certifyDwShell(), and plot_certificate_dw_shell().

samples

std::vector<DwShellPoint> DwShellCertificate::samples

Referenced by certifyDwShell(), and plot_certificate_dw_shell().

shortage_passivity

double DwShellCertificate::shortage_passivity = 0.0

Referenced by certifyDwShell(), and plot_certificate_dw_shell().

xz_max_gain2

double DwShellCertificate::xz_max_gain2 = 0.0

max ||Av||^2 over samples

Referenced by certifyDwShell().

xz_min_re

double DwShellCertificate::xz_min_re = 0.0

min Re over DW samples (≈ NR min real)

Referenced by certifyDwShell().

---

The documentation for this struct was generated from the following file:

• harmony/src/Solver/Certificate/Geometric_certificates.h