多智能体协调控制的理论研究及在复杂系统中的应用

针对复杂系统的控制问题，以对策论和动态逻辑学为主研究建立多智能体协调控制的理论框架；以随机对策论、概率论与人工智能为主，结合分布式控制理论研究复杂动态环境下的多智能体合作机制；由软件工程和时态逻辑学建立通用设计架构和实现面向应用的系统开发环境；并进行动态分析。为复杂系统的控制问题提供主流解决方案和重要的理论指导。