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

Stefan Kowalewski, Olaf Stursberg, Nanette Bauer. An Experimental Batch Plant as a Test Case for the Verification of Hybrid Systems. Eur. J. Control, 7(4):366-381, 2001. [doi]

Abstract

Abstract is missing.