 | 1997 |
|---|
| 3 |       | Stefan Kowalewski,
Olaf Stursberg,
Martin Fritz,
Holger Graf,
Ingo Hoffmann,
Jörg Preußig,
Manuel Remelhe,
Silke Simon,
Heinz Treseler:
A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem.
Hybrid Systems 1997: 163-185 |
| 1996 |
|---|
| 2 |  | Olaf Stursberg,
Stefan Kowalewski,
Ingo Hoffmann,
Jörg Preußig:
Comparing Timed and Hybrid Automata as Approximations of Continuous Systems.
Hybrid Systems 1996: 361-377 |
| 1995 |
|---|
| 1 | | Ingo Hoffmann,
Karsten-Ulrich Klatt:
Modeling Hybrid Dynamical Systems.
Hybrid Systems 1995: 401-412 |
