HLBS25

HLBS25{N, AM, RM, R} <: AbstractContinuousPost

Implementation of the reachability algorithm for linear systems with parametric uncertainty using matrix zonotopes by Huang et al. [HLBS25].

Fields

• δ – step-size of the discretization
• approx_model – (optional, default: CorrectionHullMatrixZonotope) model for the discretization of the initial value problem
• taylor_order – (optional, default: 5) order of the Taylor series expansion of the matrix exponential for each step
• max_order – (optional, default: 5) maximum order of the reach set
• reduction_method – (optional, default: LazySets.GIR05() zonotope order reduction method used
• recursive – (optional, default: false) if true, compute the Taylor series expansion of the matrix zonotope exponential map recursively

Notes

The recursive option is used to compute the Taylor expansion of the matrix zonotope exponential map. If recursive == true, each term of the Taylor expansion is computed recursively (e.g., $A^2 P = A (A P)$).

If recursive == false, the Taylor expansion is computed by overapproximating the matrix zonotope exponential map, producing a single matrix that represents the exponential.