Cover Image

Existence and Synthesis of Multi-Resolution Approximate Bisimulations for Continuous-State Dynamical Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Coppola, Rudi, Schnitzer, Yannik, Giacobbe, Mirco, Abate, Alessandro, Mazo Jr, Manuel
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

Bisimulation Learning
by: Abate, Alessandro, et al.
Published: (2024)

Branching Bisimulation Learning
by: Abate, Alessandro, et al.
Published: (2025)

Data-driven Interval MDP for Robust Control Synthesis
by: Coppola, Rudi, et al.
Published: (2024)

Quantitative Supermartingale Certificates
by: Abate, Alessandro, et al.
Published: (2025)

Stochastic Omega-Regular Verification and Control with Supermartingales
by: Abate, Alessandro, et al.
Published: (2024)

Data-Driven Abstractions for Control Systems via Random Exploration
by: Coppola, Rudi, et al.
Published: (2024)

Certifiably Robust Policies for Uncertain Parametric Environments
by: Schnitzer, Yannik, et al.
Published: (2024)

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification
by: Coppola, Rudi, et al.
Published: (2025)

Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets
by: Solanki, Prashant, et al.
Published: (2025)

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

Neural Continuous-Time Supermartingale Certificates
by: Neustroev, Grigory, et al.
Published: (2024)

Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems
by: Badings, Thom, et al.
Published: (2025)

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

Quantitative Verification with Neural Networks
by: Abate, Alessandro, et al.
Published: (2023)

Continuous-time Data-driven Barrier Certificate Synthesis
by: Rickard, Luke, et al.
Published: (2025)

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems
by: Nazeri, Mahdi, et al.
Published: (2025)

Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics
by: Nazeri, Mahdi, et al.
Published: (2025)

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

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

Data-Driven Certificate Synthesis
by: Rickard, Luke, et al.
Published: (2025)

Certified Neural Approximations of Nonlinear Dynamics
by: Mathiesen, Frederik Baymler, et al.
Published: (2025)

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

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

A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions
by: Badings, Thom, et al.
Published: (2024)

Networked Communication for Mean-Field Games with Function Approximation and Empirical Mean-Field Estimation
by: Benjamin, Patrick, et al.
Published: (2024)

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

A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis
by: Edwards, Alec, et al.
Published: (2023)

Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models
by: Edwards, Alec, et al.
Published: (2023)

Non-Parametric Learning of Stochastic Differential Equations with Non-asymptotic Fast Rates of Convergence
by: Bonalli, Riccardo, et al.
Published: (2023)

Polymatroidal Representations of Aggregate EV Flexibility Considering Network Constraints
by: Mukhi, Karan, et al.
Published: (2025)

Neural Proofs for Sound Verification and Control of Complex Systems
by: Abate, Alessandro
Published: (2025)

Certificates Synthesis for A Class of Observational Properties in Stochastic Systems: A Unified Approach
by: Cui, Bohan, et al.
Published: (2026)

On Training-Conditional Conformal Prediction and Binomial Proportion Confidence Intervals
by: Coppola, Rudi, et al.
Published: (2025)

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

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

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization
by: Riccardi, Alessandro, et al.
Published: (2026)

Bisimulation metric for Model Predictive Control
by: Shimizu, Yutaka, et al.
Published: (2024)

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

Exact Recourse Functions for Aggregations of EVs Operating in Imbalance Markets
by: Mukhi, Karan, et al.
Published: (2025)

StocHy: automated verification and synthesis of stochastic processes
by: Cauchi, Nathalie, et al.
Published: (2019)