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.17.0 on Monday 9 March 2026. Using Julia version 1.12.4.