实现网络控制系统自治化三大关键技术的算法研究

项目名称： 实现网络控制系统自治化三大关键技术的算法研究

项目编号： No.61374058

项目类型： 面上项目

立项/批准年度： 2013

项目学科： 自动化技术、计算机技术

项目作者： 王巍琳

作者单位： 上海理工大学

项目金额： 80万元

中文摘要： 电子技术的迅猛发展使得电脑的决策水平于不久的将来超过人类，这使得网络控制系统自治化技术的发展成为电子信息领域竞争的焦点。本项目的研究对象是网络控制系统自治化的三大关键技术: 模板化模型的检测与建模、自治化信息采集、和控制器之间的自治化通讯。对于模板化模型的检测与建模，本项目将通过细化模板的状态空间来体现构件间的耦合关系，从而避免传统的系统整合及其导致的维度灾难问题。对于自治化信息采集，在控制器自主决定信息采集内容的基础上，我们将根据实际系统的物理限制来提出具备特殊应用背景的算法。对于如何优化控制器之间通讯这个经典难题，我们的重点是突破先前提出的高效算法对系统拓扑结构的要求，从而提出适合循环系统的算法。为了将理论应用到实践中去，我们将对相关应用题目来进行仿真模拟试验。这些应用具体包括无人侦察机系统模块化建模与自治化路由、工业流程控制中的无线传感网络传感器自治化调度、和机场码头物流控制。

中文关键词： 自治化系统；离散事件系统；局部可观系统；形式化方法；模型检测

英文摘要： Nowadays, computer technology allows electronic equipment to surpass humans in decision making capabilities. Electronic equipment also has the advantages of being more versatile in many hostile environments that humans are unable to operate in. Because of

英文关键词： Autonomous systems；Discrete event systems；Partial observation；Formal methods；Model checking