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

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

類似資料

On the complexity of the Escape Problem for linear dynamical systems over compact semialgebraic sets
著者:: D'Costa, J, 等
出版事項: (2021)

Bounding the escape time of a linear dynamical system over a compact semialgebraic set
著者:: D'Costa, J, 等
出版事項: (2022)

On the polytope escape problem for continuous linear dynamical systems
著者:: Ouaknine, J, 等
出版事項: (2017)

The polytope-collision problem
著者:: Almagor, S, 等
出版事項: (2017)

Porous invariants
著者:: Lefaucheux, E, 等
出版事項: (2021)

Porous invariants for linear systems
著者:: Lefaucheux, E, 等
出版事項: (2024)

Nonnegativity problems for matrix semigroups
著者:: D'Costa, J, 等
出版事項: (2024)

The 2-dimensional constraint loop problem is decidable
著者:: Guilmant, Q, 等
出版事項: (2024)

On the Monniaux Problem in abstract interpretation
著者:: Fijalkow, N, 等
出版事項: (2019)

What's decidable about linear loops?
著者:: Karimov, T, 等
出版事項: (2022)

Reachability and escape problems in linear dynamical systems
著者:: Dcosta, J
出版事項: (2024)

The pseudo-reachability problem for diagonalisable linear dynamical systems
著者:: D'Costa, J, 等
出版事項: (2022)

Escape me if you can: how AI reshapes news organisations’ dependency on platform companies
著者:: Simon, FM
出版事項: (2023)

The pseudo-Skolem Problem is decidable
著者:: D'Costa, J, 等
出版事項: (2021)

Gelfand―Tsetlin Polytopes and Feigin―Fourier―Littelmann―Vinberg Polytopes as Marked Poset Polytopes
著者:: Federico Ardila, 等
出版事項: (2011-01-01)

Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications
著者:: Baier, C, 等
出版事項: (2022)

On moments of a polytope
著者:: Gravin, N, 等
出版事項: (2018)

On moments of a polytope
著者:: Gravin, N, 等
出版事項: (2012)

On moments of a polytope
著者:: Gravin, N, 等
出版事項: (2018)

On positivity and minimality for second-order holonomic sequences
著者:: Kenison, G, 等
出版事項: (2021)

Regular polytopes/
著者:: Coxeter, H. S. M. (Harold Scott Macdonald), 1907-
出版事項: (1948)

Regular polytopes /
著者:: Coxeter, H. S. M. (Harold Scott Macdonald), 1907-
出版事項: (1973)

Lectures on polytopes /
著者:: 445289 Ziegler, Gunter M
出版事項: (1995)

How can X±(5568) escape detection?
著者:: Hong-Wei Ke, 等
出版事項: (2018-10-01)

A note on polytopes for scattering amplitudes
著者:: Arkani-Hamed, N, 等
出版事項: (2012)

On the skeleton of the metric polytope
著者:: Deza, A, 等
出版事項: (2001)

The inverse moment problem for convex polytopes
著者:: Gravin, N, 等
出版事項: (2011)

The inverse moment problem for convex polytopes
著者:: Gravin, N, 等
出版事項: (2011)

The Orbit Problem for parametric linear dynamical systems
著者:: Baier, C, 等
出版事項: (2021)

The Gomory-Chvátal closure of a non-rational polytope is a rational polytope
著者:: Dunkel, Juliane, 等
出版事項: (2013)

A Special Role of Boolean Quadratic Polytopes among Other Combinatorial Polytopes
著者:: A. N. Maksimenko
出版事項: (2016-02-01)

Can you escape the virtual room? A novel paradigm to assess avoidance behaviour
著者:: Pauline Dibbets, 等
出版事項: (2021-01-01)

On the skeleton of the metric polytope
著者:: Deza, Antoine., 等
出版事項: (2014)

Decomposition of polytopes and polynomials
著者:: Gao, S, 等
出版事項: (2001)

Polytopes, graphs and optimisation /
著者:: Yemelichev, V. A. (Vladimir Alekseevich), 等
出版事項: (1981)

Regular complex polytopes /
著者:: Coxeter, H. S. M. (Harold Scott Macdonald), 1907-
出版事項: (1974)

Bruhat interval polytopes
著者:: Emmanuel Tsukerman, 等
出版事項: (2015-01-01)

The polytope of Tesler matrices
著者:: Karola Mészáros, 等
出版事項: (2015-01-01)

Triangulations of cyclic polytopes
著者:: Steffen Oppermann, 等
出版事項: (2012-01-01)

Perturbation of transportation polytopes
著者:: Fu Liu
出版事項: (2012-01-01)