Obserwuj
Andrea Peruffo
Andrea Peruffo
Zweryfikowany adres z tudelft.nl
Tytuł
Cytowane przez
Cytowane przez
Rok
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
682015
Formal synthesis of Lyapunov neural networks
A Abate, D Ahmed, M Giacobbe, A Peruffo
IEEE Control Systems Letters 5 (3), 773-778, 2020
372020
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
212015
Automated and sound synthesis of Lyapunov functions with SMT solvers
D Ahmed, A Peruffo, A Abate
International Conference on Tools and Algorithms for the Construction and …, 2020
152020
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
132021
Aggregated Markov models of a heterogeneous population of photovoltaic panels
A Peruffo, E Guiu, P Panciatici, A Abate
International Conference on Quantitative Evaluation of Systems, 72-87, 2017
102017
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
82021
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
International Conference on Quantitative Evaluation of Systems, 332-349, 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
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, 2022
22022
Formal Abstraction and Synthesis of Parametric Stochastic Processes
A Peruffo, A Abate
International Conference on Formal Modeling and Analysis of Timed Systems …, 2021
22021
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
22020
Automated formal synthesis of Lyapunov neural networks
A Abate, D Ahmed, M Giacobbe, A Peruffo
arXiv preprint arXiv:2003.08910, 2020
12020
Data-driven Abstractions with Probabilistic Guarantees for Linear PETC Systems
A Peruffo, M Mazo
IEEE Control Systems Letters, 2022
2022
Aggregation of a heterogeneous population of solar panels: verification and control
A Peruffo
University of Oxford, 2020
2020
A Robust Control Strategy With Perturbation Estimation for the Parrot Mambo Platform........................................................ I. Rubio Scola, GA Guijarro Reyes …
A Peruffo, E Guiu, P Panciatici, A Abate
Automated and Sound Synthesis
D Ahmed, A Peruffo, A Abate
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–18