Formal synthesis of Lyapunov neural networks
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 L...
| Main Authors: | , , , |
|---|---|
| 格式: | Journal article |
| 語言: | English |
| 出版: |
IEEE
2020
|