Modeling of Resilient Systems in Non-monotonic Logic. Application to Solar Power UAV. (Modelado de Sistemas Resilientes en Lógica No-monótona. Aplicación a UAV solar / Modélisation des Systèmes Résilients en Logique Non-monotone. Application à UAV Solaire)

José Luis Vilchis Medina. Modeling of Resilient Systems in Non-monotonic Logic. Application to Solar Power UAV. (Modelado de Sistemas Resilientes en Lógica No-monótona. Aplicación a UAV solar / Modélisation des Systèmes Résilients en Logique Non-monotone. Application à UAV Solaire). PhD thesis, Aix-Marseille University, France, 2018. [doi]