Direct handling of ordinary differential equations in constraint-solving-based analysis of hybrid systems

Andreas Eggers. Direct handling of ordinary differential equations in constraint-solving-based analysis of hybrid systems. PhD thesis, Carl von Ossietzky University of Oldenburg, 2014. [doi]

Abstract

Abstract is missing.