Journal article icon

Journal article

Formal synthesis of Lyapunov neural networks

Abstract:

We propose an automatic and formally sound method for synthesising Lyapunov functions for the asymptotic stability of autonomous non-linear systems. Traditional methods are either analytical and require manual effort or are numerical but lack of formal soundness. Symbolic computational methods for Lyapunov functions, which are in between, give formal guarantees but are typically semi-automatic because they rely on the user to provide appropriate function templates. We propose a method that fi...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publisher copy:
10.1109/LCSYS.2020.3005328

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
ORCID:
0000-0002-5627-9093
More by this author
Role:
Author
ORCID:
0000-0002-5479-741X
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
ORCID:
0000-0001-8180-0904
More by this author
Role:
Author
ORCID:
0000-0002-7767-2935
Publisher:
IEEE
Journal:
IEEE Control Systems Letters More from this journal
Volume:
5
Issue:
3
Pages:
773-778
Publication date:
2020-06-26
Acceptance date:
2020-06-24
DOI:
EISSN:
2475-1456
Language:
English
Keywords:
Pubs id:
1127758
Local pid:
pubs:1127758
Deposit date:
2021-05-23

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP