Semialgebraic invariant synthesis for the Kannan-Lipton orbit problem

Semialgebraic invariant synthesis for the Kannan-Lipton orbit problem

他のバージョン（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/>...

書誌詳細
主要な著者:	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, 等
出版事項: (2017)

Complete semialgebraic invariant synthesis for the Kannan-Lipton orbit problem
著者:: Fijalkow, N, 等
出版事項: (2019)

The Semialgebraic Orbit Problem
著者:: Almagor, S, 等
出版事項: (2019)

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

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

On the decidability of reachability in linear time-invariant systems
著者:: Fijalkow, N, 等
出版事項: (2019)

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

On strongest algebraic program invariants
著者:: Hrushovski, E, 等
出版事項: (2023)

Polynomial invariants for affine programs
著者:: Hrushovski, E, 等
出版事項: (2018)

Algebraic invariants for linear hybrid automata
著者:: Majumdar, R, 等
出版事項: (2020)

Complexity of semialgebraic proofs
著者:: Grigoriev, D, 等
出版事項: (2002)

On the complexity of the orbit problem
著者:: Chonev, V, 等
出版事項: (2016)

On the complexity of the orbit problem
著者:: Chonev, V, 等
出版事項: (2016)

The orbit problem in higher dimensions
著者:: Chonev, V, 等
出版事項: (2013)

Efficient simplicial replacement of semialgebraic sets
著者:: Saugata Basu, 等
出版事項: (2023-01-01)

Underapproximating backward reachable sets by semialgebraic sets
著者:: Xue, Bai, 等
出版事項: (2018)

Semialgebraic methods and generalized sum-product phenomena
著者:: Yifan Jing, 等
出版事項: (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, 等
出版事項: (2021)

First-order orbit queries
著者:: Almagor, S, 等
出版事項: (2020)

Invariants for continuous linear dynamical systems
著者:: Kelmendi, E, 等
出版事項: (2020)

O-minimal invariants for linear loops
著者:: Almagor, S, 等
出版事項: (2018)

On termination and invariance for faulty channel machines
著者:: Bouyer, P, 等
出版事項: (2012)

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

The Church Synthesis Problem with Metric
著者:: Jenkins, M, 等
出版事項: (2011)

O-minimal invariants for discrete-time dynamical systems
著者:: Almagor, S, 等
出版事項: (2022)

On the decidability of membership in matrix-exponential semigroups
著者:: Ouaknine, J, 等
出版事項: (2019)

Solvability of matrix-exponential equations
著者:: Ouaknine, J, 等
出版事項: (2016)

Solvability of matrix-exponential equations
著者:: Ouaknine, J, 等
出版事項: (2016)

Solvability of matrix-exponential equations
著者:: Ouaknine, J, 等
出版事項: (2016)

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

Fractals of Interpolative Kannan Mappings
著者:: Xiangting Shi, 等
出版事項: (2024-08-01)

Relations and equivalences between circuit lower bounds and Karp-Lipton theorems
著者:: Williams, Richard Ryan, 等
出版事項: (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, 等
出版事項: (2016)

Decision Problems for Linear Recurrence Sequences.
著者:: Ouaknine, J, 等
出版事項: (2012)

Spatial Cluster Analysis by the Adleman-Lipton DNA Computing Model and Flexible Grids
著者:: Xiyu Liu, 等
出版事項: (2012-01-01)

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

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