A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: the Two Tanks Problem (1997)

by Stefan Kowalewski , Olaf Stursberg , Martin Fritz , Holger Graf , Ingo Hoffmann , Jörg Preuß , Silke Simon , Manuel Remelhe , Heinz Treseler
Citations:21 - 0 self