Linear dynamical systems with weight functions

DOI10.1016/J.NAHS.2026.101680MaRDI QIDQ6841957zbMATH OpenFDO

Authors Rajab Aghamov, Christel Baier, Toghrul Karimov, Joël Ouaknine, Jakob Piribauer

Publication date 20 March 2026

Published in Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.NAHS.2026.101680

zbMATH Keywords

Markov chainsformal verificationlinear dynamical systemslinear recurrence sequences

Mathematics Subject Classification ID

Dynamical systems and ergodic theory (37-XX) Systems theory; control (93-XX)

Cites work

• scientific article; zbMATH DE number 3871452 (Why is no real title available?)
• scientific article; zbMATH DE number 5297089 (Why is no real title available?)
• scientific article; zbMATH DE number 3823893 (Why is no real title available?)
• scientific article; zbMATH DE number 4071018 (Why is no real title available?)
• scientific article; zbMATH DE number 1973372 (Why is no real title available?)
• scientific article; zbMATH DE number 846904 (Why is no real title available?)
• scientific article; zbMATH DE number 7559425 (Why is no real title available?)
• scientific article; zbMATH DE number 3895043 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• scientific article; zbMATH DE number 7730630 (Why is no real title available?)
• Approximate verification of the symbolic dynamics of Markov chains
• COMPUTING JORDAN NORMAL FORMS EXACTLY FOR COMMUTING MATRICES IN POLYNOMIAL TIME
• Computing the density of the positivity set for linear recurrence sequences
• Expansions of o-minimal structures on the real field by trajectories of linear vector fields
• Geometric categories and o-minimal structures
• Linear dynamical systems with continuous weight functions
• Linearization of Discrete-Time Systems
• Linearization of discrete-time systems
• Logarithmic forms and group varieties.
• Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
• O-minimal hybrid systems.
• Occurrence of zero in a linear recursive sequence
• On robustness for the Skolem and positivity problems
• On the positivity problem for simple linear recurrence sequences
• On the real exponential field with restricted analytic functions
• On the zeros of exponential polynomials
• Positive density of integer polynomials with some prescribed properties
• Positivity problems for low-order linear recurrence sequences
• Reachability problems for Markov chains
• Skolem and positivity completeness of ergodic Markov chains
• Termination of Integer Linear Programs
• The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates
• The discrepancy of random sequences {kx}
• The pseudo-reachability problem for diagonalisable linear dynamical systems
• Ultimate positivity is decidable for simple linear recurrence sequences
• What's decidable about discrete linear dynamical systems?
• Über die Gleichverteilung von Zahlen mod. Eins.

This page was built for publication: Linear dynamical systems with weight functions

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