Journal article

A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two-Tanks-Problem.



Publication Details
Authors:
Kowalewski, S.; Stursberg, O.; Fritz, M.; Graf, H.; Preußig, J.; Simon, S.; Treseler, H.

Publication year:
1999
Journal:
Hybrid Systems V
Pages range :
163–185. Springer
Volume number:
1567 of LNCS




Authors/Editors

Last updated on 2023-03-02 at 09:30