Reachability analysis of non-linear hybrid systems using Taylor Models

Xin Chen 0002. Reachability analysis of non-linear hybrid systems using Taylor Models. PhD thesis, RWTH Aachen University, Germany, 2015. [doi]

Abstract

Abstract is missing.