微分动态逻辑相关论文
ETCS-2级列车运行控制系统呈现复杂的混成性.按照无线闭塞中心(RBC)交接协议的内容,建立RBC交接协议的UML图；基于微分动态逻辑理论,......
利用微分动态逻辑对铁路道口控制进行形式化分析与建模。在火车从发送接近信号到进入道口的运动过程中，根据火车到达道口时间上的要......
随着信息物理融合系统（Cyber-Physical Systems,CPS）应用的越来越普及,CPS的设计和实现能否满足实际需求显得至关重要.本文提出了一......
核电数字化仪系统既涉及反应堆随时间变化的物理动态演化过程，又涉及计算机的离散控制过程，属于典型的实时混成系统。微分动态逻辑是......
物联网服务的建模和验证是物联网研究中的重要问题。文中对混成自动机进行了扩展,提出了具有位置驱动特点的时空I/O混成自动机。文......
目前针对物联网的研究主要是对系统进行整体分析,设计与验证过程较复杂。为此,利用混成系统对物联网系统进行建模,将一个复杂的物......
混成系统是实时嵌入式系统的重要子类,其行为中存在连续变化和离散跳转混杂的情况,使得混成系统行为复杂,安全性难以掌握。近年来,......
为了描述信息物理融合系统（cyber-physical systems,CPS）的时空一致性,一种实时规范语言STeC已经提出,CPS的设计和实现能否满足时空-......
液压运动系统既包含连续过程也包含离散过程，可以认为是一个混成系统，在以往研究中缺乏对此类系统安全性的建模与证明。为了解决这个......
