Download PDFOpen PDF in browserLarge-Scale Linear Systems from Order-Reduction8 pages•Published: February 1, 2017AbstractThis 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.Keyphrases: benchmark, large scale systems, linear systems, order reduction, spaceex In: Goran Frehse and Matthias Althoff (editors). ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems, vol 43, pages 60-67.
|