39 citations · 41 across the 3 of their papers we have counts for
9 papers · 1 filter
Fault-tolerant control of nonlinear systems: An inductive synthesis approach
Daniele Masti, Davide Grande, Andrea Peruffo +1
Actuator faults heavily affect the performance and stability of control systems, an issue that is even more critical for systems required to operate autonomously under adverse envi…
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…
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…
Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models
Alec Edwards, Andrea Peruffo, Alessandro Abate
This paper presents Fossil 2.0, a new major release of a software tool for the synthesis of certificates (e.g., Lyapunov and barrier functions) for dynamical systems modelled as or…
A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis
Alec Edwards, Andrea Peruffo, Alessandro Abate
An emerging branch of control theory specialises in certificate learning, concerning the specification of a desired (possibly complex) system behaviour for an autonomous or control…
Data-driven Abstractions with Probabilistic Guarantees for Linear PETC Systems
Andrea Peruffo, Manuel Mazo
We employ the scenario approach to compute probably approximately correct (PAC) bounds on the average inter-sample time (AIST) generated by an unknown PETC system, based on a finit…