|
|
lucid
0.0.1
Lifting-based Uncertain Control Invariant Dynamics
|
| ▼Clucid::BarrierCertificate | Control barrier certificates (CBCs) are often used to certify the safety of a stochastic systems |
| Clucid::FourierBarrierCertificate | Barrier certificate using a Fourier basis as a template for the function |
| Clucid::BaseScopedValue< T, Tags > | Base class for creating a stack of scoped values of type T, identified by Tags |
| ▼Clucid::BaseScopedValue< B, Tags... > | |
| Clucid::PolymorphicScopedValue< T, B, Tags > | Generic scoped value class that can hold a value of type T, while interfacing with a base class B |
| ▼Clucid::BaseScopedValue< T, Tags... > | |
| Clucid::PolymorphicScopedValue< T, T, Tags... > | |
| Clucid::Configuration | Simple dataclass used to store the configuration of the program |
| ▼Clucid::CrossValidator | During cross-validation, the available data is split into k folds |
| Clucid::KFold | Generic K-Fold cross-validation, where the dataset is divided into k folds |
| Clucid::LeaveOneOut | Leave-One-Out cross-validation (LOOCV) is a specific type of cross-validation where the number of folds equals the number of data points in the dataset |
| ▼Cstd::exception | STL class |
| ▼Cstd::logic_error | STL class |
| ▼Cstd::invalid_argument | STL class |
| Clucid::exception::LucidInvalidArgumentException | Exception for invalid arguments |
| ▼Cstd::out_of_range | STL class |
| Clucid::exception::LucidOutOfRangeException | Exception for out of range errors |
| ▼Cstd::runtime_error | STL class |
| ▼Clucid::exception::LucidException | Base class for all exceptions in lucid |
| Clucid::exception::LucidAssertionException | Exception for assertion failures |
| Clucid::exception::LucidInvalidArgumentException | Exception for invalid arguments |
| Clucid::exception::LucidLpSolverException | Exception in the LP solver |
| Clucid::exception::LucidNotImplementedException | Exception for not yet implemented features |
| Clucid::exception::LucidNotSupportedException | Exception for not supported features |
| Clucid::exception::LucidOutOfRangeException | Exception for out of range errors |
| Clucid::exception::LucidParserException | Exception for parser errors |
| Clucid::exception::LucidPyException | Exception occurred in Python code |
| Clucid::exception::LucidUnreachableException | Exception for unreachable code |
| ▼Clucid::FeatureMap | Map input vectors to a feature space |
| ▼Clucid::TruncatedFourierFeatureMap | Truncated Fourier feature map |
| Clucid::ConstantTruncatedFourierFeatureMap | Truncated Fourier feature map using fixed intervals between each interval of the normal distribution |
| Clucid::LinearTruncatedFourierFeatureMap | Truncated Fourier feature map using same-sized intervals between each interval of the normal distribution, from the origin to 3 standard deviations on each side |
| Clucid::LogTruncatedFourierFeatureMap | Truncated Fourier feature map using log-sized intervals between each interval of the normal distribution, from the origin to 3 standard deviations on each side |
| Clucid::plt::FillBetweenKwargs | Keyword arguments for fill_between |
| Clucid::FourierBarrierCertificateParameters | Parameters for the Fourier barrier certificate synthesis using PSO |
| Clucid::FourierBarrierSynthesisProblem | LP problem to solver to achieve the Fourier barrier synthesis |
| Clucid::GramMatrix | Gram Matrix obtained from a kernel function |
| Clucid::IndexIterator< T > | Iterator over all possible indexes in a given range |
| Clucid::InverseGramMatrix | The inverse of a Gram matrix, \( K^{-1} \), allowing transparent multiplication with vectors and matrices |
| Clucid::LbfgsParameters | Structure copied from lbfgscpp, to avoid a transitive dependency on the external library in the header |
| Clucid::MontecarloSimulation | Monte Carlo simulation for estimating the safety probability of a system |
| ▼Clucid::Optimiser | Base class for optimisation solvers |
| Clucid::AlglibOptimiser | Linear optimiser using the Alglib mathematical library |
| Clucid::GurobiOptimiser | Linear optimiser using the Gurobi solver |
| Clucid::HighsOptimiser | Linear optimiser using the HiGHS mathematical library |
| Clucid::SoplexOptimiser | Linear optimiser using the SoPlex solver |
| Clucid::ParameterValue | Parameter value used in a configurable system or application |
| Clucid::ParameterValues | Collection of parameter values used in a configurable system or application |
| ▼Clucid::Parametrizable | Interface for objects that allow setting and getting parameters dynamically |
| ▼Clucid::Estimator | Given two vector spaces, \( \texttip{\mathcal{X}}{Polish sample vector space} \subseteq \mathbb{R}^{d_x} \) and \( \texttip{\mathcal{Y}}{Polish sample vector space} \subseteq \mathbb{R}^{d_y} \), and a map \( f: \mathcal{X} \to \mathcal{Y} \), the Estimator's goal is to produce a model \( f^*:\mathcal{X} \to \mathcal{Y} \) that best approximates \( f \) |
| ▼Clucid::GradientOptimizable | Interface for objects that can be optimised using gradient-based methods (e.g., LbfgsTuner) |
| Clucid::KernelRidgeRegressor | Ridge regressor with a kernel function |
| Clucid::ModelEstimator | Dummy estimator that uses a user-defined function to make predictions |
| ▼Clucid::Kernel | Represents a kernel function |
| Clucid::GaussianKernel | RKHS Gaussian kernel |
| Clucid::ValleePoussinKernel | Vallée-Poussin kernel |
| Clucid::plt::PlotKwargs | Keyword arguments for the plot function |
| Clucid::plt::PlotSurfaceKwargs | Keyword arguments for plot_surface |
| Clucid::plt::PlotWireframeKwargs | Keyword arguments for plot_wireframe |
| Clucid::plt::SaveKwargs | Keyword arguments for savefig |
| Clucid::plt::ScatterKwargs | Keyword arguments for scatter |
| Clucid::ScopedValueShield< T, Tags > | A utility class that temporarily shields all current scoped values of type T and Tags |
| ▼Clucid::Set | Generic set over a \( \texttip{d}{Dimension of the vector space} \) dimensional vector space \( \texttip{\mathcal{X}}{Polish sample vector space} \subseteq \mathbb{R}^d \) |
| Clucid::EllipseSet | Multidimensional ellipsoid set |
| Clucid::MultiSet | Set composed of the union of multiple sets |
| Clucid::PolytopeSet | A convex polytope set in half-space representation |
| Clucid::RectSet | Rectangular set over an arbitrary number of dimensions |
| Clucid::SphereSet | Multidimensional sphere set |
| Clucid::Stats | Simple struct to hold various statistics about the execution of different components |
| Clucid::Tensor< T > | Lightweight tensor class |
| Clucid::TensorIterator< T > | Utility class to iterate over all elements of a tensor |
| Clucid::TensorView< T > | Lightweight wrapper that provides a view of a tensor |
| Clucid::TimerBase< T > | Simple timer class to evaluate the performance of the software |
| ▼Clucid::TimerBase< chosen_steady_clock > | |
| Clucid::Timer | Timer class using the steady clock (wall time) |
| ▼Clucid::TimerBase< user_clock > | |
| Clucid::UserTimer | Timer class using the user_clock (CPU user timer) |
| Clucid::TimerGuard< T > | The TimeGuard wraps a timer object and pauses it when the guard object is destructed |
| ▼Clucid::Tuner | Optimise the kernel hyperparameters |
| Clucid::GridSearchTuner | Grid search tuning strategy for model hyperparameter optimisation |
| Clucid::LbfgsTuner | Optimiser that uses the L-BFGS algorithm |
| Clucid::MedianHeuristicTuner | Tuner that adjusts the kernel parameters using the median heuristic method |
| Clucid::user_clock | Structure that will hold the user clock data |