Efficient Geometric Operations on Convex Polyhedra, with an Application to Reachability Analysis of Hybrid Systems

Willem Hagemann. Efficient Geometric Operations on Convex Polyhedra, with an Application to Reachability Analysis of Hybrid Systems. Mathematics in Computer Science, 9(3):283-325, 2015. [doi]

Abstract

Abstract is missing.