Enhancing Urban Air Mobility Scheduling Through Declarative Reasoning and Stakeholder Modeling

Guardado en:

Detalles Bibliográficos
Publicado en:	Aerospace vol. 12, no. 7 (2025), p. 605-628
Autor principal:	Kim Jeongseok
Otros Autores:	Kim Kangjin
Publicado:	MDPI AG
Materias:	Resource allocation Aircraft Scheduling Urban air mobility Airports Mathematical programming Genetic algorithms Reasoning Optimization Resource scheduling Project management Declarative programming Linear programming Stakeholders Air traffic control Knowledge representation Urban air Schedules Vehicles
Acceso en línea:	Citation/Abstract Full Text + Graphics Full Text - PDF
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Descripción
Resumen:	The goal of this paper is to optimize mission schedules for vertical airports (vertiports in short) to satisfy the different needs of stakeholders. We model the problem as a resource-constrained project scheduling problem (RCPSP) to obtain the best resource allocation and schedule. As a new approach to solving the RCPSP, we propose answer set programming (ASP). This is in contrast to the existing research using MILP as a solution to the RCPSP. Our approach can take complex scheduling restrictions and stakeholder-specific requirements. In addition, we formalize and include stakeholder needs using a knowledge representation and reasoning framework. Our experiments show that the proposed method can generate practical schedules that reflect what stakeholders actually need. In particular, we show that our approach can compute optimal schedules more efficiently and flexibly than previous approaches. We believe that this approach is suitable for the dynamic and complex environments of vertiports.
ISSN:	2226-4310
DOI:	10.3390/aerospace12070605
Fuente:	Advanced Technologies & Aerospace Database