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