5 papers
Existence and Synthesis of Multi-Resolution Approximate Bisimulations for Continuous-State Dynamical Systems
Rudi Coppola, Yannik Schnitzer, Mirco Giacobbe +2
We present a fully automatic framework for synthesising compact, finite-state deterministic abstractions of deterministic, continuous-state autonomous systems under locally specifi…
Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification
Rudi Coppola, Hovsep Touloujian, Pierfrancesco Ombrini +1
Rechargeable lithium-ion (Li-ion) batteries are a ubiquitous element of modern technology. In the last decades, the production and design of such batteries and their adjacent embed…
On Training-Conditional Conformal Prediction and Binomial Proportion Confidence Intervals
Rudi Coppola, Manuel Mazo
Estimating the expectation of a Bernoulli random variable based on N independent trials is a classical problem in statistics, typically addressed using Binomial Proportion Confiden…
Data-Driven Abstractions for Control Systems via Random Exploration
Rudi Coppola, Andrea Peruffo, Manuel Mazo
At the intersection of dynamical systems, control theory, and formal methods lies the construction of symbolic abstractions: these typically represent simpler, finite-state models…
Data-driven Interval MDP for Robust Control Synthesis
Rudi Coppola, Andrea Peruffo, Licio Romao +2
The abstraction of dynamical systems is a powerful tool that enables the design of feedback controllers using a correct-by-design framework. We investigate a novel scheme to obtain…