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