Multi-Agent Systems Analysis