|
|
lucid
0.0.1
Lifting-based Uncertain Control Invariant Dynamics
|
Simple dataclass used to store the configuration of the program. More...
#include <Configuration.h>
Public Types | |
| enum class | Optimiser { GUROBI , ALGLIB , HIGHS } |
| Underlying optimiser to use. More... | |
| enum class | Estimator { KERNEL_RIDGE_REGRESSOR } |
| Estimator class to use for regression. More... | |
| enum class | Kernel { GAUSSIAN_KERNEL } |
| Kernel class to use for the estimator. More... | |
| enum class | FeatureMap { LINEAR_TRUNCATED_FOURIER_FEATURE_MAP , CONSTANT_TRUNCATED_FOURIER_FEATURE_MAP , LOG_TRUNCATED_FOURIER_FEATURE_MAP } |
| Feature map class to use for transformation. More... | |
Public Member Functions | |
| Configuration ()=default | |
| Construct a new Configuration object. | |
| int & | m_verbose () |
Get read-only access to the verbose parameter of the configuration. | |
| const int & | verbose () const |
Get read-write access to the verbose parameter of the configuration. | |
| int & | m_seed () |
Get read-only access to the seed parameter of the configuration. | |
| const int & | seed () const |
Get read-write access to the seed parameter of the configuration. | |
| bool & | m_plot () |
Get read-only access to the plot parameter of the configuration. | |
| const bool & | plot () const |
Get read-write access to the plot parameter of the configuration. | |
| bool & | m_verify () |
Get read-only access to the verify parameter of the configuration. | |
| const bool & | verify () const |
Get read-write access to the verify parameter of the configuration. | |
| std::string & | m_problem_log_file () |
Get read-only access to the problem_log_file parameter of the configuration. | |
| const std::string & | problem_log_file () const |
Get read-write access to the problem_log_file parameter of the configuration. | |
| std::string & | m_iis_log_file () |
Get read-only access to the iis_log_file parameter of the configuration. | |
| const std::string & | iis_log_file () const |
Get read-write access to the iis_log_file parameter of the configuration. | |
| std::function< Matrix(Matrix)> & | m_system_dynamics () |
Get read-only access to the system_dynamics parameter of the configuration. | |
| const std::function< Matrix(Matrix)> & | system_dynamics () const |
Get read-write access to the system_dynamics parameter of the configuration. | |
| std::unique_ptr< Set > & | m_X_bounds () |
Get read-only access to the X_bounds parameter of the configuration. | |
| const std::unique_ptr< Set > & | X_bounds () const |
Get read-write access to the X_bounds parameter of the configuration. | |
| std::unique_ptr< Set > & | m_X_init () |
Get read-only access to the X_init parameter of the configuration. | |
| const std::unique_ptr< Set > & | X_init () const |
Get read-write access to the X_init parameter of the configuration. | |
| std::unique_ptr< Set > & | m_X_unsafe () |
Get read-only access to the X_unsafe parameter of the configuration. | |
| const std::unique_ptr< Set > & | X_unsafe () const |
Get read-write access to the X_unsafe parameter of the configuration. | |
| Matrix & | m_x_samples () |
Get read-only access to the x_samples parameter of the configuration. | |
| const Matrix & | x_samples () const |
Get read-write access to the x_samples parameter of the configuration. | |
| Matrix & | m_xp_samples () |
Get read-only access to the xp_samples parameter of the configuration. | |
| const Matrix & | xp_samples () const |
Get read-write access to the xp_samples parameter of the configuration. | |
| Matrix & | m_f_xp_samples () |
Get read-only access to the f_xp_samples parameter of the configuration. | |
| const Matrix & | f_xp_samples () const |
Get read-write access to the f_xp_samples parameter of the configuration. | |
| int & | m_num_samples () |
Get read-only access to the num_samples parameter of the configuration. | |
| const int & | num_samples () const |
Get read-write access to the num_samples parameter of the configuration. | |
| double & | m_noise_scale () |
Get read-only access to the noise_scale parameter of the configuration. | |
| const double & | noise_scale () const |
Get read-write access to the noise_scale parameter of the configuration. | |
| double & | m_lambda () |
Get read-only access to the lambda parameter of the configuration. | |
| const double & | lambda () const |
Get read-write access to the lambda parameter of the configuration. | |
| double & | m_sigma_f () |
Get read-only access to the sigma_f parameter of the configuration. | |
| const double & | sigma_f () const |
Get read-write access to the sigma_f parameter of the configuration. | |
| Vector & | m_sigma_l () |
Get read-only access to the sigma_l parameter of the configuration. | |
| const Vector & | sigma_l () const |
Get read-write access to the sigma_l parameter of the configuration. | |
| int & | m_num_frequencies () |
Get read-only access to the num_frequencies parameter of the configuration. | |
| const int & | num_frequencies () const |
Get read-write access to the num_frequencies parameter of the configuration. | |
| double & | m_oversample_factor () |
Get read-only access to the oversample_factor parameter of the configuration. | |
| const double & | oversample_factor () const |
Get read-write access to the oversample_factor parameter of the configuration. | |
| int & | m_lattice_resolution () |
Get read-only access to the lattice_resolution parameter of the configuration. | |
| const int & | lattice_resolution () const |
Get read-write access to the lattice_resolution parameter of the configuration. | |
| double & | m_gamma () |
Get read-only access to the gamma parameter of the configuration. | |
| const double & | gamma () const |
Get read-write access to the gamma parameter of the configuration. | |
| double & | m_C_coeff () |
Get read-only access to the C_coeff parameter of the configuration. | |
| const double & | C_coeff () const |
Get read-write access to the C_coeff parameter of the configuration. | |
| int & | m_time_horizon () |
Get read-only access to the time_horizon parameter of the configuration. | |
| const int & | time_horizon () const |
Get read-write access to the time_horizon parameter of the configuration. | |
| double & | m_epsilon () |
Get read-only access to the epsilon parameter of the configuration. | |
| const double & | epsilon () const |
Get read-write access to the epsilon parameter of the configuration. | |
| double & | m_b_norm () |
Get read-only access to the b_norm parameter of the configuration. | |
| const double & | b_norm () const |
Get read-write access to the b_norm parameter of the configuration. | |
| double & | m_b_kappa () |
Get read-only access to the b_kappa parameter of the configuration. | |
| const double & | b_kappa () const |
Get read-write access to the b_kappa parameter of the configuration. | |
| Estimator & | m_estimator () |
Get read-only access to the estimator parameter of the configuration. | |
| const Estimator & | estimator () const |
Get read-write access to the estimator parameter of the configuration. | |
| Kernel & | m_kernel () |
Get read-only access to the kernel parameter of the configuration. | |
| const Kernel & | kernel () const |
Get read-write access to the kernel parameter of the configuration. | |
| FeatureMap & | m_feature_map () |
Get read-only access to the feature_map parameter of the configuration. | |
| const FeatureMap & | feature_map () const |
Get read-write access to the feature_map parameter of the configuration. | |
| Optimiser & | m_optimiser () |
Get read-only access to the optimiser parameter of the configuration. | |
| const Optimiser & | optimiser () const |
Get read-write access to the optimiser parameter of the configuration. | |
Simple dataclass used to store the configuration of the program.
|
strong |
|
strong |
|
strong |
|
strong |
|
inlinenodiscard |
Get read-write access to the b_kappa parameter of the configuration.
Default to 1.0
b_kappa parameter of the configuration
|
inlinenodiscard |
Get read-write access to the b_norm parameter of the configuration.
Default to 1.0
b_norm parameter of the configuration
|
inlinenodiscard |
Get read-write access to the C_coeff parameter of the configuration.
Default to 1.0
C_coeff parameter of the configuration
|
inlinenodiscard |
Get read-write access to the epsilon parameter of the configuration.
Default to 0.0
epsilon parameter of the configuration
|
inlinenodiscard |
Get read-write access to the estimator parameter of the configuration.
Default to Estimator::KERNEL_RIDGE_REGRESSOR
estimator parameter of the configuration
|
inlinenodiscard |
Get read-write access to the f_xp_samples parameter of the configuration.
Default to emptyMatrix
f_xp_samples parameter of the configuration
|
inlinenodiscard |
Get read-write access to the feature_map parameter of the configuration.
Default to FeatureMap::LINEAR_TRUNCATED_FOURIER_FEATURE_MAP
feature_map parameter of the configuration
|
inlinenodiscard |
Get read-write access to the gamma parameter of the configuration.
Default to 1.0
gamma parameter of the configuration
|
inlinenodiscard |
Get read-write access to the iis_log_file parameter of the configuration.
Default to ""
iis_log_file parameter of the configuration
|
inlinenodiscard |
Get read-write access to the kernel parameter of the configuration.
Default to Kernel::GAUSSIAN_KERNEL
kernel parameter of the configuration
|
inlinenodiscard |
Get read-write access to the lambda parameter of the configuration.
Default to 1e-6
lambda parameter of the configuration
|
inlinenodiscard |
Get read-write access to the lattice_resolution parameter of the configuration.
Default to -1
lattice_resolution parameter of the configuration
|
inline |
Get read-only access to the b_kappa parameter of the configuration.
Default to 1.0
b_kappa parameter of the configuration
|
inline |
Get read-only access to the b_norm parameter of the configuration.
Default to 1.0
b_norm parameter of the configuration
|
inline |
Get read-only access to the C_coeff parameter of the configuration.
Default to 1.0
C_coeff parameter of the configuration
|
inline |
Get read-only access to the epsilon parameter of the configuration.
Default to 0.0
epsilon parameter of the configuration
|
inline |
Get read-only access to the estimator parameter of the configuration.
Default to Estimator::KERNEL_RIDGE_REGRESSOR
estimator parameter of the configuration
|
inline |
Get read-only access to the f_xp_samples parameter of the configuration.
Default to emptyMatrix
f_xp_samples parameter of the configuration
|
inline |
Get read-only access to the feature_map parameter of the configuration.
Default to FeatureMap::LINEAR_TRUNCATED_FOURIER_FEATURE_MAP
feature_map parameter of the configuration
|
inline |
Get read-only access to the gamma parameter of the configuration.
Default to 1.0
gamma parameter of the configuration
|
inline |
Get read-only access to the iis_log_file parameter of the configuration.
Default to ""
iis_log_file parameter of the configuration
|
inline |
Get read-only access to the kernel parameter of the configuration.
Default to Kernel::GAUSSIAN_KERNEL
kernel parameter of the configuration
|
inline |
Get read-only access to the lambda parameter of the configuration.
Default to 1e-6
lambda parameter of the configuration
|
inline |
Get read-only access to the lattice_resolution parameter of the configuration.
Default to -1
lattice_resolution parameter of the configuration
|
inline |
Get read-only access to the noise_scale parameter of the configuration.
Default to 0.01
noise_scale parameter of the configuration
|
inline |
Get read-only access to the num_frequencies parameter of the configuration.
Default to 10
num_frequencies parameter of the configuration
|
inline |
Get read-only access to the num_samples parameter of the configuration.
Default to 1000
num_samples parameter of the configuration
|
inline |
Get read-only access to the optimiser parameter of the configuration.
Default to Optimiser::GUROBI
optimiser parameter of the configuration
|
inline |
Get read-only access to the oversample_factor parameter of the configuration.
Default to 2.0
oversample_factor parameter of the configuration
|
inline |
Get read-only access to the plot parameter of the configuration.
Default to false
plot parameter of the configuration
|
inline |
Get read-only access to the problem_log_file parameter of the configuration.
Default to ""
problem_log_file parameter of the configuration
|
inline |
Get read-only access to the seed parameter of the configuration.
Default to -1
seed parameter of the configuration
|
inline |
Get read-only access to the sigma_f parameter of the configuration.
Default to 1.0
sigma_f parameter of the configuration
|
inline |
Get read-only access to the sigma_l parameter of the configuration.
Default to Vector::Constant(1
sigma_l parameter of the configuration
|
inline |
Get read-only access to the system_dynamics parameter of the configuration.
Default to nullptr
system_dynamics parameter of the configuration
|
inline |
Get read-only access to the time_horizon parameter of the configuration.
Default to 5
time_horizon parameter of the configuration
|
inline |
Get read-only access to the verbose parameter of the configuration.
Default to 3
verbose parameter of the configuration
|
inline |
Get read-only access to the verify parameter of the configuration.
Default to false
verify parameter of the configuration
|
inline |
Get read-only access to the X_bounds parameter of the configuration.
Default to nullptr
X_bounds parameter of the configuration
|
inline |
Get read-only access to the X_init parameter of the configuration.
Default to nullptr
X_init parameter of the configuration
|
inline |
Get read-only access to the x_samples parameter of the configuration.
Default to emptyMatrix
x_samples parameter of the configuration
|
inline |
Get read-only access to the X_unsafe parameter of the configuration.
Default to nullptr
X_unsafe parameter of the configuration
|
inline |
Get read-only access to the xp_samples parameter of the configuration.
Default to emptyMatrix
xp_samples parameter of the configuration
|
inlinenodiscard |
Get read-write access to the noise_scale parameter of the configuration.
Default to 0.01
noise_scale parameter of the configuration
|
inlinenodiscard |
Get read-write access to the num_frequencies parameter of the configuration.
Default to 10
num_frequencies parameter of the configuration
|
inlinenodiscard |
Get read-write access to the num_samples parameter of the configuration.
Default to 1000
num_samples parameter of the configuration
|
inlinenodiscard |
Get read-write access to the optimiser parameter of the configuration.
Default to Optimiser::GUROBI
optimiser parameter of the configuration
|
inlinenodiscard |
Get read-write access to the oversample_factor parameter of the configuration.
Default to 2.0
oversample_factor parameter of the configuration
|
inlinenodiscard |
Get read-write access to the plot parameter of the configuration.
Default to false
plot parameter of the configuration
|
inlinenodiscard |
Get read-write access to the problem_log_file parameter of the configuration.
Default to ""
problem_log_file parameter of the configuration
|
inlinenodiscard |
Get read-write access to the seed parameter of the configuration.
Default to -1
seed parameter of the configuration
|
inlinenodiscard |
Get read-write access to the sigma_f parameter of the configuration.
Default to 1.0
sigma_f parameter of the configuration
|
inlinenodiscard |
Get read-write access to the sigma_l parameter of the configuration.
Default to Vector::Constant(1
sigma_l parameter of the configuration
|
inlinenodiscard |
Get read-write access to the system_dynamics parameter of the configuration.
Default to nullptr
system_dynamics parameter of the configuration
|
inlinenodiscard |
Get read-write access to the time_horizon parameter of the configuration.
Default to 5
time_horizon parameter of the configuration
|
inlinenodiscard |
Get read-write access to the verbose parameter of the configuration.
Default to 3
verbose parameter of the configuration
|
inlinenodiscard |
Get read-write access to the verify parameter of the configuration.
Default to false
verify parameter of the configuration
|
inlinenodiscard |
Get read-write access to the X_bounds parameter of the configuration.
Default to nullptr
X_bounds parameter of the configuration
|
inlinenodiscard |
Get read-write access to the X_init parameter of the configuration.
Default to nullptr
X_init parameter of the configuration
|
inlinenodiscard |
Get read-write access to the x_samples parameter of the configuration.
Default to emptyMatrix
x_samples parameter of the configuration
|
inlinenodiscard |
Get read-write access to the X_unsafe parameter of the configuration.
Default to nullptr
X_unsafe parameter of the configuration
|
inlinenodiscard |
Get read-write access to the xp_samples parameter of the configuration.
Default to emptyMatrix
xp_samples parameter of the configuration