lucid  0.0.2
Lifting-based Uncertain Control Invariant Dynamics
Loading...
Searching...
No Matches
lucid::FourierBarrierCertificateParameters Struct Reference

Parameters for the Fourier barrier certificate synthesis using PSO. More...

#include <FourierBarrierCertificate.h>

Public Attributes

double set_scaling = 0.1
 Set size percentage set_scaling factor on the periodic domain.
int num_particles = 40
 Number of particles in the swarm.
double phi_local = 0.5
 Cognitive coefficient.
double phi_global = 0.3
 Social coefficient.
double weight = 0.9
 Inertia weight.
int max_iter = 150
 Maximum number of iterations. 0 means no limit.
double max_vel = 0.0
 Maximum velocity for each particle. 0 means no limit.
double ftol = 1e-8
 Function value tolerance for convergence.
double xtol = 1e-8
 Position change tolerance for convergence.
double C_coeff = 1.0
 Used to either strengthen (>1) or weaken (<1) the conservative coefficient C.
double epsilon = 0.0
 Robustifying radius.
double b_norm = 1.0
 Target norm for the barrier certificate.
double kappa = 1.0
 Kappa parameter (?).
int threads = 0
 Number of threads to use. 0 means automatic detection.

Detailed Description

Parameters for the Fourier barrier certificate synthesis using PSO.


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