本项目结合群体机器人在实际中的潜在应用，主要研究群体机器人的设计和分析的问题。采用基于模型的开发方法对群体机器人进行多尺度建模，并开发群体机器人的特性描述语言，从而对系统进行模型检查，利用数学工具对系统特性进行验证。同时，采用自动编程技术实现模型代码的自动生成，并进行物理仿真和实际机器人实验验证，实现群体机器人从设计、分析、验证到应用的集成，从而提高整个系统的安全性和可靠性。