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 (5)

• Complete semialgebraic invariant synthesis for the Kannan-Lipton orbit problem
• Title not available (Why is that?)
• \(o\)-minimal invariants for linear loops
• The invariance problem for matrix semigroups
• On the Monniaux problem in abstract interpretation

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)