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

信息物理融合系统(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, 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.