机译:基于状态的连续人员集成系统建模:在空中交通隔离保证中的应用
School of Industrial Engineering, Purdue University, 315 N. Grant St., West Lafayette, IN 47907, USA;
School of Industrial Engineering, Purdue University, 315 N. Grant St., West Lafayette, IN 47907, USA;
School of Industrial Engineering, Purdue University, 315 N. Grant St., West Lafayette, IN 47907, USA;
system safety; modeling; statecharts; hybrid systems;
机译:混合系统建模和自动空中交通管制,实现三维分离保证
机译:贝叶斯学习模型估算警报系统的不确定性:应用于空中交通冲突的避免
机译:随机线性混合系统:建模,估计和在空中交通管制中的应用
机译:机载分离保证系统(ASAS)在南太平洋空域的有益应用
机译:基于状态的系统建模:理论,实施和应用。
机译:医疗保健中的计算机应用。医院中的计算机系统。病历和质量保证:自动病历和质量保证
机译:空中交通系统的验证和验证:战术分离保证
机译:微波着陆系统建模及其在空中交通管制中的应用