基于自动机/形式语言模型的离散事件动态系统状态估计理论

项目名称： 基于自动机/形式语言模型的离散事件动态系统状态估计理论

项目编号： No.60904019

项目类型： 青年科学基金项目

立项/批准年度： 2010

项目学科： 轻工业、手工业

项目作者： 舒少龙

作者单位： 同济大学

项目金额： 18万元

中文摘要： 随着各种新技术特别是信息技术的发展，离散事件动态系统仍然是当今理论研究和工程应用研究的热点，其中基于自动机/形式语言模型的离散事件动态系统分析方法主要研究离散事件动态系统监控理论和故障诊断理论。监控理论和故障诊断理论表明，充足的状态信息是系统实现有效监控与实时故障诊断的重要前提，因此，如何根据系统的输出实时估计系统的运行状态是该分析方法的一个重要研究课题。为此本项目将对基于自动机/形式语言模型的离散事件动态系统状态估计问题进行全面深入的研究：解决离散事件动态系统单监测器状态估计问题，具体研究离散事件动态系统输出与状态估计间的作用规律，推导系统可测性的有效算法，构建系统动态观测器。在此基础上，解决离散事件动态系统分布式多监测器状态估计问题，并进一步揭示多监测器间的通讯对系统状态估计的影响机理。本项目旨在得到一套系统化的离散事件动态系统状态估计理论。

中文关键词： 可测性；状态估计；观测器；延时；私密性

英文摘要：

英文关键词： Detectability；State estimation；Observer；Delays；Opacity