Benchmark Generator for Stratified Controllers of Tank Networks

7 pages•Published: December 17, 2015

Stanley Bak, Sergiy Bogomolov, Marius Greitschus and Taylor T Johnson

Abstract

We present a new model of a tank network used to transfer liquid. Tanks are connected by channels. The throughput velocity of every particular channel is governed by the controller. We consider a special class of stratified controllers which are organized in several phases. Every phase can be further partitioned into multiple options. This structure makes it easy to generate a variety of benchmark instances ranging in the size, branching factor and generally analysis complexity. We provide a flexible benchmark generator for this class of benchmarks and a sample benchmark suite built by the generator. Finally, we use the Hyst model transformation framework to convert the original model in a format compatible with several reachability tools.

Keyphrases: academic, benchmark, flow*, generator, hybrid systems, hyst, spaceex, tank

In: Goran Frehse and Matthias Althoff (editors). ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, vol 34, pages 73-79.

Links:	https://easychair.org/publications/paper/sjv
	https://doi.org/10.29007/2ljt

BibTeX entry

@inproceedings{ARCH15:Benchmark_Generator_Stratified_Controllers,
  author    = {Stanley Bak and Sergiy Bogomolov and Marius Greitschus and Taylor T Johnson},
  title     = {Benchmark Generator for Stratified Controllers of Tank Networks},
  booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {34},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/sjv},
  doi       = {10.29007/2ljt},
  pages     = {73-79},
  year      = {2015}}

Download PDF Open PDF in browser