A20{N} <: AbstractContinuousPost

Implementation of the reachability method for large linear systems with uncertain inputs in the Krylov subspace from [A20].

Fields

• δ – step-size of the discretization
• max_order – (optional, default: 5) maximum zonotope order

References

See [A20] and references therein.