机译:地铁控制系统中的屏蔽门和防撞系统的形式验证和仿真
Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University,Shanghai, China;
Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University,Shanghai, China;
Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University,Shanghai, China;
Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University,Shanghai, China;
Department of Computer Science, Aalborg University,Aalborg, Denmark;
Department of Computer Science, Aalborg University,Aalborg, Denmark;
Hybrid systems; Formal verification and simulation; SpaceEx/PHAVer; Matlab Simulink/Stateflow; Subway control systems; Feedback-advancement verification;
机译:经过正式验证的混合动力系统,可在下一代机载防撞系统中提供安全建议
机译:转向控制防撞系统及主题研究验证
机译:屏蔽门对捷运系统环境控制系统能耗的影响:以台北捷运系统为例
机译:形式验证和仿真:地铁控制系统的协同验证
机译:现代应用平台中的信息流控制:建模,正式验证和控制的解密
机译:全封闭平台屏门地铁站空气质量的实验研究
机译:经过正式验证的下一代机载防撞系统中用于安全咨询的混合系统
机译:空中交通管制/主动信标避碰系统诺克斯维尔模拟