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]

Authors

Stefan Kowalewski

This author has not been identified. Look up 'Stefan Kowalewski' in Google

Olaf Stursberg

This author has not been identified. Look up 'Olaf Stursberg' in Google

Nanette Bauer

This author has not been identified. Look up 'Nanette Bauer' in Google