My first steps in geometric control

I am currently delving into 3D heading controllers in SO(3). My final objective is to formally prove that our resilient source-seeking algorithm for robot swarms is effective when the dynamics of the individuals exist in a 3D space.

Check out this simulation!!