Semialgebraic invariant synthesis for the Kannan-Lipton orbit problem

Semialgebraic invariant synthesis for the Kannan-Lipton orbit problem

Show other versions (1)

<p>The Orbit Problem consists of determining, given a linear transformation A on Qd, together with vectors x and y, whether the orbit of x under repeated applications of A can ever reach y. This problem was famously shown to be decidable by Kannan and Lipton in the 1980s.</p> <br/>...

書目詳細資料
Main Authors:	Fijalkow, N, Ohlmann, P, Ouaknine, J, Pouly, A, Worrell, J
格式:	Journal article
出版:	Schloss Dagstuhl 2017

相似書籍

Semialgebraic invariant synthesis for the Kannan-Lipton Orbit Problem
由: Fijalkow, N, et al.
出版: (2017)

Complete semialgebraic invariant synthesis for the Kannan-Lipton orbit problem
由: Fijalkow, N, et al.
出版: (2019)

The Semialgebraic Orbit Problem
由: Almagor, S, et al.
出版: (2019)

On the Monniaux Problem in abstract interpretation
由: Fijalkow, N, et al.
出版: (2019)

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

On the decidability of reachability in linear time-invariant systems
由: Fijalkow, N, et al.
出版: (2019)

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

On strongest algebraic program invariants
由: Hrushovski, E, et al.
出版: (2023)

Polynomial invariants for affine programs
由: Hrushovski, E, et al.
出版: (2018)

Algebraic invariants for linear hybrid automata
由: Majumdar, R, et al.
出版: (2020)

Complexity of semialgebraic proofs
由: Grigoriev, D, et al.
出版: (2002)

On the complexity of the orbit problem
由: Chonev, V, et al.
出版: (2016)

On the complexity of the orbit problem
由: Chonev, V, et al.
出版: (2016)

The orbit problem in higher dimensions
由: Chonev, V, et al.
出版: (2013)

Efficient simplicial replacement of semialgebraic sets
由: Saugata Basu, et al.
出版: (2023-01-01)

Underapproximating backward reachable sets by semialgebraic sets
由: Xue, Bai, et al.
出版: (2018)

Semialgebraic methods and generalized sum-product phenomena
由: Yifan Jing, et al.
出版: (2022-12-01)

Regularity and Semialgebraicity of Solutions of Linear Equations Systems
由: Marcello Malagutti
出版: (2024-01-01)

Urban bias - Seers versus Lipton
出版: (1977)

Porous invariants
由: Lefaucheux, E, et al.
出版: (2021)

First-order orbit queries
由: Almagor, S, et al.
出版: (2020)

Invariants for continuous linear dynamical systems
由: Kelmendi, E, et al.
出版: (2020)

O-minimal invariants for linear loops
由: Almagor, S, et al.
出版: (2018)

On termination and invariance for faulty channel machines
由: Bouyer, P, et al.
出版: (2012)

Porous invariants for linear systems
由: Lefaucheux, E, et al.
出版: (2024)

The Church Synthesis Problem with Metric
由: Jenkins, M, et al.
出版: (2011)

O-minimal invariants for discrete-time dynamical systems
由: Almagor, S, et al.
出版: (2022)

On the decidability of membership in matrix-exponential semigroups
由: Ouaknine, J, et al.
出版: (2019)

Solvability of matrix-exponential equations
由: Ouaknine, J, et al.
出版: (2016)

Solvability of matrix-exponential equations
由: Ouaknine, J, et al.
出版: (2016)

Solvability of matrix-exponential equations
由: Ouaknine, J, et al.
出版: (2016)

The Orbit Problem for parametric linear dynamical systems
由: Baier, C, et al.
出版: (2021)

Fractals of Interpolative Kannan Mappings
由: Xiangting Shi, et al.
出版: (2024-08-01)

Relations and equivalences between circuit lower bounds and Karp-Lipton theorems
由: Williams, Richard Ryan, et al.
出版: (2021)

An Extended Kannan Contraction Mapping and Applications
由: R. P. Pant
出版: (2024-08-01)

Model checking flat freeze LTL on one-counter automata
由: Lechner, A, et al.
出版: (2016)

Decision Problems for Linear Recurrence Sequences.
由: Ouaknine, J, et al.
出版: (2012)

Spatial Cluster Analysis by the Adleman-Lipton DNA Computing Model and Flexible Grids
由: Xiyu Liu, et al.
出版: (2012-01-01)

The polytope-collision problem
由: Almagor, S, et al.
出版: (2017)

Fixed points of Kannan maps in modular metric spaces
由: Afrah. A. N. Abdou
出版: (2020-08-01)