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

Abate A, Ahmed D, Edwards A, Giacobbe M, Peruffo A

2021

Conference paper

Journal:

HSCC2021: PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (PART OF CPS-IOT WEEK)

No abstract available

Keywords:

Lyapunov functions

barrier certificates

neural networks

CEGIS

SAT modulo theory

DOI