Reachability of parametric linear systems (HLBS25)
Method
This method computes the reachability analysis of linear systems with parametric uncertainty. The method is based on matrix zonotopes to represent the uncertain parameters of the system.
This method computes the reachability analysis of linear systems with parametric uncertainty. The method is based on matrix zonotopes to represent the uncertain parameters of the system.
Settings
This document was generated with Documenter.jl version 1.16.1 on Thursday 22 January 2026. Using Julia version 1.12.4.