Andrea Peruffo

CoRR, 2024

Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models.

[BibT_eX]

[DOI]

Alec Edwards

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

2023

Data-Driven Abstractions With Probabilistic Guarantees for Linear PETC Systems.

[BibT_eX]

[DOI]

Manuel Mazo

IEEE Control. Syst. Lett., 2023

Data-Driven Abstractions for Verification of Linear Systems.

[BibT_eX]

[DOI]

Rudi Coppola

IEEE Control. Syst. Lett., 2023

A General Verification Framework for Dynamical and Control Models via Certificate Synthesis.

[BibT_eX]

[DOI]

Alec Edwards

CoRR, 2023

Augmented Neural Lyapunov Control.

[BibT_eX]

[DOI]

IEEE Access, 2023

Poster: Convex Scenario Optimisation for ReLU Networks.

[BibT_eX]

[DOI]

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Systematic Synthesis of Passive Fault-Tolerant Augmented Neural Lyapunov Control Laws for Nonlinear Systems.

[BibT_eX]

[DOI]

Alexander B. Phillips

Giles Thomas

Georgios Salavasidis

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022

Data-driven Abstractions for Verification of Deterministic Systems.

[BibT_eX]

[DOI]

Rudi Coppola

CoRR, 2022

2021

Aggregation and Control of a Heterogeneous Population of Solar Panels Over the Grid Frequency.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2021

Formal Synthesis of Lyapunov Neural Networks.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2021

Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models.

[BibT_eX]

[DOI]

Daniele Ahmed

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

FOSSIL: a software tool for the formal synthesis of lyapunov functions and barrier certificates using neural networks.

[BibT_eX]

[DOI]

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, 2021

Formal Abstraction and Synthesis of Parametric Stochastic Processes.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2021

2020

Aggregation of a heterogeneous population of solar panels: verification and control.

[BibT_eX]

[DOI]

PhD thesis, 2020

Automated Formal Synthesis of Neural Barrier Certificates for Dynamical Models.

[BibT_eX]

[DOI]

Daniele Ahmed

CoRR, 2020

Automated Formal Synthesis of Lyapunov Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2020

Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers.

[BibT_eX]

[DOI]

Daniele Ahmed

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019

Safety Guarantees for the Electricity Grid with Significant Renewables Generation.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019

2018

Impact of Solar Panels and Cooling Devices on Frequency Control After a Generation Loss Incident.

[BibT_eX]

[DOI]

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2017

Aggregated Markov Models of a Heterogeneous Population of Photovoltaic Panels.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

2015

A new recursive least squares method with multiple forgetting schemes.

[BibT_eX]

[DOI]

Francesco Fraccaroli

Mattia Zorzi

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Akka.js: towards a portable actor runtime environment.

[BibT_eX]

[DOI]

Gianluca Stivan