机译:经过正式验证的混合动力系统,可在下一代机载防撞系统中提供安全建议
Samsung Research America, Mountain View, CA, United States;
INRIA, Rennes, France;
The Johns Hopkins University Applied Physics Laboratory, Laurel, MD, United States;
The Johns Hopkins University Applied Physics Laboratory, Laurel, MD, United States;
The Johns Hopkins University Applied Physics Laboratory, Laurel, MD, United States;
Carnegie Mellon University, Pittsburgh, PA, United States;
Carnegie Mellon University, Pittsburgh, PA, United States;
Aircraft collision avoidance; Continuous dynamics; Formal verification; Hybrid systems; Next-generation airborne collision avoidance system (ACAS X);
机译:地铁控制系统中的屏蔽门和防撞系统的形式验证和仿真
机译:TCAS / ACAS(交通防撞系统)/(机载防撞系统)
机译:TCAS / ACAS(交通防撞系统/机载防撞系统)
机译:下一代机载防撞系统的经过正式验证的混合系统
机译:适用于小型UAS感知和回避系统的机载碰撞检测和回避。
机译:网络物理系统中控制模块的正式验证
机译:经过正式验证的下一代机载防撞系统中用于安全咨询的混合系统