Download PDFOpen PDF in browser

Benchmark Generator for Stratified Controllers of Tank Networks

7 pagesPublished: December 17, 2015

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:
BibTeX entry
@inproceedings{ARCH15:Benchmark_Generator_for_Stratified,
  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},
  pages     = {73--79},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/sjv},
  doi       = {10.29007/2ljt}}
Download PDFOpen PDF in browser