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.14.1 on Saturday 6 September 2025. Using Julia version 1.11.6.