Andrea Peruffo

According to our database, Andrea Peruffo authored at least 27 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Enhancing Data-Driven Stochastic Control via Bundled Interval MDP.

Rudi Coppola, Andrea Peruffo, Licio Romao, Alessandro Abate, Manuel Mazo

IEEE Control. Syst. Lett., 2024

Data-driven Interval MDP for Robust Control Synthesis.

Rudi Coppola, Andrea Peruffo, Licio Romao, Alessandro Abate, Manuel Mazo Jr.

CoRR, 2024

Data-Driven Abstractions for Control Systems.

Rudi Coppola, Andrea Peruffo, Manuel Mazo Jr.

CoRR, 2024

Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models.

Alec Edwards, Andrea Peruffo, Alessandro Abate

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

Scenario Approach and Conformal Prediction for Verification of Unknown Systems via Data-Driven Abstractions.

Rudi Coppola, Andrea Peruffo, Lars Lindemann, Manuel Mazo Jr.

Proceedings of the European Control Conference, 2024

2023

Data-Driven Abstractions With Probabilistic Guarantees for Linear PETC Systems.

Andrea Peruffo, Manuel Mazo

IEEE Control. Syst. Lett., 2023

Data-Driven Abstractions for Verification of Linear Systems.

Rudi Coppola, Andrea Peruffo, Manuel Mazo Jr.

IEEE Control. Syst. Lett., 2023

A General Verification Framework for Dynamical and Control Models via Certificate Synthesis.

Alec Edwards, Andrea Peruffo, Alessandro Abate

CoRR, 2023

Augmented Neural Lyapunov Control.

Davide Grande, Andrea Peruffo, Enrico Anderlini, Georgios Salavasidis

IEEE Access, 2023

Poster: Convex Scenario Optimisation for ReLU Networks.

Andrea Peruffo, Manuel Mazo Jr.

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Systematic Synthesis of Passive Fault-Tolerant Augmented Neural Lyapunov Control Laws for Nonlinear Systems.

Davide Grande, Davide Fenucci, Andrea Peruffo, Enrico Anderlini, Alexander B. Phillips, Giles Thomas, Georgios Salavasidis

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022

Data-driven Abstractions for Verification of Deterministic Systems.

Rudi Coppola, Andrea Peruffo, Manuel Mazo Jr.

CoRR, 2022

2021

Aggregation and Control of a Heterogeneous Population of Solar Panels Over the Grid Frequency.

Andrea Peruffo, Emeline Guiu, Patrick Panciatici, Alessandro Abate

IEEE Trans. Control. Syst. Technol., 2021

Formal Synthesis of Lyapunov Neural Networks.

Alessandro Abate, Daniele Ahmed, Mirco Giacobbe, Andrea Peruffo

IEEE Control. Syst. Lett., 2021

Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models.

Andrea Peruffo, Daniele Ahmed, Alessandro Abate

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

FOSSIL: a software tool for the formal synthesis of lyapunov functions and barrier certificates using neural networks.

Alessandro Abate, Daniele Ahmed, Alec Edwards, Mirco Giacobbe, Andrea Peruffo

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks.

Alessandro Abate, Daniele Ahmed, Alec Edwards, Mirco Giacobbe, Andrea Peruffo

Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, 2021

Formal Abstraction and Synthesis of Parametric Stochastic Processes.

Andrea Peruffo, Alessandro Abate

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2021

2020

Aggregation of a heterogeneous population of solar panels: verification and control.

Andrea Peruffo

PhD thesis, 2020

Automated Formal Synthesis of Neural Barrier Certificates for Dynamical Models.

Andrea Peruffo, Daniele Ahmed, Alessandro Abate

CoRR, 2020

Automated Formal Synthesis of Lyapunov Neural Networks.

Alessandro Abate, Daniele Ahmed, Mirco Giacobbe, Andrea Peruffo

CoRR, 2020

Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers.

Daniele Ahmed, Andrea Peruffo, Alessandro Abate

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019

Safety Guarantees for the Electricity Grid with Significant Renewables Generation.

Andrea Peruffo, Emeline Guiu, Patrick Panciatici, Alessandro Abate

Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019

2018

Impact of Solar Panels and Cooling Devices on Frequency Control After a Generation Loss Incident.

Andrea Peruffo, Emeline Guiu, Patrick Panciatici, Alessandro Abate

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2017

Aggregated Markov Models of a Heterogeneous Population of Photovoltaic Panels.

Andrea Peruffo, Emeline Guiu, Patrick Panciatici, Alessandro Abate

Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

2015

A new recursive least squares method with multiple forgetting schemes.

Francesco Fraccaroli, Andrea Peruffo, Mattia Zorzi

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Akka.js: towards a portable actor runtime environment.

Gianluca Stivan, Andrea Peruffo, Philipp Haller

Proceedings of the 5th International Workshop on Programming Based on Actors, 2015