Semialgebraic invariant synthesis for the Kannan-Lipton orbit problem

DOI10.4230/LIPICS.STACS.2017.29zbMATH Open1434.37008MaRDI QIDQ4636627FDOQ4636627

Authors: Nathanaël Fijalkow, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell 

Publication date: 19 April 2018

Recommendations

• Complete semialgebraic invariant synthesis for the Kannan-Lipton orbit problem
• scientific article; zbMATH DE number 7559115
• The orbit problem in higher dimensions
• On the complexity of the orbit problem
• Left-eigenvectors are certificates of the Orbit problem

zbMATH Keywords

verificationinvariantsorbit problemalgebraic computationSkolem problem

Mathematics Subject Classification ID

Vector and tensor algebra, theory of invariants (15A72) Notions of recurrence and recurrent behavior in topological dynamical systems (37B20) Orbit growth in dynamical systems (37C35) Decidability of theories and sets of sentences (03B25)

Cited In (3)

• Title not available (Why is that?)
• On the Monniaux problem in abstract interpretation
• O-Minimal Invariants for Discrete-Time Dynamical Systems

This page was built for publication: Semialgebraic invariant synthesis for the Kannan-Lipton orbit problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4636627)