Andrea Peruffo

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 28

Top Topics

Stochastic Process

Dynamical Models

Top Venues

IEEE Control. Syst. Lett.

Publications

Rudi Coppola, Andrea Peruffo, Lars Lindemann, Manuel Mazo Jr.
Scenario Approach and Conformal Prediction for Verification of Unknown Systems via Data-Driven Abstractions. ECC (2024)
Alec Edwards, Andrea Peruffo, Alessandro Abate
Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models. HSCC (2024)
Rudi Coppola, Andrea Peruffo, Licio Romao, Alessandro Abate, Manuel Mazo Jr.
Data-driven Interval MDP for Robust Control Synthesis. CoRR (2024)
Rudi Coppola, Andrea Peruffo, Manuel Mazo Jr.
Data-Driven Abstractions for Control Systems. CoRR (2024)
Andrea Peruffo, Manuel Mazo
Data-Driven Abstractions With Probabilistic Guarantees for Linear PETC Systems. IEEE Control. Syst. Lett. 7 (2023)
Alec Edwards, Andrea Peruffo, Alessandro Abate
A General Verification Framework for Dynamical and Control Models via Certificate Synthesis. CoRR (2023)
Andrea Peruffo, Manuel Mazo Jr.
Poster: Convex Scenario Optimisation for ReLU Networks. HSCC (2023)
Davide Grande, Andrea Peruffo, Enrico Anderlini, Georgios Salavasidis
Augmented Neural Lyapunov Control. IEEE Access 11 (2023)
Alec Edwards, Andrea Peruffo, Alessandro Abate
Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models. CoRR (2023)
Rudi Coppola, Andrea Peruffo, Manuel Mazo Jr.
Data-Driven Abstractions for Verification of Linear Systems. IEEE Control. Syst. Lett. 7 (2023)
Davide Grande, Davide Fenucci, Andrea Peruffo, Enrico Anderlini, Alexander B. Phillips, Giles Thomas, Georgios Salavasidis
Systematic Synthesis of Passive Fault-Tolerant Augmented Neural Lyapunov Control Laws for Nonlinear Systems. CDC (2023)
Rudi Coppola, Andrea Peruffo, Manuel Mazo Jr.
Data-driven Abstractions for Verification of Deterministic Systems. CoRR (2022)
Andrea Peruffo, Manuel Mazo Jr.
Data-driven Abstractions with Probabilistic Guarantees for Linear PETC Systems. CoRR (2022)
Andrea Peruffo, Daniele Ahmed, Alessandro Abate
Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models. TACAS (1) (2021)
Alessandro Abate, Daniele Ahmed, Alec Edwards, Mirco Giacobbe, Andrea Peruffo
A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks. OVERLAY@GandALF (2021)
Alessandro Abate, Daniele Ahmed, Mirco Giacobbe, Andrea Peruffo
Formal Synthesis of Lyapunov Neural Networks. IEEE Control. Syst. Lett. 5 (3) (2021)
Andrea Peruffo, Alessandro Abate
Formal Abstraction and Synthesis of Parametric Stochastic Processes. FORMATS (2021)
Alessandro Abate, Daniele Ahmed, Alec Edwards, Mirco Giacobbe, Andrea Peruffo
FOSSIL: a software tool for the formal synthesis of lyapunov functions and barrier certificates using neural networks. HSCC (2021)
Andrea Peruffo, Emeline Guiu, Patrick Panciatici, Alessandro Abate
Aggregation and Control of a Heterogeneous Population of Solar Panels Over the Grid Frequency. IEEE Trans. Control. Syst. Technol. 29 (4) (2021)
Daniele Ahmed, Andrea Peruffo, Alessandro Abate
Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers. TACAS (1) (2020)
Daniele Ahmed, Andrea Peruffo, Alessandro Abate
Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers. CoRR (2020)
Andrea Peruffo, Daniele Ahmed, Alessandro Abate
Automated Formal Synthesis of Neural Barrier Certificates for Dynamical Models. CoRR (2020)
Alessandro Abate, Daniele Ahmed, Mirco Giacobbe, Andrea Peruffo
Automated Formal Synthesis of Lyapunov Neural Networks. CoRR (2020)
Andrea Peruffo, Emeline Guiu, Patrick Panciatici, Alessandro Abate
Safety Guarantees for the Electricity Grid with Significant Renewables Generation. QEST (2019)
Andrea Peruffo, Emeline Guiu, Patrick Panciatici, Alessandro Abate
Impact of Solar Panels and Cooling Devices on Frequency Control After a Generation Loss Incident. CDC (2018)
Andrea Peruffo, Emeline Guiu, Patrick Panciatici, Alessandro Abate
Aggregated Markov Models of a Heterogeneous Population of Photovoltaic Panels. QEST (2017)
Gianluca Stivan, Andrea Peruffo, Philipp Haller
Akka.js: towards a portable actor runtime environment. AGERE!@SPLASH (2015)
Francesco Fraccaroli, Andrea Peruffo, Mattia Zorzi
A new recursive least squares method with multiple forgetting schemes. CDC (2015)