:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Coppola, Rudi, Peruffo, Andrea, Romao, Licio, Abate, Alessandro, Mazo Jr, Manuel
Formato:	Preprint
Publicado:	2024
Materias:	Systems and Control
Acceso en línea:	https://arxiv.org/abs/2404.08344
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Data-Driven Certificate Synthesis
por: Rickard, Luke, et al.
Publicado: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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