@inproceedings{25bc432e832f4908962ffbe3691b6539,
title = "Verification of a numerical solution to a collocation problem",
abstract = "In a recent method to compute Lyapunov functions for nonlinear stochastic differential equations a subsequent verification of the results is needed. The theory has been developed but there are several practical difficulties in its implementation because of the huge amount of function evaluations needed during verification. We study several different methods and compare their accuracy and efficiency.",
keywords = "Lyapunov Function, Numerical Computation, Radial Basis Functions",
author = "Hjortur Bjornsson and Sigurdur Hafstein",
note = "Publisher Copyright: Copyright {\textcopyright} 2018 by SCITEPRESS – Science and Technology Publications, Lda. All rights reserved; 15th International Conference on Informatics in Control, Automation and Robotics, ICINCO 2018 ; Conference date: 29-07-2018 Through 31-07-2018",
year = "2018",
doi = "10.5220/0006945405870594",
language = "English",
series = "ICINCO 2018 - Proceedings of the 15th International Conference on Informatics in Control, Automation and Robotics",
publisher = "SciTePress",
pages = "587--594",
editor = "Kurosh Madani and Oleg Gusikhin",
booktitle = "ICINCO 2018 - Proceedings of the 15th International Conference on Informatics in Control, Automation and Robotics",
}