基于超致密时间测度模型CPS实时交互执行一致性确定性研究

项目名称： 基于超致密时间测度模型CPS实时交互执行一致性确定性研究

项目编号： No.61364008

项目类型： 地区科学基金项目

立项/批准年度： 2013

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

项目作者： 王剑平

作者单位： 昆明理工大学

项目金额： 45万元

中文摘要： 信息物理融合系统(CPS)是多维异构的计算单元和物理对象在网络环境中高度集成交互的复杂系统,具有实时、鲁棒、自治、高效和高性能等特点,是具有控制属性的网络系统,涉及人和生物等感知因素的智能控制系统。现有网络控制框架存在无法保证CPS中离散与连续过程混合交互执行一致性和确定性。其中实时证实和定量时间的形式化是关键难点。本课题提出基于超致密时间测度模型构建实时语义框架来解决系统混合交互的一致性确定性问题。主要内容包括：1)面向执行体(Actor)语义逻辑的控制信号时序流图设计方法研究;2)超致密时间信号模型的连续和离散混合系统的时间语义表达一致性研究;3)依据测度理论和固定点理论的系统行为确定性分析方法研究。目的在于得出系统实时操作语义模型和执行策略。同时研发出CPS实时混合交互控制建模软件，并设计工业实时网络控制CPS系统验证实例。

中文关键词： 信息物理融合系统；实时模型；实时确定性分析；控制执行器；实时调度

英文摘要： CPS (Cyber-physical systems) is a complex system which the multidimensional heterogeneous calculation units and physical objects are highly integrated and interactive in network environment. This system has the characteristics of real-time, robust, autono

英文关键词： CPS；real-time model；determinacy analysis；real-time actuator；real-time scheduling