no code implementations • 16 Nov 2023 • Alec Edwards, Andrea Peruffo, Alessandro Abate
This paper presents Fossil 2. 0, a new major release of a software tool for the synthesis of certificates (e. g., Lyapunov and barrier functions) for dynamical systems modelled as ordinary differential and difference equations.
no code implementations • 12 Sep 2023 • Alec Edwards, Andrea Peruffo, Alessandro Abate
An emerging branch of control theory specialises in certificate learning, concerning the specification of a desired (possibly complex) system behaviour for an autonomous or control model, which is then analytically verified by means of a function-based proof.
no code implementations • 28 Jul 2023 • Alec Edwards, Mirco Giacobbe, Alessandro Abate
Neural abstractions have been recently introduced as formal approximations of complex, nonlinear dynamical models.
1 code implementation • 27 Jan 2023 • Alessandro Abate, Alec Edwards, Mirco Giacobbe
We present a novel method for the safety verification of nonlinear dynamical models that uses neural networks to represent abstractions of their dynamics.