Open AccessCombination of Refinement and Verification for the Construction of Lyapunov Functions using Radial Basis Functions
Author(s) -
Peter Giesl,
Najla Mohammed
Publication year - 2018
Publication title -
proceedings of the 15th international conference on informatics in control, automation and robotics
Language(s) - English
Resource type - Conference proceedings
DOI - 10.5220/0006944405690578
Subject(s) - radial basis function , basis (linear algebra) , lyapunov function , computer science , lyapunov equation , mathematics , control theory (sociology) , algorithm , artificial intelligence , lyapunov exponent , geometry , physics , artificial neural network , nonlinear system , control (management) , quantum mechanics , chaotic