随机混成自动机相关论文
自动驾驶场景中存在着丰富的时空数据和动态行为交互,使得自动驾驶场景充满复杂性。系统的安全性面临着严重的挑战。近年来,人们尝......
作为轨道交通系统的核心子系统之一,联锁系统的安全性应当作为开发的首要前提和目标。联锁系统事故预测是保证联锁系统安全性的重......
作为轨道交通系统的核心子系统之一,对联锁系统进行形式化建模与分析,是保证其安全性的重要手段.形式化建模需要领域知识和形式化......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们......
在开放运行环境中,安全攸关系统的不确定性行为有可能导致小概率事件的发生,而此类事件的可靠性指标往往很高,小概率事件一旦发生......
信息物理融合系统(Cyber Physical Systems,CPS)是一种高级嵌入式系统,它将数字计算系统与物理过程结合起来,更关注计算机与物理环......