How fast can you escape a compact polytope?

The Continuous Polytope Escape Problem (CPEP) asks whether every trajectory of a linear differential equation initialised within a convex polytope eventually escapes the polytope. We provide a polynomial-time algorithm to decide CPEP for compact polytopes. We also establish a quantitative uniform up...

詳細記述

書誌詳細
主要な著者: D'Costa, J, Lefaucheux, E, Ouaknine, J, Worrell, J
フォーマット: Conference item
言語:English
出版事項: Schloss Dagstuhl 2020