Andrea Peruffo

According to our database, Andrea Peruffo authored at least 10 papers between 2015 and 2021.

Collaborative distances:

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

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

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