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 |