Linear dynamical systems with continuous weight functions

DOI10.1145/3641513.3650173MaRDI QIDQ6993489zbMATH OpenFDO

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

Publication date 25 April 2025

Full work available at URL https://doi.org/10.1145/3641513.3650173

zbMATH Keywords

discounted rewardlinear dynamical systemsmean payofftotal reward

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Cites work

• 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
• 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 5585443 (Why is no real title available?)
• scientific article; zbMATH DE number 7730630 (Why is no real title available?)
• Linearization of Discrete-Time Systems
• Linearization of discrete-time systems
• Logarithmic forms and group varieties.
• 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
• Positivity problems for low-order linear recurrence sequences
• Reachability problems for Markov chains
• The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates
• The pseudo-reachability problem for diagonalisable linear dynamical systems
• What's decidable about discrete linear dynamical systems?
• Über die Gleichverteilung von Zahlen mod. Eins.

Cited in

(2)

• Linear dynamical systems with weight functions
• On expansions of monadic second-order logic with dynamical predicates

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

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