Mission Planning and Control of Multi-Aircraft Systems With Signal Temporal Logic Specifications
This paper focuses on optimization-based control of multi-aircraft systems that have several mission objectives. Signal Temporal Logic (STL) is used to express the mission specifications that combine temporal and logical constraints. A methodology is presented to construct an optimization problem in...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2019-01-01
|
| Series: | IEEE Access |
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/8882209/ |
| _version_ | 1830345165852639232 |
|---|---|
| author | Baris Baspinar Hamsa Balakrishnan Emre Koyuncu |
| author_facet | Baris Baspinar Hamsa Balakrishnan Emre Koyuncu |
| author_sort | Baris Baspinar |
| collection | DOAJ |
| description | This paper focuses on optimization-based control of multi-aircraft systems that have several mission objectives. Signal Temporal Logic (STL) is used to express the mission specifications that combine temporal and logical constraints. A methodology is presented to construct an optimization problem in the form of Mixed-Integer Linear Programming (MILP) by using the differential flatness property of a nonlinear dynamical system and STL specifications to generate feasible trajectories. Contrary to general implementations of Temporal Logic to discrete-time systems, the proposed method deals with continuous-time systems. It can be used to find optimal control strategies to achieve the assigned tasks for nonlinear dynamical systems without discretizing the system dynamics. As an illustration, we present an air traffic control example. The nonlinear dynamical model for the aircraft is represented as a partially differentially flat system, and the presented method is applied to manage approach control and to solve the arrival sequencing problem. The method is also applied with a quadrotor fleet to show that the method can be used with different multi-agent systems. |
| first_indexed | 2024-12-19T22:39:41Z |
| format | Article |
| id | doaj.art-2388508d248a4516a00459ff5d30e55a |
| institution | Directory Open Access Journal |
| issn | 2169-3536 |
| language | English |
| last_indexed | 2024-12-19T22:39:41Z |
| publishDate | 2019-01-01 |
| publisher | IEEE |
| record_format | Article |
| series | IEEE Access |
| spelling | doaj.art-2388508d248a4516a00459ff5d30e55a2022-12-21T20:03:07ZengIEEEIEEE Access2169-35362019-01-01715594115595010.1109/ACCESS.2019.29494268882209Mission Planning and Control of Multi-Aircraft Systems With Signal Temporal Logic SpecificationsBaris Baspinar0https://orcid.org/0000-0003-3163-4041Hamsa Balakrishnan1Emre Koyuncu2https://orcid.org/0000-0002-0726-4979Department of Aeronautical Engineering, Istanbul Technical University, Istanbul, TurkeyDepartment of Aeronautics and Astronautics, Massachusetts Institute of Technology, Cambridge, MA, USADepartment of Aeronautical Engineering, Istanbul Technical University, Istanbul, TurkeyThis paper focuses on optimization-based control of multi-aircraft systems that have several mission objectives. Signal Temporal Logic (STL) is used to express the mission specifications that combine temporal and logical constraints. A methodology is presented to construct an optimization problem in the form of Mixed-Integer Linear Programming (MILP) by using the differential flatness property of a nonlinear dynamical system and STL specifications to generate feasible trajectories. Contrary to general implementations of Temporal Logic to discrete-time systems, the proposed method deals with continuous-time systems. It can be used to find optimal control strategies to achieve the assigned tasks for nonlinear dynamical systems without discretizing the system dynamics. As an illustration, we present an air traffic control example. The nonlinear dynamical model for the aircraft is represented as a partially differentially flat system, and the presented method is applied to manage approach control and to solve the arrival sequencing problem. The method is also applied with a quadrotor fleet to show that the method can be used with different multi-agent systems.https://ieeexplore.ieee.org/document/8882209/Signal temporal logicmulti-aircraft systemsair traffic controloptimization-based controldifferential flatness |
| spellingShingle | Baris Baspinar Hamsa Balakrishnan Emre Koyuncu Mission Planning and Control of Multi-Aircraft Systems With Signal Temporal Logic Specifications IEEE Access Signal temporal logic multi-aircraft systems air traffic control optimization-based control differential flatness |
| title | Mission Planning and Control of Multi-Aircraft Systems With Signal Temporal Logic Specifications |
| title_full | Mission Planning and Control of Multi-Aircraft Systems With Signal Temporal Logic Specifications |
| title_fullStr | Mission Planning and Control of Multi-Aircraft Systems With Signal Temporal Logic Specifications |
| title_full_unstemmed | Mission Planning and Control of Multi-Aircraft Systems With Signal Temporal Logic Specifications |
| title_short | Mission Planning and Control of Multi-Aircraft Systems With Signal Temporal Logic Specifications |
| title_sort | mission planning and control of multi aircraft systems with signal temporal logic specifications |
| topic | Signal temporal logic multi-aircraft systems air traffic control optimization-based control differential flatness |
| url | https://ieeexplore.ieee.org/document/8882209/ |
| work_keys_str_mv | AT barisbaspinar missionplanningandcontrolofmultiaircraftsystemswithsignaltemporallogicspecifications AT hamsabalakrishnan missionplanningandcontrolofmultiaircraftsystemswithsignaltemporallogicspecifications AT emrekoyuncu missionplanningandcontrolofmultiaircraftsystemswithsignaltemporallogicspecifications |