基于超致密时间测度模型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, autonomous, high efficiency, high performance, etc. It's a network system with control attribution and an intelligent control system related with perception factors such as human being and biological. The existing network control framework can't assure the consistency and certainty of the mixed interactive execution in CPS. The formal of real time verification and time quantitative is the key difficulty. Based on the super density time (SDT) measurement model, this project will build a real-time semantic frame to solve the problems of consistency and certainty in interactive system. The main content includes:1) the design method research of control signal flow graph of actor-oriented semantic logic;2) the time semantic expression consistency research of continuous and discrete hybrid systems in SDT signal model;3) the uncertainty analysis research of the system behavior based on the measurement theory and the fixed point theory. The purpose of research is to get the system's real-time operational semantics and implementation strategies, develop modeling software for the CPS real-time hybrid interactive control, and construct an example of industrial real-time network control CPS system for testing and verifying.

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

课题研究基于工业实时控制领域相关信息物理融合系统(Cyber-physical systems ,简称CPS)控制与建模.课题开展了CPS实时控制系统框架结构模型研究,超致密时间模型语义框架研究,依据测度理论和固定点理论的系统行为确定性分析方法研究及其系统资源调度、控制执行器驱动和数据驱动计算等方面.研发CPS 实时混合交互控制建模软件,并设计工业实时网络控制CPS 系统验证实例,进行了钢铁企业MES与PCS混合交互控制系统、工业制浆造纸全流程实时成本控制和广域分布的水文数据实时采集及分析三个实例验证.利用超致密时间表达了CPS的实时执行过程,通过定义事件的实时标签,在实时状态转移轨迹上建立一种简单的状态转移语义模型.把任意连接的时间片上并行网络模拟为具有反馈的单个系统,建立对应时间模型的固定点,由此得到超致密时间模型及语义框架.建立了系统网络分解逻辑框架结构并利用指令执行体构件研究得出系统相互作用模型.课题的研究结果对于CPS实时嵌入式控制、物联网应用等提供了一种实时建模与控制方法,具有一定应用价值.