Large-Scale Linear Systems from Order-Reduction

Hoang-Dung Tran; Luan Viet Nguyen; Taylor T Johnson

doi:10.29007/xk7x

Download PDF Open PDF in browser

Large-Scale Linear Systems from Order-Reduction

8 pages•Published: February 1, 2017

Hoang-Dung Tran, Luan Viet Nguyen and Taylor T. Johnson

Abstract

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.

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

Links:	https://easychair.org/publications/paper/2xZ
	https://doi.org/10.29007/xk7x

BibTeX entry

@inproceedings{ARCH16:Large_Scale_Linear_Systems_from,
  author    = {Hoang-Dung Tran and Luan Viet Nguyen and Taylor T Johnson},
  title     = {Large-Scale Linear Systems from Order-Reduction},
  booktitle = {ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {43},
  pages     = {60--67},
  year      = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/2xZ},
  doi       = {10.29007/xk7x}}

Download PDF Open PDF in browser