An Experimental Batch Plant as a Test Case for the Verification of Hybrid Systems

@article{Kowalewski2001AnEB,
  title={An Experimental Batch Plant as a Test Case for the Verification of Hybrid Systems},
  author={Stefan Kowalewski and Olaf Stursberg and Nanette Bauer},
  journal={Eur. J. Control},
  year={2001},
  volume={7},
  pages={366-381}
}
Highly Cited
This paper has 21 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 13 extracted citations

Similar Papers

Loading similar papers…