Enhancing Urban Air Mobility Scheduling Through Declarative Reasoning and Stakeholder Modeling
שמור ב:
| הוצא לאור ב: | Aerospace vol. 12, no. 7 (2025), p. 605-628 |
|---|---|
| מחבר ראשי: | |
| מחברים אחרים: | |
| יצא לאור: |
MDPI AG
|
| נושאים: | |
| גישה מקוונת: | Citation/Abstract Full Text + Graphics Full Text - PDF |
| תגים: |
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
|
MARC
| LEADER | 00000nab a2200000uu 4500 | ||
|---|---|---|---|
| 001 | 3233031497 | ||
| 003 | UK-CbPIL | ||
| 022 | |a 2226-4310 | ||
| 024 | 7 | |a 10.3390/aerospace12070605 |2 doi | |
| 035 | |a 3233031497 | ||
| 045 | 2 | |b d20250101 |b d20251231 | |
| 084 | |a 231330 |2 nlm | ||
| 100 | 1 | |a Kim Jeongseok |u SK Telecom, Seoul 04539, Republic of Korea; jeongseok.kim@sk.com | |
| 245 | 1 | |a Enhancing Urban Air Mobility Scheduling Through Declarative Reasoning and Stakeholder Modeling | |
| 260 | |b MDPI AG |c 2025 | ||
| 513 | |a Journal Article | ||
| 520 | 3 | |a 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. | |
| 653 | |a Resource allocation | ||
| 653 | |a Aircraft | ||
| 653 | |a Scheduling | ||
| 653 | |a Urban air mobility | ||
| 653 | |a Airports | ||
| 653 | |a Mathematical programming | ||
| 653 | |a Genetic algorithms | ||
| 653 | |a Reasoning | ||
| 653 | |a Optimization | ||
| 653 | |a Resource scheduling | ||
| 653 | |a Project management | ||
| 653 | |a Declarative programming | ||
| 653 | |a Linear programming | ||
| 653 | |a Stakeholders | ||
| 653 | |a Air traffic control | ||
| 653 | |a Knowledge representation | ||
| 653 | |a Urban air | ||
| 653 | |a Schedules | ||
| 653 | |a Vehicles | ||
| 700 | 1 | |a Kim Kangjin |u Department of Drone Systems, Chodang University, Muan-gun 58530, Republic of Korea | |
| 773 | 0 | |t Aerospace |g vol. 12, no. 7 (2025), p. 605-628 | |
| 786 | 0 | |d ProQuest |t Advanced Technologies & Aerospace Database | |
| 856 | 4 | 1 | |3 Citation/Abstract |u https://www.proquest.com/docview/3233031497/abstract/embedded/7BTGNMKEMPT1V9Z2?source=fedsrch |
| 856 | 4 | 0 | |3 Full Text + Graphics |u https://www.proquest.com/docview/3233031497/fulltextwithgraphics/embedded/7BTGNMKEMPT1V9Z2?source=fedsrch |
| 856 | 4 | 0 | |3 Full Text - PDF |u https://www.proquest.com/docview/3233031497/fulltextPDF/embedded/7BTGNMKEMPT1V9Z2?source=fedsrch |