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...
Asıl Yazarlar: | D'Costa, J, Lefaucheux, E, Ouaknine, J, Worrell, J |
---|---|
Materyal Türü: | Conference item |
Dil: | English |
Baskı/Yayın Bilgisi: |
Schloss Dagstuhl
2020
|
Benzer Materyaller
-
On the complexity of the Escape Problem for linear dynamical systems over compact semialgebraic sets
Yazar:: D'Costa, J, ve diğerleri
Baskı/Yayın Bilgisi: (2021) -
Bounding the escape time of a linear dynamical system over a compact semialgebraic set
Yazar:: D'Costa, J, ve diğerleri
Baskı/Yayın Bilgisi: (2022) -
On the polytope escape problem for continuous linear dynamical systems
Yazar:: Ouaknine, J, ve diğerleri
Baskı/Yayın Bilgisi: (2017) -
The polytope-collision problem
Yazar:: Almagor, S, ve diğerleri
Baskı/Yayın Bilgisi: (2017) -
Porous invariants
Yazar:: Lefaucheux, E, ve diğerleri
Baskı/Yayın Bilgisi: (2021)