Assuring safety in air traffic control systems with argumentation and model checking

作者：

Highlights：

• We present a framework to model a recommender system for an air traffic control.

• We combine argumentation and model checking for doing model update in Hybrid Logics.

• We apply our approach to model repair in an unmanned aerial vehicle.

• We extend Defeasible Logic Programming to perform continuous reasoning.

摘要

•We present a framework to model a recommender system for an air traffic control.•We combine argumentation and model checking for doing model update in Hybrid Logics.•We apply our approach to model repair in an unmanned aerial vehicle.•We extend Defeasible Logic Programming to perform continuous reasoning.

论文关键词：Safety systems,Defeasible argumentation,Model checking,Hybrid Logics,Defeasible Logic Programming,Hybrid Logic Model Checker

论文评审过程：Received 14 January 2015, Revised 19 September 2015, Accepted 19 September 2015, Available online 28 September 2015, Version of Record 10 November 2015.

论文官网地址：https://doi.org/10.1016/j.eswa.2015.09.027