Image de couverture de livre

Data-driven memory-dependent abstractions of dynamical systems via a Cantor-Kantorovich metric

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Banse, Adrien, Romao, Licio, Abate, Alessandro, Jungers, Raphaël M.
Format:	Preprint
Publié:	2024
Sujets:	Systems and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Comparing Labeled Markov Chains: A Cantor-Kantorovich Approach
par: Banse, Adrien, et autres
Publié: (2025)

Memory-dependent abstractions of stochastic systems through the lens of transfer operators
par: Banse, Adrien, et autres
Publié: (2025)

Agile Temporal Discretization for Symbolic Optimal Control
par: Janssens, Adrien, et autres
Publié: (2025)

Exact Recourse Functions for Aggregations of EVs Operating in Imbalance Markets
par: Mukhi, Karan, et autres
Publié: (2025)

A Cantor-Kantorovich Metric Between Markov Decision Processes with Application to Transfer Learning
par: Banse, Adrien, et autres
Publié: (2024)

Data-driven Interval MDP for Robust Control Synthesis
par: Coppola, Rudi, et autres
Publié: (2024)

Dionysos.jl: a Modular Platform for Smart Symbolic Control
par: Calbert, Julien, et autres
Publié: (2024)

A Path-Complete Approach for Optimal Control of Switched Systems
par: Ninite, Léa, et autres
Publié: (2026)

A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution
par: Mathiesen, Frederik Baymler, et autres
Publié: (2024)

A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions
par: Badings, Thom, et autres
Publié: (2024)

LLM-Enhanced Symbolic Control for Safety-Critical Applications
par: Bayat, Amir, et autres
Publié: (2025)

Characterizing simulation relations through control architectures in abstraction-based control
par: Calbert, Julien, et autres
Publié: (2024)

Distributed Markov Chain Monte Carlo Sampling based on the Alternating Direction Method of Multipliers
par: Tzikas, Alexandros E., et autres
Publié: (2024)

Safety Certification is Classification
par: Schön, Oliver, et autres
Publié: (2026)

Truthful Production Uncertainty in Electricity Markets: A Two-Stage Mechanism
par: Singhal, Shobhit, et autres
Publié: (2026)

Ordering and refining path-complete Lyapunov functions through composition lifts
par: Jongeneel, Wouter, et autres
Publié: (2025)

Bridging conformal prediction and scenario optimization
par: O'Sullivan, Niall, et autres
Publié: (2025)

Continuous-time Data-driven Barrier Certificate Synthesis
par: Rickard, Luke, et autres
Publié: (2025)

Data-Driven Certificate Synthesis
par: Rickard, Luke, et autres
Publié: (2025)

Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications
par: Ren, Wei, et autres
Publié: (2024)

Data-driven quantification and visualization of resilience metrics of power distribution system
par: Wang, Dingwei, et autres
Publié: (2025)

Polymatroidal Representations of Aggregate EV Flexibility Considering Network Constraints
par: Mukhi, Karan, et autres
Publié: (2025)

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems
par: Nazeri, Mahdi, et autres
Publié: (2025)

Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems
par: Badings, Thom, et autres
Publié: (2025)

StocHy: automated verification and synthesis of stochastic processes
par: Cauchi, Nathalie, et autres
Publié: (2019)

On the Completeness and Ordering of Path-Complete Barrier Functions
par: Anand, Mahathi, et autres
Publié: (2025)

Data-driven stabilization of nonlinear systems via descriptor embedding
par: Alsalti, Mohammad, et autres
Publié: (2025)

Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics
par: Nazeri, Mahdi, et autres
Publié: (2025)

Smart abstraction based on iterative cover and non-uniform cells
par: Calbert, Julien, et autres
Publié: (2024)

Neural Proofs for Sound Verification and Control of Complex Systems
par: Abate, Alessandro
Publié: (2025)

CC-VPSTO: Chance-Constrained Via-Point-Based Stochastic Trajectory Optimisation for Online Robot Motion Planning under Uncertainty
par: Brudermüller, Lara, et autres
Publié: (2024)

Exact Characterization of Aggregate Flexibility via Generalized Polymatroids
par: Mukhi, Karan, et autres
Publié: (2025)

Data-driven optimal control of unknown nonlinear dynamical systems using the Koopman operator
par: Zeng, Zhexuan, et autres
Publié: (2024)

Data-driven stabilization of switched and constrained linear systems
par: Bianchi, Mattia, et autres
Publié: (2022)

Aggregate Flexibility of Thermostatically Controlled Loads using Generalized Polymatroids
par: Mukhi, Karan, et autres
Publié: (2025)

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization
par: Riccardi, Alessandro, et autres
Publié: (2026)

Networked Communication for Decentralised Agents in Mean-Field Games
par: Benjamin, Patrick, et autres
Publié: (2023)

A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis
par: Edwards, Alec, et autres
Publié: (2023)

The Bayesian Separation Principle for Data-driven Control
par: Baggio, Giacomo, et autres
Publié: (2024)

Networked Communication for Mean-Field Games with Function Approximation and Empirical Mean-Field Estimation
par: Benjamin, Patrick, et autres
Publié: (2024)