Verification of system properties of polynomial systems using discrete-time approximations and set-based analysis

Philipp Rumschinski. Verification of system properties of polynomial systems using discrete-time approximations and set-based analysis. PhD thesis, Otto von Guericke University Magdeburg, 2015. [doi]

Abstract

Abstract is missing.