1997 |
3 | EE | 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 |