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 Monday 16 February 2026. Using Julia version 1.12.4.