Large-Scale Linear Systems from Order-Reduction
Keyword(s):
This benchmark suite is composed of nine examples of large-scale linear systems, ranging in dimensionality in the tens to the low thousands. The benchmarks are derived from diverse fields such as civil engineering and robotics, and are based on similar existing test sets for model-order reduction algorithms in control and numerical analysis. Each example is provided in the SpaceEx XML model format as single-mode hybrid automaton and are compatible with the HyST model transformation tool to support analysis in other verification tools. Some preliminary reachability analysis results for some of the smaller examples (on the order of tens of dimensions) are presented using SpaceEx.
Keyword(s):
Keyword(s):
2017 ◽
Vol 53
(6)
◽
pp. 1-4
◽
Keyword(s):
2021 ◽
pp. 211-226
Keyword(s):
2019 ◽
Vol 27
(10)
◽
pp. 2447-2458
◽
Keyword(s):
2019 ◽
Vol 353
◽
pp. 491-515
◽
Keyword(s):
Keyword(s):
Keyword(s):