Showing eess.SYShow all
3 papers · 1 filter
eess.SY2024
A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis
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…
eess.SY2024
Safe Reach Set Computation via Neural Barrier Certificates
Alessandro Abate, Sergiy Bogomolov, Alec Edwards +3
We present a novel technique for online safety verification of autonomous systems, which performs reachability analysis efficiently for both bounded and unbounded horizons by emplo…
eess.SY2024
Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models
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 or…