Memory-dependent abstractions of stochastic systems through the Lens of transfer operators

DOI10.1145/3716863.3718039MaRDI QIDQ6904652zbMATH OpenFDO

Authors Adrien Banse, Giannis Delimpaltadakis, Luca Laurenti, M. jun. Mazo, Raphaël M. Jungers

Publication date 7 November 2025

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

zbMATH Keywords

abstractionmemory Markov modelstochastic systemtransfer operator

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

• An Introduction to Symbolic Dynamics and Coding
• Approximate model checking of stochastic hybrid systems
• Asynchronous l-complete approximations
• Automated verification and synthesis of stochastic hybrid systems: a survey
• Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach
• Formal analysis of the sampling behavior of stochastic event-triggered control
• Formal Verification and Synthesis for Discrete-Time Stochastic Systems
• Geometric ergodicity and the spectral gap of non-reversible Markov chains
• scientific article; zbMATH DE number 1779195 (Why is no real title available?)
• scientific article; zbMATH DE number 776267 (Why is no real title available?)
• Markov chains with memory, tensor formulation, and the dynamics of power iteration
• On the approximation quality of Markov state models
• Probability-1
• Solving Continuous-State POMDPs via Density Projection

This page was built for publication: Memory-dependent abstractions of stochastic systems through the Lens of transfer operators

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