How fast can you escape a compact polytope?

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...

Fuld beskrivelse

Bibliografiske detaljer
Main Authors:	D'Costa, J, Lefaucheux, E, Ouaknine, J, Worrell, J
Format:	Conference item
Sprog:	English
Udgivet:	Schloss Dagstuhl 2020

Lignende værker

On the complexity of the Escape Problem for linear dynamical systems over compact semialgebraic sets
af: D'Costa, J, et al.
Udgivet: (2021)

Bounding the escape time of a linear dynamical system over a compact semialgebraic set
af: D'Costa, J, et al.
Udgivet: (2022)

On the polytope escape problem for continuous linear dynamical systems
af: Ouaknine, J, et al.
Udgivet: (2017)

The polytope-collision problem
af: Almagor, S, et al.
Udgivet: (2017)

Porous invariants
af: Lefaucheux, E, et al.
Udgivet: (2021)

Porous invariants for linear systems
af: Lefaucheux, E, et al.
Udgivet: (2024)

Nonnegativity problems for matrix semigroups
af: D'Costa, J, et al.
Udgivet: (2024)

The 2-dimensional constraint loop problem is decidable
af: Guilmant, Q, et al.
Udgivet: (2024)

On the Monniaux Problem in abstract interpretation
af: Fijalkow, N, et al.
Udgivet: (2019)

What's decidable about linear loops?
af: Karimov, T, et al.
Udgivet: (2022)

Reachability and escape problems in linear dynamical systems
af: Dcosta, J
Udgivet: (2024)

The pseudo-reachability problem for diagonalisable linear dynamical systems
af: D'Costa, J, et al.
Udgivet: (2022)

Escape me if you can: how AI reshapes news organisations’ dependency on platform companies
af: Simon, FM
Udgivet: (2023)

The pseudo-Skolem Problem is decidable
af: D'Costa, J, et al.
Udgivet: (2021)

Gelfand―Tsetlin Polytopes and Feigin―Fourier―Littelmann―Vinberg Polytopes as Marked Poset Polytopes
af: Federico Ardila, et al.
Udgivet: (2011-01-01)

Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications
af: Baier, C, et al.
Udgivet: (2022)

On moments of a polytope
af: Gravin, N, et al.
Udgivet: (2018)

On moments of a polytope
af: Gravin, N, et al.
Udgivet: (2012)

On moments of a polytope
af: Gravin, N, et al.
Udgivet: (2018)

On positivity and minimality for second-order holonomic sequences
af: Kenison, G, et al.
Udgivet: (2021)

Regular polytopes/
af: Coxeter, H. S. M. (Harold Scott Macdonald), 1907-
Udgivet: (1948)

Regular polytopes /
af: Coxeter, H. S. M. (Harold Scott Macdonald), 1907-
Udgivet: (1973)

Lectures on polytopes /
af: 445289 Ziegler, Gunter M
Udgivet: (1995)

How can X±(5568) escape detection?
af: Hong-Wei Ke, et al.
Udgivet: (2018-10-01)

A note on polytopes for scattering amplitudes
af: Arkani-Hamed, N, et al.
Udgivet: (2012)

On the skeleton of the metric polytope
af: Deza, A, et al.
Udgivet: (2001)

The inverse moment problem for convex polytopes
af: Gravin, N, et al.
Udgivet: (2011)

The inverse moment problem for convex polytopes
af: Gravin, N, et al.
Udgivet: (2011)

The Orbit Problem for parametric linear dynamical systems
af: Baier, C, et al.
Udgivet: (2021)

The Gomory-Chvátal closure of a non-rational polytope is a rational polytope
af: Dunkel, Juliane, et al.
Udgivet: (2013)

A Special Role of Boolean Quadratic Polytopes among Other Combinatorial Polytopes
af: A. N. Maksimenko
Udgivet: (2016-02-01)

Can you escape the virtual room? A novel paradigm to assess avoidance behaviour
af: Pauline Dibbets, et al.
Udgivet: (2021-01-01)

On the skeleton of the metric polytope
af: Deza, Antoine., et al.
Udgivet: (2014)

Decomposition of polytopes and polynomials
af: Gao, S, et al.
Udgivet: (2001)

Polytopes, graphs and optimisation /
af: Yemelichev, V. A. (Vladimir Alekseevich), et al.
Udgivet: (1981)

Regular complex polytopes /
af: Coxeter, H. S. M. (Harold Scott Macdonald), 1907-
Udgivet: (1974)

Bruhat interval polytopes
af: Emmanuel Tsukerman, et al.
Udgivet: (2015-01-01)

The polytope of Tesler matrices
af: Karola Mészáros, et al.
Udgivet: (2015-01-01)

Triangulations of cyclic polytopes
af: Steffen Oppermann, et al.
Udgivet: (2012-01-01)

Perturbation of transportation polytopes
af: Fu Liu
Udgivet: (2012-01-01)