GN&C methodologies in the context of multi-agent systems with applications to collision avoidance in spacecraft formations, spacecraft collision probability models, optimal control