Semialgebraic invariant synthesis for the Kannan-Lipton orbit problem

Semialgebraic invariant synthesis for the Kannan-Lipton orbit problem

Hiển thị phiên bản (1) khác

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

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	Fijalkow, N, Ohlmann, P, Ouaknine, J, Pouly, A, Worrell, J
Định dạng:	Journal article
Được phát hành:	Schloss Dagstuhl 2017

Những quyển sách tương tự

Semialgebraic invariant synthesis for the Kannan-Lipton Orbit Problem
Bằng: Fijalkow, N, et al.
Được phát hành: (2017)

Complete semialgebraic invariant synthesis for the Kannan-Lipton orbit problem
Bằng: Fijalkow, N, et al.
Được phát hành: (2019)

The Semialgebraic Orbit Problem
Bằng: Almagor, S, et al.
Được phát hành: (2019)

On the Monniaux Problem in abstract interpretation
Bằng: Fijalkow, N, et al.
Được phát hành: (2019)

On the complexity of the Escape Problem for linear dynamical systems over compact semialgebraic sets
Bằng: D'Costa, J, et al.
Được phát hành: (2021)

On the decidability of reachability in linear time-invariant systems
Bằng: Fijalkow, N, et al.
Được phát hành: (2019)

Bounding the escape time of a linear dynamical system over a compact semialgebraic set
Bằng: D'Costa, J, et al.
Được phát hành: (2022)

On strongest algebraic program invariants
Bằng: Hrushovski, E, et al.
Được phát hành: (2023)

Polynomial invariants for affine programs
Bằng: Hrushovski, E, et al.
Được phát hành: (2018)

Algebraic invariants for linear hybrid automata
Bằng: Majumdar, R, et al.
Được phát hành: (2020)

Complexity of semialgebraic proofs
Bằng: Grigoriev, D, et al.
Được phát hành: (2002)

On the complexity of the orbit problem
Bằng: Chonev, V, et al.
Được phát hành: (2016)

On the complexity of the orbit problem
Bằng: Chonev, V, et al.
Được phát hành: (2016)

The orbit problem in higher dimensions
Bằng: Chonev, V, et al.
Được phát hành: (2013)

Efficient simplicial replacement of semialgebraic sets
Bằng: Saugata Basu, et al.
Được phát hành: (2023-01-01)

Underapproximating backward reachable sets by semialgebraic sets
Bằng: Xue, Bai, et al.
Được phát hành: (2018)

Semialgebraic methods and generalized sum-product phenomena
Bằng: Yifan Jing, et al.
Được phát hành: (2022-12-01)

Regularity and Semialgebraicity of Solutions of Linear Equations Systems
Bằng: Marcello Malagutti
Được phát hành: (2024-01-01)

Urban bias - Seers versus Lipton
Được phát hành: (1977)

Porous invariants
Bằng: Lefaucheux, E, et al.
Được phát hành: (2021)

First-order orbit queries
Bằng: Almagor, S, et al.
Được phát hành: (2020)

Invariants for continuous linear dynamical systems
Bằng: Kelmendi, E, et al.
Được phát hành: (2020)

O-minimal invariants for linear loops
Bằng: Almagor, S, et al.
Được phát hành: (2018)

On termination and invariance for faulty channel machines
Bằng: Bouyer, P, et al.
Được phát hành: (2012)

Porous invariants for linear systems
Bằng: Lefaucheux, E, et al.
Được phát hành: (2024)

A DNA algorithm for the job shop scheduling problem based on the Adleman-Lipton model.
Bằng: Xiang Tian, et al.
Được phát hành: (2020-01-01)

The Church Synthesis Problem with Metric
Bằng: Jenkins, M, et al.
Được phát hành: (2011)

O-minimal invariants for discrete-time dynamical systems
Bằng: Almagor, S, et al.
Được phát hành: (2022)

An observation on Kannan mappings
Bằng: Nakanishi Masato, et al.
Được phát hành: (2010-02-01)

On the decidability of membership in matrix-exponential semigroups
Bằng: Ouaknine, J, et al.
Được phát hành: (2019)

Solvability of matrix-exponential equations
Bằng: Ouaknine, J, et al.
Được phát hành: (2016)

Solvability of matrix-exponential equations
Bằng: Ouaknine, J, et al.
Được phát hành: (2016)

Solvability of matrix-exponential equations
Bằng: Ouaknine, J, et al.
Được phát hành: (2016)

Relations and equivalences between circuit lower bounds and Karp-Lipton theorems
Bằng: Williams, Richard Ryan, et al.
Được phát hành: (2021)

The Orbit Problem for parametric linear dynamical systems
Bằng: Baier, C, et al.
Được phát hành: (2021)

Fractals of Interpolative Kannan Mappings
Bằng: Xiangting Shi, et al.
Được phát hành: (2024-08-01)

An Extended Kannan Contraction Mapping and Applications
Bằng: R. P. Pant
Được phát hành: (2024-08-01)

Model checking flat freeze LTL on one-counter automata
Bằng: Lechner, A, et al.
Được phát hành: (2016)

Decision Problems for Linear Recurrence Sequences.
Bằng: Ouaknine, J, et al.
Được phát hành: (2012)

Spatial Cluster Analysis by the Adleman-Lipton DNA Computing Model and Flexible Grids
Bằng: Xiyu Liu, et al.
Được phát hành: (2012-01-01)