Andrea Peruffo

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Formal Synthesis of Lyapunov Neural Networks.
IEEE Control. Syst. Lett., 2021

Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models.
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.
CoRR, 2020

Automated Formal Synthesis of Lyapunov Neural Networks.
CoRR, 2020

Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers.
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.
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.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2017
Aggregated Markov Models of a Heterogeneous Population of Photovoltaic Panels.
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

2015
A new recursive least squares method with multiple forgetting schemes.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Akka.js: towards a portable actor runtime environment.
Proceedings of the 5th International Workshop on Programming Based on Actors, 2015


  Loading...