2 papers
eess.SY2022
Stability of Non-linear Neural Feedback Loops using Sum of Squares
Matthew Newton, Antonis Papachristodoulou
Neural network controllers have the potential to improve the performance of feedback systems compared to traditional controllers, due to their ability to act as general function ap…
eess.SY2022
Sparse Polynomial Optimisation for Neural Network Verification
Matthew Newton, Antonis Papachristodoulou
The prevalence of neural networks in society is expanding at an increasing rate. It is becoming clear that providing robust guarantees on systems that use neural networks is very i…