1#ifndef CERTIFICATE_SPEC_H
2#define CERTIFICATE_SPEC_H
Frequency-domain certificate evaluation settings.
Definition Certificate_spec.h:12
bool require_phase
Eigenphase |arg λ(Y)| gate (heuristic).
Definition Certificate_spec.h:23
double sector_beta
Sector upper bound (loop shift).
Definition Certificate_spec.h:34
bool require_dw
Require NR phase + 0∉W + (optional) small-gain.
Definition Certificate_spec.h:30
bool require_shifted
Also enforce shifted passivity when δ ≠ 0.
Definition Certificate_spec.h:24
double sector_alpha
Sector lower bound (loop shift).
Definition Certificate_spec.h:33
double gain_limit
Small-gain threshold on σ_max(Y).
Definition Certificate_spec.h:32
bool require_nr_phase
Numerical-range small-phase (proper phase cert).
Definition Certificate_spec.h:27
int dw_sphere
Extra C^2 sphere density for DW fill.
Definition Certificate_spec.h:36
double passivity_eps
Require λ_min(Her Y) ≥ eps (excess passivity).
Definition Certificate_spec.h:20
bool require_small_gain
Require σ_max(Y) ≤ gain_limit.
Definition Certificate_spec.h:29
double phase_limit_deg
Max |arg| allowed (deg) for eigen / NR phase.
Definition Certificate_spec.h:19
bool require_sector
Loop-shifted sector [sector_alpha, sector_beta].
Definition Certificate_spec.h:31
double f_min_Hz
Definition Certificate_spec.h:13
int n_points
Definition Certificate_spec.h:15
bool require_passivity
Definition Certificate_spec.h:22
int nr_theta
Angular samples for ∂W(Y) / DW shell.
Definition Certificate_spec.h:35
double f_max_Hz
Definition Certificate_spec.h:14
bool require_nr_zero_outside
Require 0 ∉ W(Y).
Definition Certificate_spec.h:28
bool ac_dq_block
Use 2×2 AC dq block of MMC Y when available.
Definition Certificate_spec.h:16
double shift_delta
Shifted passivity: test Her(Y + δ I).
Definition Certificate_spec.h:21
std::string label
Definition Certificate_spec.h:38
GFM droop search bounds for the tuning assistant.
Definition Certificate_spec.h:54
double scale_Q_lo
Definition Certificate_spec.h:63
double Kdroop_P_min
Definition Certificate_spec.h:55
double Kdroop_Q_min
Definition Certificate_spec.h:57
double Kdroop_Q_max
Definition Certificate_spec.h:58
double scale_Q_hi
Definition Certificate_spec.h:64
double scale_P_hi
Definition Certificate_spec.h:62
double Kdroop_P_max
If ≤ min, derived from nominal × factors.
Definition Certificate_spec.h:56
int n_Q
Definition Certificate_spec.h:60
int n_P
Definition Certificate_spec.h:59
double scale_P_lo
Relative to nominal when absolute bounds unset.
Definition Certificate_spec.h:61
Rectangular (P,Q) sampling grid for operating-region certificates.
Definition Certificate_spec.h:42
double Q_max
Definition Certificate_spec.h:46
double Q_min
Definition Certificate_spec.h:45
int n_Q
Definition Certificate_spec.h:48
double Vdc
Definition Certificate_spec.h:50
double P_min
Definition Certificate_spec.h:43
double Vm
Definition Certificate_spec.h:49
double P_max
Definition Certificate_spec.h:44
int n_P
Definition Certificate_spec.h:47