Andrea Peruffo

36 papers Journal 21Unranked 14

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Fault-tolerant control of nonlinear systems: An inductive synthesis approach. Autom. Daniele Masti, Davide Grande, Andrea Peruffo, Filippo Fabiani
2026	J	`jnl`	Fossil 2.0: Design, usage and impact of a software tool for verification and control of dynamical models. Sci. Comput. Program. Alec Edwards, Andrea Peruffo, Alessandro Abate
2025	J	`jnl`	A general framework for verification and control of dynamical models via certificate synthesis. Annu. Rev. Control. Alec Edwards, Andrea Peruffo, Alessandro Abate
2025	J	`jnl`	Fault detection via output-based barrier functions. Eur. J. Control Luca Ballotta, Andrea Peruffo, Riccardo M. G. Ferrari, Manuel Mazo
2025	J	`jnl`	Fault-tolerant control of nonlinear systems: An inductive synthesis approach. CoRR Daniele Masti, Davide Grande, Andrea Peruffo, Filippo Fabiani
2025	J	`jnl`	Sampling Performance of Periodic Event-Triggered Control Systems: A Data-Driven Approach. IEEE Trans. Control. Netw. Syst. Andrea Peruffo, Manuel Mazo Jr.
2024	J	`jnl`	Data-Driven Abstractions for Control Systems. CoRR Rudi Coppola, Andrea Peruffo, Manuel Mazo Jr.
2024	J	`jnl`	Data-driven Interval MDP for Robust Control Synthesis. CoRR Rudi Coppola, Andrea Peruffo, Licio Romao, Alessandro Abate, Manuel Mazo Jr.
2024	J	`jnl`	Enhancing Data-Driven Stochastic Control via Bundled Interval MDP. IEEE Control. Syst. Lett. Rudi Coppola, Andrea Peruffo, Licio Romao, Alessandro Abate, Manuel Mazo
2024	—	`conf`	Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models. HSCC Alec Edwards, Andrea Peruffo, Alessandro Abate
2024	—	`conf`	Scenario Approach and Conformal Prediction for Verification of Unknown Systems via Data-Driven Abstractions. ECC Rudi Coppola, Andrea Peruffo, Lars Lindemann, Manuel Mazo Jr.
2023	J	`jnl`	A General Verification Framework for Dynamical and Control Models via Certificate Synthesis. CoRR Alec Edwards, Andrea Peruffo, Alessandro Abate
2023	J	`jnl`	Augmented Neural Lyapunov Control. IEEE Access Davide Grande, Andrea Peruffo, Enrico Anderlini, Georgios Salavasidis
2023	J	`jnl`	Data-Driven Abstractions With Probabilistic Guarantees for Linear PETC Systems. IEEE Control. Syst. Lett. Andrea Peruffo, Manuel Mazo
2023	J	`jnl`	Data-Driven Abstractions for Verification of Linear Systems. IEEE Control. Syst. Lett. Rudi Coppola, Andrea Peruffo, Manuel Mazo Jr.
2023	J	`jnl`	Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models. CoRR Alec Edwards, Andrea Peruffo, Alessandro Abate
2023	—	`conf`	Poster: Convex Scenario Optimisation for ReLU Networks. HSCC Andrea Peruffo, Manuel Mazo Jr.
2023	—	`conf`	Systematic Synthesis of Passive Fault-Tolerant Augmented Neural Lyapunov Control Laws for Nonlinear Systems. CDC Davide Grande, Davide Fenucci, Andrea Peruffo, Enrico Anderlini, Alexander B. Phillips, Giles Thomas, Georgios Salavasidis
2022	J	`jnl`	Data-driven Abstractions for Verification of Deterministic Systems. CoRR Rudi Coppola, Andrea Peruffo, Manuel Mazo Jr.
2022	J	`jnl`	Data-driven Abstractions with Probabilistic Guarantees for Linear PETC Systems. CoRR Andrea Peruffo, Manuel Mazo Jr.
2021	—	`conf`	A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks. OVERLAY@GandALF Alessandro Abate, Daniele Ahmed, Alec Edwards, Mirco Giacobbe, Andrea Peruffo
2021	J	`jnl`	Aggregation and Control of a Heterogeneous Population of Solar Panels Over the Grid Frequency. IEEE Trans. Control. Syst. Technol. Andrea Peruffo, Emeline Guiu, Patrick Panciatici, Alessandro Abate
2021	—	`conf`	Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models. TACAS (1) Andrea Peruffo, Daniele Ahmed, Alessandro Abate
2021	—	`conf`	FOSSIL: a software tool for the formal synthesis of lyapunov functions and barrier certificates using neural networks. HSCC Alessandro Abate, Daniele Ahmed, Alec Edwards, Mirco Giacobbe, Andrea Peruffo
2021	—	`conf`	Formal Abstraction and Synthesis of Parametric Stochastic Processes. FORMATS Andrea Peruffo, Alessandro Abate
2021	J	`jnl`	Formal Synthesis of Lyapunov Neural Networks. IEEE Control. Syst. Lett. Alessandro Abate, Daniele Ahmed, Mirco Giacobbe, Andrea Peruffo
2020	—	`—`	Aggregation of a heterogeneous population of solar panels: verification and control. Andrea Peruffo
2020	J	`jnl`	Automated Formal Synthesis of Lyapunov Neural Networks. CoRR Alessandro Abate, Daniele Ahmed, Mirco Giacobbe, Andrea Peruffo
2020	J	`jnl`	Automated Formal Synthesis of Neural Barrier Certificates for Dynamical Models. CoRR Andrea Peruffo, Daniele Ahmed, Alessandro Abate
2020	—	`conf`	Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers. TACAS (1) Daniele Ahmed, Andrea Peruffo, Alessandro Abate
2020	J	`jnl`	Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers. CoRR Daniele Ahmed, Andrea Peruffo, Alessandro Abate
2019	—	`conf`	Safety Guarantees for the Electricity Grid with Significant Renewables Generation. QEST Andrea Peruffo, Emeline Guiu, Patrick Panciatici, Alessandro Abate
2018	—	`conf`	Impact of Solar Panels and Cooling Devices on Frequency Control After a Generation Loss Incident. CDC Andrea Peruffo, Emeline Guiu, Patrick Panciatici, Alessandro Abate
2017	—	`conf`	Aggregated Markov Models of a Heterogeneous Population of Photovoltaic Panels. QEST Andrea Peruffo, Emeline Guiu, Patrick Panciatici, Alessandro Abate
2015	—	`conf`	A new recursive least squares method with multiple forgetting schemes. CDC Francesco Fraccaroli, Andrea Peruffo, Mattia Zorzi
2015	—	`conf`	Akka.js: towards a portable actor runtime environment. AGERE!@SPLASH Gianluca Stivan, Andrea Peruffo, Philipp Haller