Ingo Hoffmann;Karsten-Ulrich Klatt
-;-
A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem
Hybrid Systems V