ARCH 2015)"/> ARCH 2015)"/> Benchmark Generator for Stratified Controllers of Tank Networks (bibtex)
Benchmark Generator for Stratified Controllers of Tank Networks (bibtex)
by , , ,
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},
}
Powered by bibtexbrowser