Multi-agent Modeling and Analysis for Space Situation Awareness