Seguir
Andrea Peruffo
Andrea Peruffo
Dirección de correo verificada de tudelft.nl
Título
Citado por
Citado por
Año
Formal synthesis of Lyapunov neural networks
A Abate, D Ahmed, M Giacobbe, A Peruffo
IEEE Control Systems Letters 5 (3), 773-778, 2020
1162020
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
822015
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
632021
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
462021
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
342020
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
292015
Akka. js: towards a portable actor runtime environment
G Stivan, A Peruffo, P Haller
Proceedings of the 5th International Workshop on Programming Based on Actors …, 2015
162015
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
82022
Data-driven abstractions for verification of linear systems
R Coppola, A Peruffo, M Mazo
IEEE Control Systems Letters, 2023
72023
Data-driven abstractions with probabilistic guarantees for linear petc systems
A Peruffo, M Mazo
IEEE Control Systems Letters 7, 115-120, 2022
72022
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
52023
Augmented Neural Lyapunov Control
D Grande, E Anderlini, A Peruffo, G Salavasidis
IEEE Access, 2023
52023
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
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
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
32023
A General Verification Framework for Dynamical and Control Models via Certificate Synthesis
A Edwards, A Peruffo, A Abate
arXiv preprint arXiv:2309.06090, 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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20