Benchmark Generator for Stratified Controllers of Tank Networks

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

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

Abstract:

Reference:

Stanley Bak, Sergiy Bogomolov, Marius Greitschus, Taylor T. Johnson, "Benchmark Generator for Stratified Controllers of Tank Networks", In 2nd Applied Verification for Continuous and Hybrid Systems Workshop (ARCH 2015), Seattle, Washington, pp. , 2015, apr. (model source code)

Bibtex Entry:

@inproceedings{bak2015arch,
        author          =       {Stanley Bak and Sergiy Bogomolov and Marius Greitschus and Taylor T. Johnson},
        title           =       {Benchmark Generator for Stratified Controllers of Tank Networks},
        year            =       {2015},
        booktitle       =       {2nd Applied Verification for Continuous and Hybrid Systems Workshop (<a href="http://cps-vo.org/group/ARCH/">ARCH 2015</a>)},
    address     =   {Seattle, Washington},
        month           =       apr,
        pages           =       {},
        doi     =   {},
        gsid        =   {},
        abstract    =   {},
        comment     =   {<a href="research/bak2015arch.zip">model source code</a>},
        pdf = {http://www.taylortjohnson.com/research/bak2015arch.pdf},
}