lucid  0.0.1
Lifting-based Uncertain Control Invariant Dynamics
Loading...
Searching...
No Matches
lucid::FourierBarrierCertificate Member List

This is the complete list of members for lucid::FourierBarrierCertificate, including all inherited members.

apply_impl(ConstVectorRef x) const overridelucid::FourierBarrierCertificateprivatevirtual
BarrierCertificate(int T, double gamma, double eta=0, double c=0)lucid::FourierBarrierCertificateexplicit
c() constlucid::BarrierCertificateinline
c_lucid::BarrierCertificateprotected
clone() const overridelucid::FourierBarrierCertificatevirtual
coefficients() constlucid::FourierBarrierCertificateinline
coefficients_lucid::FourierBarrierCertificateprivate
eta() constlucid::BarrierCertificateinline
eta_lucid::BarrierCertificateprotected
gamma() constlucid::BarrierCertificateinline
gamma_lucid::BarrierCertificateprotected
is_synthesized() constlucid::BarrierCertificateinline
norm() constlucid::BarrierCertificateinline
norm_lucid::BarrierCertificateprotected
operator()(ConstVectorRef x) constlucid::BarrierCertificate
optimiser_callback(bool success, double obj_val, const Vector &coefficients, double eta, double c, double norm, double b_norm)lucid::FourierBarrierCertificateprivate
safety() constlucid::BarrierCertificateinline
safety_lucid::BarrierCertificateprotected
synthesize(int lattice_resolution, const Estimator &estimator, const TruncatedFourierFeatureMap &feature_map, const RectSet &X_bounds, const Set &X_init, const Set &X_unsafe, const FourierBarrierCertificateParameters &parameters={})lucid::FourierBarrierCertificate
synthesize(const Optimiser &optimiser, int lattice_resolution, const Estimator &estimator, const TruncatedFourierFeatureMap &feature_map, const RectSet &X_bounds, const Set &X_init, const Set &X_unsafe, const FourierBarrierCertificateParameters &parameters={})lucid::FourierBarrierCertificate
T() constlucid::BarrierCertificateinline
T_lucid::BarrierCertificateprotected
to_string() const overridelucid::FourierBarrierCertificatevirtual