Struct ExponentialMSStability 

pub struct ExponentialMSStability {
    pub c: f64,
    pub lambda: f64,
}

Exponential mean-square stability: E[||x_t||²] ≤ C e^{-λt}.

Fields

c: f64

Upper bound constant C.

lambda: f64

Decay rate λ > 0.

Implementations

impl ExponentialMSStability

pub fn new(c: f64, lambda: f64) -> Self

Construct an exponential MS stability bound.

pub fn bound(&self, t: f64) -> f64

Evaluate the bound C e^{-λt}.

pub fn check(&self, ms_value: f64, t: f64) -> bool

Check whether a given E[||x_t||²] value satisfies the bound at time t.

Trait Implementations

impl Clone for ExponentialMSStability

fn clone(&self) -> ExponentialMSStability

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ExponentialMSStability

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.