Skip to main content

hybrid_flow

Function hybrid_flow 

Source
pub fn hybrid_flow<V: ValueAlgebra>(
    model: &V,
    vector: &V,
    n: &V,
) -> Result<V, String>
Expand description

N steps of a loop whose body is polynomial Euler steps and jumps, as model encodes them: [body, jumps], the body its parts in order — ["flow", field] a run of flow statements as one polynomial update per slot, as for polynomial_flow, ["check", k] the check of jump k — and each jump [guard, block]. A finite N runs the steps themselves. An infinite one, N = T/dt + δ on each residue class, ends on the values of the ideal hybrid system the loop follows for time T (see crate::hybrid): a value the flow moves is a germ known by its standard part, a value the loop holds exactly is that value.