Cover Image

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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Banse, Adrien, Delimpaltadakis, Giannis, Laurenti, Luca, Mazo Jr., Manuel, Jungers, Raphaël M.
Format:	Preprint
Published:	2025
Subjects:	Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Formal Analysis of the Sampling Behaviour of Stochastic Event-Triggered Control
by: Delimpaltadakis, Giannis, et al.
Published: (2022)

Data-driven memory-dependent abstractions of dynamical systems via a Cantor-Kantorovich metric
by: Banse, Adrien, et al.
Published: (2024)

Interval Markov Decision Processes with Continuous Action-Spaces
by: Delimpaltadakis, Giannis, et al.
Published: (2022)

Abstracting the Traffic of Nonlinear Event-Triggered Control Systems
by: Delimpaltadakis, Giannis, et al.
Published: (2020)

Agile Temporal Discretization for Symbolic Optimal Control
by: Janssens, Adrien, et al.
Published: (2025)

Dionysos.jl: a Modular Platform for Smart Symbolic Control
by: Calbert, Julien, et al.
Published: (2024)

A Path-Complete Approach for Optimal Control of Switched Systems
by: Ninite, Léa, et al.
Published: (2026)

ETCetera: beyond Event-Triggered Control
by: Delimpaltadakis, Giannis, et al.
Published: (2022)

Characterizing simulation relations through control architectures in abstraction-based control
by: Calbert, Julien, et al.
Published: (2024)

An Information Theory of Finite Abstractions and their Fundamental Scalability Limits
by: Delimpaltadakis, Giannis, et al.
Published: (2025)

On the relationship between control barrier functions and projected dynamical systems
by: Delimpaltadakis, Giannis, et al.
Published: (2023)

Ordering and refining path-complete Lyapunov functions through composition lifts
by: Jongeneel, Wouter, et al.
Published: (2025)

Predictable Interval MDPs through Entropy Regularization
by: van Zutphen, Menno, et al.
Published: (2024)

Scalable control synthesis for stochastic systems via structural IMDP abstractions
by: Mathiesen, Frederik Baymler, et al.
Published: (2024)

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances
by: Gracia, Ibon, et al.
Published: (2024)

Efficient Strategy Synthesis for Switched Stochastic Systems with Distributional Uncertainty
by: Gracia, Ibon, et al.
Published: (2022)

Safe Feedback Optimization through Control Barrier Functions
by: Delimpaltadakis, Giannis, et al.
Published: (2026)

Feedback Optimization with State Constraints through Control Barrier Functions
by: Delimpaltadakis, Giannis, et al.
Published: (2025)

Formal Entropy-Regularized Control of Stochastic Systems
by: van Zutphen, Menno, et al.
Published: (2026)

Continuous Approximations of Projected Dynamical Systems via Control Barrier Functions
by: Delimpaltadakis, Giannis, et al.
Published: (2024)

Predictable Reinforcement Learning Dynamics through Entropy Rate Minimization
by: Ornia, Daniel Jarne, et al.
Published: (2023)

Tempering the Bayes Filter towards Improved Model-Based Estimation
by: van Zutphen, Menno, et al.
Published: (2025)

A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution
by: Mathiesen, Frederik Baymler, et al.
Published: (2024)

Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications
by: Ren, Wei, et al.
Published: (2024)

LLM-Enhanced Symbolic Control for Safety-Critical Applications
by: Bayat, Amir, et al.
Published: (2025)

A Unifying Perspective for Safety of Stochastic Systems: From Barrier Functions to Finite Abstractions
by: Laurenti, Luca, et al.
Published: (2023)

Hierarchical Event-Triggered Systems: Safe Learning of Quasi-Optimal Deadline Policies
by: Ong, Pio, et al.
Published: (2024)

Comparing Labeled Markov Chains: A Cantor-Kantorovich Approach
by: Banse, Adrien, et al.
Published: (2025)

A Cantor-Kantorovich Metric Between Markov Decision Processes with Application to Transfer Learning
by: Banse, Adrien, et al.
Published: (2024)

Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
by: Cauchi, Nathalie, et al.
Published: (2019)

Piecewise Control Barrier Functions for Stochastic Systems
by: Mazouz, Rayan, et al.
Published: (2025)

Formal Uncertainty Propagation for Stochastic Dynamical Systems with Additive Noise
by: Adams, Steven, et al.
Published: (2025)

A Contract Theory for Layered Control Architectures
by: Mazo Jr., Manuel, et al.
Published: (2024)

Hybrid Energy-Based Models for Physical AI: Provably Stable Identification of Port-Hamiltonian Dynamics
by: Betteti, Simone, et al.
Published: (2026)

Feedback linearization through the lens of data
by: De Persis, C., et al.
Published: (2023)

A general partitioning strategy for non-centralized control
by: Riccardi, Alessandro, et al.
Published: (2025)

Partitioning techniques for non-centralized predictive control: A systematic review and novel theoretical insights
by: Riccardi, Alessandro, et al.
Published: (2025)

Optimal Bayesian Affine Estimator and Active Learning for the Wiener Model
by: Vakili, Sasan, et al.
Published: (2025)

On the Completeness and Ordering of Path-Complete Barrier Functions
by: Anand, Mahathi, et al.
Published: (2025)

Multiple Lyapunov Functions and Memory: A Symbolic Dynamics Approach to Systems and Control
by: Della Rossa, Matteo, et al.
Published: (2023)