Benchmark: Stratified Controllers of Tank Networks

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    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 into the formats of several reachability tools.
    Original languageEnglish
    Title of host publicationBenchmark: Stratified Controllers of Tank Networks
    EditorsGoran Frehse and Matthias Althoff
    Place of PublicationUSA
    PublisherEasyChair Publications
    Pages1-8
    Editionpeer reviewed
    Publication statusPublished - 2015
    Event1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems ARCH14-15 - Seattle, USA
    Duration: 1 Jan 2015 → …

    Conference

    Conference1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems ARCH14-15
    Period1/01/15 → …
    OtherApril 13-17 2015

    Fingerprint

    Dive into the research topics of 'Benchmark: Stratified Controllers of Tank Networks'. Together they form a unique fingerprint.

    Cite this