Benchmark: Stratified Controllers of Tank Networks

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

Benchmark: Stratified Controllers of Tank Networks

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

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-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 language	English
Title of host publication	Benchmark: Stratified Controllers of Tank Networks
Editors	Goran Frehse and Matthias Althoff
Place of Publication	USA
Publisher	EasyChair Publications
Pages	1-8
Edition	peer reviewed
Publication status	Published - 2015
Event	1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems ARCH14-15 - Seattle, USA Duration: 1 Jan 2015 → …

Conference

Conference	1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems ARCH14-15
Period	1/01/15 → …
Other	April 13-17 2015

Cite this

@inproceedings{940b4f6c605f49d4a647049662685307,

title = "Benchmark: Stratified Controllers of Tank Networks",

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.",

author = "Stanley Bak and Sergiy Bogomolov and Marius Greitschus and Johnson, \{Taylor T\}",

year = "2015",

language = "English",

pages = "1--8",

editor = "\{Goran Frehse and Matthias Althoff\}",

booktitle = "Benchmark: Stratified Controllers of Tank Networks",

publisher = "EasyChair Publications",

edition = "peer reviewed",

note = "1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems ARCH14-15 ; Conference date: 01-01-2015",

}

TY - GEN

T1 - Benchmark: Stratified Controllers of Tank Networks

AU - Bak, Stanley

AU - Bogomolov, Sergiy

AU - Greitschus, Marius

AU - Johnson, Taylor T

PY - 2015

Y1 - 2015

N2 - 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.

AB - 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.

M3 - Conference Paper

SP - 1

EP - 8

BT - Benchmark: Stratified Controllers of Tank Networks

A2 - null, Goran Frehse and Matthias Althoff

PB - EasyChair Publications

CY - USA

T2 - 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems ARCH14-15

Y2 - 1 January 2015

ER -

Benchmark: Stratified Controllers of Tank Networks

Abstract

Conference

Fingerprint

Cite this