Objeto de conferencia
Assuring safety in an air traffic control system with defeasible logic programming
Registro en:
issn:1850-2784
Autor
Gómez, Sergio Alejandro
Goron, Anca
Groza, Adrian
Institución
Resumen
Assuring safety in complex technical systems is a crucial issue in several critical applications like air traffic control or medical devices.
We present a preliminary framework based on argumentation for assisting flight controllers to reach a decision related to safety constraints in an ever changing environment in which sensor data is gathered at real time. Sociedad Argentina de Informática e Investigación Operativa (SADIO)