EasyChair Publications
Search
Paper Information
Paper:Stanley Bak, Sergiy Bogomolov, Marius Greitschus and Taylor T Johnson
Benchmark Generator for Stratified Controllers of Tank Networks
Title:Benchmark Generator for Stratified Controllers of Tank Networks
Authors:Stanley Bak, Sergiy Bogomolov, Marius Greitschus and Taylor T Johnson
Keyphrases:academic, hybrid systems, benchmark, tank, generator, spaceex, hyst, flow*
Paper:
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.
Volume:Goran Frehse and Matthias Althoff (editors). ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Series:EPiC Series in Computing
Volume number:34
Pages:73-79
Editors:Goran Frehse and Matthias Althoff
BibTeX entry:
@inproceedings{ARCH15:Benchmark_Generator_for_Stratified_Controllers_of_Tank_Networks,
  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, http://www.easychair.org},
  issn      = {2398-7340}}