Follow
Andrea Peruffo
Andrea Peruffo
Verified email at tudelft.nl
Title
Cited by
Cited by
Year
Formal synthesis of Lyapunov neural networks
A Abate, D Ahmed, M Giacobbe, A Peruffo
IEEE Control Systems Letters 5 (3), 773-778, 2020
1002020
Lighting control with distributed wireless sensing and actuation for daylight and occupancy adaptation
A Peruffo, A Pandharipande, D Caicedo, L Schenato
Energy and Buildings 97, 13-20, 2015
812015
FOSSIL: a software tool for the formal synthesis of lyapunov functions and barrier certificates using neural networks
A Abate, D Ahmed, A Edwards, M Giacobbe, A Peruffo
Proceedings of the 24th International Conference on Hybrid Systems …, 2021
522021
Automated and formal synthesis of neural barrier certificates for dynamical models
A Peruffo, D Ahmed, A Abate
International conference on tools and algorithms for the construction and …, 2021
372021
Automated and sound synthesis of Lyapunov functions with SMT solvers
D Ahmed, A Peruffo, A Abate
Tools and Algorithms for the Construction and Analysis of Systems: 26th …, 2020
292020
A new recursive least squares method with multiple forgetting schemes
F Fraccaroli, A Peruffo, M Zorzi
2015 54th IEEE conference on decision and control (CDC), 3367-3372, 2015
272015
Aggregated Markov models of a heterogeneous population of photovoltaic panels
A Peruffo, E Guiu, P Panciatici, A Abate
Quantitative Evaluation of Systems: 14th International Conference, QEST 2017 …, 2017
102017
Data-driven abstractions for verification of deterministic systems
R Coppola, A Peruffo, M Mazo Jr
arXiv preprint arXiv:2211.01793, 2022
72022
Data-driven abstractions with probabilistic guarantees for linear petc systems
A Peruffo, M Mazo
IEEE Control Systems Letters 7, 115-120, 2022
62022
Aggregation and control of a heterogeneous population of solar panels over the grid frequency
A Peruffo, E Guiu, P Panciatici, A Abate
IEEE Transactions on Control Systems Technology 29 (4), 1420-1436, 2020
52020
Synchronous frequency grid dynamics in the presence of a large-scale population of photovoltaic panels
A Peruffo, A Abate, E Guiu, P Panciatici
2018 Power Systems Computation Conference (PSCC), 1-7, 2018
52018
Data-driven abstractions for verification of linear systems
R Coppola, A Peruffo, M Mazo
IEEE Control Systems Letters, 2023
42023
Safety guarantees for the electricity grid with significant renewables generation
A Peruffo, E Guiu, P Panciatici, A Abate
Quantitative Evaluation of Systems: 16th International Conference, QEST 2019 …, 2019
42019
Impact of solar panels and cooling devices on frequency control after a generation loss incident
A Peruffo, E Guiu, P Panciatici, A Abate
2018 IEEE Conference on Decision and Control (CDC), 5904-5909, 2018
42018
Augmented Neural Lyapunov Control
D Grande, E Anderlini, A Peruffo, G Salavasidis
IEEE Access, 2023
32023
Systematic Synthesis of Passive Fault-Tolerant Augmented Neural Lyapunov Control Laws for Nonlinear Systems
D Grande, D Fenucci, A Peruffo, E Anderlini, AB Phillips, G Thomas, ...
2023 62nd IEEE Conference on Decision and Control (CDC), 5851-5856, 2023
22023
Formal abstraction and synthesis of parametric stochastic processes
A Peruffo, A Abate
Formal Modeling and Analysis of Timed Systems: 19th International Conference …, 2021
22021
Automated formal synthesis of Lyapunov neural networks
A Abate, D Ahmed, M Giacobbe, A Peruffo
arXiv preprint arXiv:2003.08910, 2020
22020
Model-based formal reliability analysis of grid dynamics with solar energy sources
A Peruffo, E Guiu, P Panciatici, A Abate
15th European Workshop on Advanced Control and Diagnosis, 1117-1138, 2018
22018
Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models
A Edwards, A Peruffo, A Abate
arXiv preprint arXiv:2311.09793, 2023
12023
The system can't perform the operation now. Try again later.
Articles 1–20