NeuralLyapunovProblemLibrary.jl

For testing and benchmarking purposes, the NeuralLyapunovProblemLibrary.jl package is provided in the same repository (in the lib folder). This package contains ModelingToolkit models for the simple pendulum (Pendulum), the double pendulum (DoublePendulum), a planar approximation of the quadrotor (QuadrotorPlanar), and a full 3D model of the quadrotor (Quadrotor3D). Additionally, when used with the Plots.jl package, methods are provided for generating animations of the trajectory of each model (shown below).

• Pendulum Model
• • Copy-Pastable Code
  • Plotting the Pendulum
• Double Pendulum Model
• • Copy-Pastable Code
  • Plotting the Double Pendulum
• Quadrotor Models
• • Planar Approximation
  • • Copy-Pastable Code
    • Plotting the Planar Quadrotor
  • 3D Model
  • • Copy-Pastable Code
    • Plotting the 3D Quadrotor
    • References