Pretty exciting, I figured out how to create a non-linear spacecraft attitude component in ModelingToolkit.jl, I tested it with the built-in PID controllers and seems to work great! You can see the non-linear behaviour of the attitude especially on the θ Euler angle #JuliaLang
