2021

A. Abate, D. Ahmed, M. Giacobbe and A. Peruffo, Formal Synthesis of Lyapunov Neural Networks, in 2021 IEEE Control Systems Letters.
arXiv publisher

A. Peruffo, D. Ahmed and A. Abate, Automated Formal Synthesis of Barrier Certificates for Dynamical Systems, Accepted for publication in TACAS 2021.
arXiv

A.Peruffo, A. Edwards, D. Ahmed, M. Giacobbe and A. Abate, FoSsiL: A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks,
Accepted for publication in HSCC 2021.

2020

D. Ahmed, A. Peruffo and A. Abate, Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers, in Tools and Algorithms for Construction and Analysis of Systems (TACAS) 2020.
arXiv publisher

A. Peruffo, E. Guiu, P. Panciatici and A. Abate, Aggregation and Control of a Heterogeneous Population of Solar Panels Over the Grid Frequency, in IEEE Transactions on Control Systems Technology, 2020.
publisher

2019

A. Peruffo, E. Guiu, P. Panciatici, and A. Abate, Safety Guarantees for the Electricity Grid with Significant Renewables Generation, in QEST 2019.
publisher

A. Peruffo, E. Guiu, P. Panciatici, and A. Abate, Model-based Formal Reliability Analysis of Grid Dynamics with Solar Energy Sources,
Accepted for publication in the Proceedings of Workshop on Advanced Control and Diagnosis
Oxford OA

2018

A. Peruffo, E. Guiu, P. Panciatici, and A. Abate, Impact of Solar Panels and Cooling Devices on Frequency Control After a Generation Loss Incident, in CDC 2018.
publisher

A. Peruffo, A. Abate, E. Guiu and P. Panciatici, Synchronous Frequency Grid Dynamics in the Presence of a Large-Scale Population of Photovoltaic Panels, in PSCC 2018.
publisher

2017

A. Peruffo, E. Guiu, P. Panciatici, and A. Abate, Aggregated Markov Models of a Heterogeneous Population of Photovoltaic Panels, in QEST 2017.
publisher

2015

F. Fraccaroli, A. Peruffo, and M. Zorzi, A new recursive least squares method with multiple forgetting schemes, in CDC 2015.
publisher

A. Peruffo, A. Pandharipande, D. Caicedo, and L. Schenato, Lighting control with distributed wireless sensing and actuation for daylight and occupancy adaptation, in Energy and Buildings Volume 97.
publisher