Saved in:
| Main Authors: | Coppola, Rudi, Peruffo, Andrea, Romao, Licio, Abate, Alessandro, Mazo Jr, Manuel |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| 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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
by: Tzikas, Alexandros E., et al.
Published: (2024)
Continuous-time Data-driven Barrier Certificate Synthesis
by: Rickard, Luke, et al.
Published: (2025)
by: Rickard, Luke, et al.
Published: (2025)
On Training-Conditional Conformal Prediction and Binomial Proportion Confidence Intervals
by: Coppola, Rudi, et al.
Published: (2025)
by: Coppola, Rudi, et al.
Published: (2025)
Safety Certification is Classification
by: Schön, Oliver, et al.
Published: (2026)
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)
by: Singhal, Shobhit, et al.
Published: (2026)
Bridging conformal prediction and scenario optimization
by: O'Sullivan, Niall, et al.
Published: (2025)
by: O'Sullivan, Niall, et al.
Published: (2025)
Abstracting the Traffic of Nonlinear Event-Triggered Control Systems
by: Delimpaltadakis, Giannis, et al.
Published: (2020)
by: Delimpaltadakis, Giannis, et al.
Published: (2020)
Interval Markov Decision Processes with Continuous Action-Spaces
by: Delimpaltadakis, Giannis, et al.
Published: (2022)
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)
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)
by: Delimpaltadakis, Giannis, et al.
Published: (2022)
Data-Driven Certificate Synthesis
by: Rickard, Luke, et al.
Published: (2025)
by: Rickard, Luke, et al.
Published: (2025)
A Contract Theory for Layered Control Architectures
by: Mazo Jr., Manuel, et al.
Published: (2024)
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)
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)
by: Badings, Thom, et al.
Published: (2025)
Data-Driven Robust Predictive Control with Interval Matrix Uncertainty Propagation
by: Quartullo, Renato, et al.
Published: (2026)
by: Quartullo, Renato, et al.
Published: (2026)
Efficient Strategy Synthesis for Switched Stochastic Systems with Distributional Uncertainty
by: Gracia, Ibon, et al.
Published: (2022)
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)
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)
by: Ong, Pio, et al.
Published: (2024)
Fault-tolerant control of nonlinear systems: An inductive synthesis approach
by: Masti, Daniele, et al.
Published: (2025)
by: Masti, Daniele, et al.
Published: (2025)
ETCetera: beyond Event-Triggered Control
by: Delimpaltadakis, Giannis, et al.
Published: (2022)
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)
by: Nazeri, Mahdi, et al.
Published: (2025)
Neural Proofs for Sound Verification and Control of Complex Systems
by: Abate, Alessandro
Published: (2025)
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)
by: Bonalli, Riccardo, et al.
Published: (2023)
Aggregate Flexibility of Thermostatically Controlled Loads using Generalized Polymatroids
by: Mukhi, Karan, et al.
Published: (2025)
by: Mukhi, Karan, et al.
Published: (2025)
Polymatroidal Representations of Aggregate EV Flexibility Considering Network Constraints
by: Mukhi, Karan, et al.
Published: (2025)
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)
by: Vakili, Sasan, et al.
Published: (2025)
Learning Robust Policies for Uncertain Parametric Markov Decision Processes
by: Rickard, Luke, et al.
Published: (2023)
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)
by: Quartullo, Renato, et al.
Published: (2026)
Data-driven Distributionally Robust Control Based on Sinkhorn Ambiguity Sets
by: Cescon, Riccardo, et al.
Published: (2025)
by: Cescon, Riccardo, et al.
Published: (2025)
Certifiably Robust Policies for Uncertain Parametric Environments
by: Schnitzer, Yannik, et al.
Published: (2024)
by: Schnitzer, Yannik, et al.
Published: (2024)
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)