微分逻辑的相关课程资料

this begs the question which control decisions are safe for aircraft collision avoidance. How can one predict right away whether given control decisions for the aircraft and intruders are guaranteed to be safe or whether they could possibly lead to a collision? How can a computer control program be designed that reaches safe decisions and gives good advice to pilots sufficiently quickly? What would constitute a safety argument for such a pilot decision support system, which justifies why the system always suggests safe collision avoidance advice?