:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Coppola, Rudi, Peruffo, Andrea, Romao, Licio, Abate, Alessandro, Mazo Jr, Manuel
Format:	Preprint
Published:	2024
Subjects:	Systems and Control
Online Access:	https://arxiv.org/abs/2404.08344
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Existence and Synthesis of Multi-Resolution Approximate Bisimulations for Continuous-State Dynamical Systems
by: Coppola, Rudi, et al.
Published: (2025)

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

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

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

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

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)

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)

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

Distributed Markov Chain Monte Carlo Sampling based on the Alternating Direction Method of Multipliers
by: Tzikas, Alexandros E., et al.
Published: (2024)

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

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

Safety Certification is Classification
by: Schön, Oliver, et al.
Published: (2026)

Truthful Production Uncertainty in Electricity Markets: A Two-Stage Mechanism
by: Singhal, Shobhit, et al.
Published: (2026)

Bridging conformal prediction and scenario optimization
by: O'Sullivan, Niall, et al.
Published: (2025)

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

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

IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems
by: Wooding, Ben, et al.
Published: (2024)

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

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

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

IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes
by: Mathiesen, Frederik Baymler, et al.
Published: (2024)

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

Data-Driven Robust Predictive Control with Interval Matrix Uncertainty Propagation
by: Quartullo, Renato, et al.
Published: (2026)

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

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

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

Fault-tolerant control of nonlinear systems: An inductive synthesis approach
by: Masti, Daniele, et al.
Published: (2025)

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

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

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

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

Aggregate Flexibility of Thermostatically Controlled Loads using Generalized Polymatroids
by: Mukhi, Karan, et al.
Published: (2025)

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

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

Learning Robust Policies for Uncertain Parametric Markov Decision Processes
by: Rickard, Luke, et al.
Published: (2023)

Robust Model Predictive Control for Linear Systems with Interval Matrix Model Uncertainty
by: Quartullo, Renato, et al.
Published: (2026)

Data-driven Distributionally Robust Control Based on Sinkhorn Ambiguity Sets
by: Cescon, Riccardo, et al.
Published: (2025)

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