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)

A DNA algorithm for the job shop scheduling problem based on the Adleman-Lipton model.
द्वारा: Xiang Tian, और अन्य
प्रकाशित: (2020-01-01)

The Church Synthesis Problem with Metric
द्वारा: Jenkins, M, और अन्य
प्रकाशित: (2011)

O-minimal invariants for discrete-time dynamical systems
द्वारा: Almagor, S, और अन्य
प्रकाशित: (2022)

An observation on Kannan mappings
द्वारा: Nakanishi Masato, और अन्य
प्रकाशित: (2010-02-01)

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)

Relations and equivalences between circuit lower bounds and Karp-Lipton theorems
द्वारा: Williams, Richard Ryan, और अन्य
प्रकाशित: (2021)

The Orbit Problem for parametric linear dynamical systems
द्वारा: Baier, C, और अन्य
प्रकाशित: (2021)

Fractals of Interpolative Kannan Mappings
द्वारा: Xiangting Shi, और अन्य
प्रकाशित: (2024-08-01)

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)