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

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	D'Costa, J, Lefaucheux, E, Ouaknine, J, Worrell, J
Formáid:	Conference item
Teanga:	English
Foilsithe / Cruthaithe:	Schloss Dagstuhl 2020

Míreanna comhchosúla

On the complexity of the Escape Problem for linear dynamical systems over compact semialgebraic sets
de réir: D'Costa, J, et al.
Foilsithe / Cruthaithe: (2021)

Bounding the escape time of a linear dynamical system over a compact semialgebraic set
de réir: D'Costa, J, et al.
Foilsithe / Cruthaithe: (2022)

On the polytope escape problem for continuous linear dynamical systems
de réir: Ouaknine, J, et al.
Foilsithe / Cruthaithe: (2017)

The polytope-collision problem
de réir: Almagor, S, et al.
Foilsithe / Cruthaithe: (2017)

Porous invariants
de réir: Lefaucheux, E, et al.
Foilsithe / Cruthaithe: (2021)

Porous invariants for linear systems
de réir: Lefaucheux, E, et al.
Foilsithe / Cruthaithe: (2024)

Nonnegativity problems for matrix semigroups
de réir: D'Costa, J, et al.
Foilsithe / Cruthaithe: (2024)

The 2-dimensional constraint loop problem is decidable
de réir: Guilmant, Q, et al.
Foilsithe / Cruthaithe: (2024)

On the Monniaux Problem in abstract interpretation
de réir: Fijalkow, N, et al.
Foilsithe / Cruthaithe: (2019)

What's decidable about linear loops?
de réir: Karimov, T, et al.
Foilsithe / Cruthaithe: (2022)

Reachability and escape problems in linear dynamical systems
de réir: Dcosta, J
Foilsithe / Cruthaithe: (2024)

The pseudo-reachability problem for diagonalisable linear dynamical systems
de réir: D'Costa, J, et al.
Foilsithe / Cruthaithe: (2022)

Escape me if you can: how AI reshapes news organisations’ dependency on platform companies
de réir: Simon, FM
Foilsithe / Cruthaithe: (2023)

The pseudo-Skolem Problem is decidable
de réir: D'Costa, J, et al.
Foilsithe / Cruthaithe: (2021)

Gelfand―Tsetlin Polytopes and Feigin―Fourier―Littelmann―Vinberg Polytopes as Marked Poset Polytopes
de réir: Federico Ardila, et al.
Foilsithe / Cruthaithe: (2011-01-01)

Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications
de réir: Baier, C, et al.
Foilsithe / Cruthaithe: (2022)

On moments of a polytope
de réir: Gravin, N, et al.
Foilsithe / Cruthaithe: (2018)

On moments of a polytope
de réir: Gravin, N, et al.
Foilsithe / Cruthaithe: (2012)

On moments of a polytope
de réir: Gravin, N, et al.
Foilsithe / Cruthaithe: (2018)

On positivity and minimality for second-order holonomic sequences
de réir: Kenison, G, et al.
Foilsithe / Cruthaithe: (2021)

Regular polytopes/
de réir: Coxeter, H. S. M. (Harold Scott Macdonald), 1907-
Foilsithe / Cruthaithe: (1948)

Regular polytopes /
de réir: Coxeter, H. S. M. (Harold Scott Macdonald), 1907-
Foilsithe / Cruthaithe: (1973)

Lectures on polytopes /
de réir: 445289 Ziegler, Gunter M
Foilsithe / Cruthaithe: (1995)

How can X±(5568) escape detection?
de réir: Hong-Wei Ke, et al.
Foilsithe / Cruthaithe: (2018-10-01)

A note on polytopes for scattering amplitudes
de réir: Arkani-Hamed, N, et al.
Foilsithe / Cruthaithe: (2012)

On the skeleton of the metric polytope
de réir: Deza, A, et al.
Foilsithe / Cruthaithe: (2001)

The inverse moment problem for convex polytopes
de réir: Gravin, N, et al.
Foilsithe / Cruthaithe: (2011)

The inverse moment problem for convex polytopes
de réir: Gravin, N, et al.
Foilsithe / Cruthaithe: (2011)

The Orbit Problem for parametric linear dynamical systems
de réir: Baier, C, et al.
Foilsithe / Cruthaithe: (2021)

The Gomory-Chvátal closure of a non-rational polytope is a rational polytope
de réir: Dunkel, Juliane, et al.
Foilsithe / Cruthaithe: (2013)

A Special Role of Boolean Quadratic Polytopes among Other Combinatorial Polytopes
de réir: A. N. Maksimenko
Foilsithe / Cruthaithe: (2016-02-01)

Can you escape the virtual room? A novel paradigm to assess avoidance behaviour
de réir: Pauline Dibbets, et al.
Foilsithe / Cruthaithe: (2021-01-01)

On the skeleton of the metric polytope
de réir: Deza, Antoine., et al.
Foilsithe / Cruthaithe: (2014)

Decomposition of polytopes and polynomials
de réir: Gao, S, et al.
Foilsithe / Cruthaithe: (2001)

Polytopes, graphs and optimisation /
de réir: Yemelichev, V. A. (Vladimir Alekseevich), et al.
Foilsithe / Cruthaithe: (1981)

Regular complex polytopes /
de réir: Coxeter, H. S. M. (Harold Scott Macdonald), 1907-
Foilsithe / Cruthaithe: (1974)

Bruhat interval polytopes
de réir: Emmanuel Tsukerman, et al.
Foilsithe / Cruthaithe: (2015-01-01)

The polytope of Tesler matrices
de réir: Karola Mészáros, et al.
Foilsithe / Cruthaithe: (2015-01-01)

Triangulations of cyclic polytopes
de réir: Steffen Oppermann, et al.
Foilsithe / Cruthaithe: (2012-01-01)

Perturbation of transportation polytopes
de réir: Fu Liu
Foilsithe / Cruthaithe: (2012-01-01)