混成自动机相关论文
随着列控技术的发展,列车运行控制系统获得了巨大的进步和发展。在安全苛求系统的设计开发中,引入形式化技术不仅可以最大限度地保......
混成系统(Hybrid System)是一类常常作为精密仪器的核心控制部件而出现在一些航空航天及列车控制等领域中复杂的系统。因此研究这......
信息-物理融合系统（Cyber-Physical System, CPS）是一种包含了嵌入式、控制、通信以及海量数据处理等技术的复杂的网络化嵌入式系统，......
近年来,随着城市化进程的加速,城市轨道交通业已经成为市内交通的首选,用以缓解交通拥堵的情况。结合了通信技术,计算机技术与自动......
针对间歇性电源并网多逆变器并联运行环流突出、抑制困难的问题,论文提出运用混成自动机理论抑制间歇性电源并网多逆变器并联环流......
矿井机车无人驾驶系统显著表现出连续和离散同时存在的混成特征，混成自动机能够精确刻画其系统演化过程，文章研究该系统的建模及验证......
分析了光伏并网逆变器的混成特性并概述了混成自动机理论。在光伏并网逆变器的混成自动机建模与控制器设计的基础上,提出了并网逆......
系统实时性、安全性和可靠性等非功能属性是信息物理系统在诸多领域应用的关键因素。论文在分析CPS模型构建与分析验证中面临的挑......
针对目前制造系统模型采用简单仿真方法进行构建,无法满足智能制造对制造系统数字孪生模型能准确描述制造系统实时状态的要求。本......
针对汽车信息物理融合系统（CPS）软件的异构性、分布式等特点,提出一种车联网服务建膜方法.对混成自动机进行通信端口扩展,采用扩展的......
混成系统是一类复杂系统,线性混成系统作为其重要子类,在形式方法中,人们通常使用线性混成自动机来对它建模.虽然线性混成自动机的......
针对光伏并网系统是一个非线性、不确定性、非纯一性的典型混成动态系统,本文将混成控制理论应用于光伏并网系统的最大功率点跟踪......
随着列车运行控制相关技术的发展,列控系统不断融合先进的计算机技术、网络技术以及通信技术,系统的自动化程度不断提高、软硬件规......
信息物理系统(Cyber Physical System, CPS)是在环境感知的基础之上,通过3C技术(Computation, Communication, Control)的有机融合......
车辆协同驾驶旨在兼容道路交通安全与效率的前提下,充分利用道路条件,实现若干单车之间的协同控制与驾驶,使其不仅具有组队行驶速......
