Keyword:tank

Papers
Water Overflow Alarm Patil Chinar, Patil Saarth, Patil Vinit and Vartak Chinmay EasyChair Preprint no. 7350
Benchmark Generator for Stratified Controllers of Tank Networks Stanley Bak, Sergiy Bogomolov, Marius Greitschus and Taylor T. Johnson In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems